-
A general framework for the asymptotic analysis of moist atmospheric flows
Authors:
Daniel Bäumer,
Rupert Klein,
Norbert J. Mauser
Abstract:
We deal with asymptotic analysis for the derivation of partial differential equation models for geophysical flows in the earth's atmosphere with moist process closures, and we study their mathematical properties. Starting with the Navier-Stokes equations for dry air, we put the seminal papers of Klein, Majda et al. in a unified context and then discuss the appropriate extension to moist air. In pa…
▽ More
We deal with asymptotic analysis for the derivation of partial differential equation models for geophysical flows in the earth's atmosphere with moist process closures, and we study their mathematical properties. Starting with the Navier-Stokes equations for dry air, we put the seminal papers of Klein, Majda et al. in a unified context and then discuss the appropriate extension to moist air. In particular, we deal with the scale-independent distinguished limit for the universal parameters of atmospheric motion for moist air, with the Clausius-Clapeyron relation that links saturation vapor pressure and air temperature, and with the mathematical formulation of phase changes associated with cloud formation and rain production. We conclude with a discussion of the precipitating quasigeostrophic (PQG) models introduced by Smith & Stechmann. Our intent is, on the one hand, to convey the problems arising at the modeling stage to mathematicians; on the other hand, we want to present the relevant mathematical methods and results to meteorologists.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
The semiclassical limit from the Pauli-Poisswell to the Euler-Poisswell system by WKB methods
Authors:
Changhe Yang,
Norbert J. Mauser,
Jakob Möller
Abstract:
The self-consistent Pauli-Poisswell equation for 2-spinors is the first order in $1/c$ semi-relativistic approximation of the Dirac-Maxwell equation for 4-spinors coupled to the self-consistent electromagnetic fields generated by the density and current density of a fast moving electric charge. It consists of a vector-valued magnetic Schrödinger equation with an extra term coupling spin and magnet…
▽ More
The self-consistent Pauli-Poisswell equation for 2-spinors is the first order in $1/c$ semi-relativistic approximation of the Dirac-Maxwell equation for 4-spinors coupled to the self-consistent electromagnetic fields generated by the density and current density of a fast moving electric charge. It consists of a vector-valued magnetic Schrödinger equation with an extra term coupling spin and magnetic field via the Pauli matrices coupled to 1+3 Poisson type equations as the magnetostatic approximation of Maxwell's equations. The Pauli-Poisswell equation is a consistent $O(1/c)$ model that keeps both relativistic effects magnetism and spin which are both absent in the non-relativistic Schrödinger-Poisson equation and inconsistent in the magnetic Schrödinger-Maxwell equation.
We present the mathematically rigorous semiclassical limit $\hbar \rightarrow 0$ of the Pauli-Poisswell equation towards the magnetic Euler-Poisswell equation. We use WKB analysis which is valid locally in time only. A key step is to obtain an a priori energy estimate for which we have to take into account the Poisson equations for the magnetic potential with the current as source term. Additionally we obtain the weak convergence of the monokinetic Wigner transform and strong convergence of the density and the current density. We also prove local wellposedness of the Euler-Poisswell equation which is global unless a finite time blow-up occurs.
△ Less
Submitted 17 April, 2024; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Nonlinear PDE models in semi-relativistic quantum physics
Authors:
Jakob Möller,
Norbert J. Mauser
Abstract:
We present the self-consistent Pauli equation, a semi-relativistic model for charged spin-$1/2$-particles with self-interaction with the electromagnetic field. The Pauli equation arises as the $O(1/c)$ approximation of the relativistic Dirac equation. The fully relativistic self-consistent model is the Dirac-Maxwell equation where the description of spin and the magnetic field arises naturally. In…
▽ More
We present the self-consistent Pauli equation, a semi-relativistic model for charged spin-$1/2$-particles with self-interaction with the electromagnetic field. The Pauli equation arises as the $O(1/c)$ approximation of the relativistic Dirac equation. The fully relativistic self-consistent model is the Dirac-Maxwell equation where the description of spin and the magnetic field arises naturally. In the non-relativistic setting the correct self-consistent equation is the Schrödinger-Poisson equation which does not describe spin and the magnetic field and where the self-interaction is with the electric field only.
The Schrödinger-Poisson equation also arises as the mean field limit of the $N$-body Schrödinger equation with Coulomb interaction. We propose that the Pauli-Poisson equation arises as the mean field limit $N \rightarrow \infty$ of the linear $N$-body Pauli equation with Coulomb interaction where one has to pay extra attention to the fermionic nature of the Pauli equation.
We present the semiclassical limit of the Pauli-Poisson equation by the Wigner method to the Vlasov equation with Lorentz force coupled to the Poisson equation which is also consistent with the hierarchy in $1/c$ of the self-consistent Vlasov equation. This is a non-trivial extension of the groundbreaking works by Lions & Paul and Markowich & Mauser, where we need methods like magnetic Lieb-Thirring estimates.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Integer partition manifolds and phonon damping in one dimension
Authors:
I. E. Mazets,
N. J. Mauser
Abstract:
We develop a quantum model based on the correspondence between energy distribution between harmonic oscillators and the partition of an integer number. A proper choice of the interaction Hamiltonian acting within this manifold of states allows us to examine both the quantum typicality and the non-exponential relaxation in the same system. A quantitative agreement between the field-theoretical calc…
▽ More
We develop a quantum model based on the correspondence between energy distribution between harmonic oscillators and the partition of an integer number. A proper choice of the interaction Hamiltonian acting within this manifold of states allows us to examine both the quantum typicality and the non-exponential relaxation in the same system. A quantitative agreement between the field-theoretical calculations and the exact diagonalization of the Hamiltonian is demonstrated.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Numerical study of the transverse stability of NLS soliton solutions in several classes of NLS type equations
Authors:
Kristelle Roidot,
Norbert Mauser
Abstract:
Dispersive PDEs are important both in applications (wave phenomena e.g. in hy- drodynamics, nonlinear optics, plasma physics, Bose-Einstein condensates,...) and a mathematically very challenging class of partial differential equations, especially in the time dependent case. An important point with respect to applications is the stability of exact solutions like solitons. Whereas the linear or spec…
▽ More
Dispersive PDEs are important both in applications (wave phenomena e.g. in hy- drodynamics, nonlinear optics, plasma physics, Bose-Einstein condensates,...) and a mathematically very challenging class of partial differential equations, especially in the time dependent case. An important point with respect to applications is the stability of exact solutions like solitons. Whereas the linear or spectral stability can be addressed analytically in some situations, the proof of full nonlinear (in-)stability remains mostly an open question. In this paper, we numerically investi- gate the transverse (in-)stability of the solitonic solution to the one-dimensional cubic NLS equation, the well known isolated soliton, under the time evolution of several higher dimensional models, being admissible as a tranverse perturbation of the 1d cubic NLS. One of the recent work in this context [42] allowed to prove the instability of the soliton, under the flow of the classical (elliptic) 2d cubic NLS equation, for both localized or periodic perturbations. The characteristics of this instability stay however unknown. Is there a blow-up, dispersion..? We first illustrate how this instability occurs for the elliptic 2d cubic NLS equation and then show that the elliptic-elliptic Davey Stewartson system (a (2+1)-dimensional generalization of the cubic NLS equation) behaves as the former in this context. Then we investigate hyperbolic variants of the above models, for which no theory in this context is available. Namely we consider the hyperbolic 2d cubic NLS equation and the Davey-Stewartson II equations. For localized perturbations, the isolated soliton appears to be unstable for the former case, but seems to be orbitally stable for the latter. For periodic perturbations the soliton is found to be unstable for all transversally perturbed models considered.
△ Less
Submitted 21 January, 2014;
originally announced January 2014.
-
$L^2$ Analysis of the Multi-Configuration Time-Dependent Hartree-Fock Equations
Authors:
Norbert J. Mauser,
Saber Trabelsi
Abstract:
The multiconfiguration methods are widely used by quantum physicists and chemists for numerical approximation of the many electron Schrödinger equation. Recently, first mathematically rigorous results were obtained on the time-dependent models, e.g. short-in-time well-posedness in the Sobolev space $H^2$ for bounded interactions (C. Lubichand O. Koch} with initial data in $H^2$, in the energy sp…
▽ More
The multiconfiguration methods are widely used by quantum physicists and chemists for numerical approximation of the many electron Schrödinger equation. Recently, first mathematically rigorous results were obtained on the time-dependent models, e.g. short-in-time well-posedness in the Sobolev space $H^2$ for bounded interactions (C. Lubichand O. Koch} with initial data in $H^2$, in the energy space for Coulomb interactions with initial data in the same space (Trabelsi, Bardos et al.}, as well as global well-posedness under a sufficient condition on the energy of the initial data (Bardos et al.). The present contribution extends the analysis by setting an $L^2$ theory for the MCTDHF for general interactions including the Coulomb case. This kind of results is also the theoretical foundation of ad-hoc methods used in numerical calculation when modification ("regularization") of the density matrix destroys the conservation of energy property, but keeps invariant the mass.
△ Less
Submitted 9 February, 2010;
originally announced February 2010.
-
Setting and analysis of the multi-configuration time-dependent Hartree-Fock equations
Authors:
C. Bardos,
I. Catto,
N. Mauser,
S. Trabelsi
Abstract:
In this paper we motivate, formulate and analyze the Multi-Configuration Time-Dependent Hartree-Fock (MCTDHF) equations for molecular systems under Coulomb interaction. They consist in approximating the N-particle Schrodinger wavefunction by a (time-dependent) linear combination of (time-dependent) Slater determinants. The equations of motion express as a system of ordinary differential equation…
▽ More
In this paper we motivate, formulate and analyze the Multi-Configuration Time-Dependent Hartree-Fock (MCTDHF) equations for molecular systems under Coulomb interaction. They consist in approximating the N-particle Schrodinger wavefunction by a (time-dependent) linear combination of (time-dependent) Slater determinants. The equations of motion express as a system of ordinary differential equations for the expansion coefficients coupled to nonlinear Schrodinger-type equations for mono-electronic wavefunctions. The invertibility of the one-body density matrix (full-rank hypothesis) plays a crucial role in the analysis. Under the full-rank assumption a fiber bundle structure shows up and produces unitary equivalence between convenient representations of the equations. We discuss and establish existence and uniqueness of maximal solutions to the Cauchy problem in the energy space as long as the density matrix is not singular. A sufficient condition in terms of the energy of the initial data ensuring the global-in-time invertibility is provided (first result in this direction). Regularizing the density matrix breaks down energy conservation, however a global well-posedness for this system in L^2 is obtained with Strichartz estimates. Eventually solutions to this regularized system are shown to converge to the original one on the time interval when the density matrix is invertible.
△ Less
Submitted 27 April, 2009; v1 submitted 21 March, 2009;
originally announced March 2009.
-
Coarse-scale representations and smoothed Wigner transforms
Authors:
Agissilaos G. Athanassoulis,
Norbert J. Mauser,
Thierry Paul
Abstract:
Smoothed Wigner transforms have been used in signal processing, as a regularized version of the Wigner transform, and have been proposed as an alternative to it in the homogenization and / or semiclassical limits of wave equations. We derive explicit, closed formulations for the coarse-scale representation of the action of pseudodifferential operators. The resulting ``smoothed operators'' are in…
▽ More
Smoothed Wigner transforms have been used in signal processing, as a regularized version of the Wigner transform, and have been proposed as an alternative to it in the homogenization and / or semiclassical limits of wave equations. We derive explicit, closed formulations for the coarse-scale representation of the action of pseudodifferential operators. The resulting ``smoothed operators'' are in general of infinite order. The formulation of an appropriate framework, resembling the Gelfand-Shilov spaces, is necessary. Similarly we treat the ``smoothed Wigner calculus''. In particular this allows us to reformulate any linear equation, as well as certain nonlinear ones (e.g. Hartree and cubic non-linear Schrödinger), as coarse-scale phase-space equations (e.g. smoothed Vlasov), with spatial and spectral resolutions controlled by two free parameters. Finally, it is seen that the smoothed Wigner calculus can be approximated, uniformly on phase-space, by differential operators in the semiclassical regime. This improves the respective weak-topology approximation result for the Wigner calculus.
△ Less
Submitted 2 April, 2008;
originally announced April 2008.
-
On the time evolution of Wigner measures for Schrodinger equations
Authors:
Rémi Carles,
Clotilde Fermanian Kammerer,
Norbert Mauser,
Hans Peter Stimming
Abstract:
In this survey, our aim is to emphasize the main known limitations to the use of Wigner measures for Schrodinger equations. After a short review of successful applications of Wigner measures to study the semi-classical limit of solutions to Schrodinger equations, we list some examples where Wigner measures cannot be a good tool to describe high frequency limits. Typically, the Wigner measures ma…
▽ More
In this survey, our aim is to emphasize the main known limitations to the use of Wigner measures for Schrodinger equations. After a short review of successful applications of Wigner measures to study the semi-classical limit of solutions to Schrodinger equations, we list some examples where Wigner measures cannot be a good tool to describe high frequency limits. Typically, the Wigner measures may not capture effects which are not negligible at the pointwise level, or the propagation of Wigner measures may be an ill-posed problem. In the latter situation, two families of functions may have the same Wigner measures at some initial time, but different Wigner measures for a larger time. In the case of systems, this difficulty can partially be avoided by considering more refined Wigner measures such as two-scale Wigner measures; however, we give examples of situations where this quadratic approach fails.
△ Less
Submitted 5 March, 2008;
originally announced March 2008.
-
On the Convergence to a Statistical Equilibrium for the Dirac Equation
Authors:
T. V. Dudnikova,
A. I. Komech,
N. J. Mauser
Abstract:
We consider the Dirac equation in $\R^3$ with constant coefficients and study the distribution $μ_t$ of the random solution at time $t\in\R$. It is assumed that the initial measure $μ_0$ has zero mean, a translation-invariant covariance, and finite mean charge density. We also assume that $μ_0$ satisfies a mixing condition of Rosenblatt- or Ibragimov-Linnik-type. The main result is the convergen…
▽ More
We consider the Dirac equation in $\R^3$ with constant coefficients and study the distribution $μ_t$ of the random solution at time $t\in\R$. It is assumed that the initial measure $μ_0$ has zero mean, a translation-invariant covariance, and finite mean charge density. We also assume that $μ_0$ satisfies a mixing condition of Rosenblatt- or Ibragimov-Linnik-type. The main result is the convergence of $μ_t$ to a Gaussian measure as $t\to\infty$. The proof uses the study of long time asymptotics of the solution and S.N. Bernstein's ``room-corridor'' method.
△ Less
Submitted 24 August, 2005;
originally announced August 2005.
-
(Semi)classical limit of the Hartree equation with harmonic potential
Authors:
Remi Carles,
Norbert Mauser,
Hans Peter Stimming
Abstract:
Nonlinear Schrodinger Equations (NLS) of the Hartree type occur in the modeling of quantum semiconductor devices. Their "semiclassical" limit of vanishing (scaled) Planck constant is both a mathematical challenge and practically relevant when coupling quantum models to classical models.
With the aim of describing the semi-classical limit of the 3D Schrodinger--Poisson system with an additional…
▽ More
Nonlinear Schrodinger Equations (NLS) of the Hartree type occur in the modeling of quantum semiconductor devices. Their "semiclassical" limit of vanishing (scaled) Planck constant is both a mathematical challenge and practically relevant when coupling quantum models to classical models.
With the aim of describing the semi-classical limit of the 3D Schrodinger--Poisson system with an additional harmonic potential, we study some semi-classical limits of the Hartree equation with harmonic potential in space dimension n>1. The harmonic potential is confining, and causes focusing periodically in time. We prove asymptotics in several cases, showing different possible nonlinear phenomena according to the interplay of the size of the initial data and the power of the Hartree potential. In the case of the 3D Schrodinger-Poisson system with harmonic potential, we can only give a formal computation since the need of modified scattering operators for this long range scattering case goes beyond current theory. We also deal with the case of an additional "local" nonlinearity given by a power of the local density - a model that is relevant when incorporating the Pauli principle in the simplest model given by the "Schrodinger-Poisson-X$α$ equation". Further we discuss the connection of our WKB based analysis to the Wigner function approach to semiclassical limits.
△ Less
Submitted 19 May, 2004;
originally announced May 2004.
-
Accuracy of the time-dependent Hartree-Fock approximation
Authors:
Claude Bardos,
Francois Golse,
Alex D. Gottlieb,
Norbert J. Mauser
Abstract:
This article examines the time-dependent Hartree-Fock (TDHF) approximation of single-particle dynamics in systems of interacting fermions. We find the TDHF approximation to be accurate when there are sufficiently many particles and the initial many-particle state is a Slater determinant, or any Gibbs equilibrium state for noninteracting fermions. Assuming a bounded two-particle interaction, we o…
▽ More
This article examines the time-dependent Hartree-Fock (TDHF) approximation of single-particle dynamics in systems of interacting fermions. We find the TDHF approximation to be accurate when there are sufficiently many particles and the initial many-particle state is a Slater determinant, or any Gibbs equilibrium state for noninteracting fermions. Assuming a bounded two-particle interaction, we obtain a bound on the error of the TDHF approximation, valid for short times. We further show that the error of the the TDHF approximation vanishes at all times in the mean field limit.
△ Less
Submitted 23 September, 2003; v1 submitted 30 March, 2003;
originally announced March 2003.
-
On two-temperature problem for harmonic crystals
Authors:
T. V. Dudnikova,
A. I. Komech,
N. J. Mauser
Abstract:
We consider the dynamics of a harmonic crystal in $d$ dimensions with $n$ components,$d,n \ge 1$. The initial date is a random function with finite mean density of the energy which also satisfies a Rosenblatt- or Ibragimov-Linnik-type mixing condition. The random function converges to different space-homogeneous processes as $x_d\to\pm\infty$, with the distributions $μ_\pm$. We study the distrib…
▽ More
We consider the dynamics of a harmonic crystal in $d$ dimensions with $n$ components,$d,n \ge 1$. The initial date is a random function with finite mean density of the energy which also satisfies a Rosenblatt- or Ibragimov-Linnik-type mixing condition. The random function converges to different space-homogeneous processes as $x_d\to\pm\infty$, with the distributions $μ_\pm$. We study the distribution $μ_t$ of the solution at time $t\in\R$. The main result is the convergence of $μ_t$ to a Gaussian translation-invariant measure as $t\to\infty$. The proof is based on the long time asymptotics of the Green function and on Bernstein's `room-corridor' argument. The application to the case of the Gibbs measures $μ_\pm=g_\pm$ with two different temperatures $T_{\pm}$ is given. Limiting mean energy current density is $- (0,...,0,C(T_+ - T_-))$ with some positive constant $C>0$ what corresponds to Second Law.
△ Less
Submitted 11 November, 2002;
originally announced November 2002.
-
Mean field dynamics of fermions and the time-dependent Hartree-Fock equation
Authors:
Claude Bardos,
Francois Golse,
Alex D. Gottlieb,
Norbert J. Mauser
Abstract:
The time-dependent Hartree-Fock equations are derived from the N-particle Schrödinger equation with mean-field scaling in the infinite particle limit, for initial data that are like Slater determinants. Only the case of bounded interaction potentials is treated in this work. We prove that, in the infnite particle limit, the first partial trace of the N-particle density operator approaches the so…
▽ More
The time-dependent Hartree-Fock equations are derived from the N-particle Schrödinger equation with mean-field scaling in the infinite particle limit, for initial data that are like Slater determinants. Only the case of bounded interaction potentials is treated in this work. We prove that, in the infnite particle limit, the first partial trace of the N-particle density operator approaches the solution of the time-dependent Hartree-Fock equations in the trace norm.
△ Less
Submitted 15 November, 2002; v1 submitted 4 April, 2002;
originally announced April 2002.
-
Wigner Functions versus WKB-Methods in Multivalued Geometrical Optics
Authors:
Christof Sparber,
Peter A. Markowich,
Norbert J. Mauser
Abstract:
We consider the Cauchy-problem for a class of scalar linear dispersive equations with rapidly oscillating initial data. The problem of high-frequency asymptotics of such models is reviewed,in particular we highlight the difficulties in crossing caustics when using (time-dependent) WKB-methods. Using Wigner measures we present an alternative approach to such asymptotic problems. We first discuss…
▽ More
We consider the Cauchy-problem for a class of scalar linear dispersive equations with rapidly oscillating initial data. The problem of high-frequency asymptotics of such models is reviewed,in particular we highlight the difficulties in crossing caustics when using (time-dependent) WKB-methods. Using Wigner measures we present an alternative approach to such asymptotic problems. We first discuss the connection of the naive WKB solutions to transport equations of Liouville type (with mono-kinetic solutions) in the prebreaking regime. Further we show that the Wigner measure approach can be used to analyze high-frequency limits in the post-breaking regime, in comparison with the traditional Fourier integral operator method. Finally we present some illustrating examples.
△ Less
Submitted 20 March, 2002; v1 submitted 26 September, 2001;
originally announced September 2001.
