SearcharxivSearch

arXiv subjects

Mathieu Lewin

Publications and source records attributed to Mathieu Lewin.

At least 73 records · Page 4Linked to original sources

Uniqueness and non-degeneracy for a nuclear nonlinear Schrödinger equation

We prove the uniqueness and non-degeneracy of positive solutions to a cubic nonlinear Schrödinger (NLS) type equation that describes nucleons. The main difficulty stems from the fact that the mass depends on the solution itself. As an application, we construct solutions to the $σ$--$ω$ model, which consists of one Dirac equation coupled to two Klein-Gordon equations (one focusing and one defocusing).

math.AP

Bogoliubov spectrum of interacting Bose gases

We study the large-N limit of a system of N bosons interacting with a potential of intensity 1/N. When the ground state energy is to the first order given by Hartree's theory, we study the next order, predicted by Bogoliubov's theory. We show the convergence of the lower eigenvalues and eigenfunctions towards that of the Bogoliubov Hamiltonian (up to a convenient unitary transform). We also prove the convergence of the free energy when the system is sufficiently trapped. Our results are valid in an abstract setting, our main assumptions being that the Hartree ground state is unique and non-degenerate, and that there is complete Bose-Einstein condensation on this state. Using our method we then treat two applications: atoms with ''bosonic'' electrons on one hand, and trapped 2D and 3D Coulomb gases on the other hand.

math-ph

The Hartree equation for infinitely many particles. I. Well-posedness theory

We show local and global well-posedness results for the Hartree equation $$i\partial_tγ=[-Δ+w*ρ_γ,γ],$$ where $γ$ is a bounded self-adjoint operator on $L^2(\R^d)$, $ρ_γ(x)=γ(x,x)$ and $w$ is a smooth short-range interaction potential. The initial datum $γ(0)$ is assumed to be a perturbation of a translation-invariant state $γ_f=f(-Δ)$ which describes a quantum system with an infinite number of particles, such as the Fermi sea at zero temperature, or the Fermi-Dirac and Bose-Einstein gases at positive temperature. Global well-posedness follows from the conservation of the relative (free) energy of the state $γ(t)$, counted relatively to the stationary state $γ_f$. We indeed use a general notion of relative entropy, which allows to treat a wide class of stationary states $f(-Δ)$. Our results are based on a Lieb-Thirring inequality at positive density and on a recent Strichartz inequality for orthonormal functions, which are both due to Frank, Lieb, Seiringer and the first author of this article.

math-ph

Derivation of Hartree's theory for generic mean-field Bose systems

In this paper we provide a novel strategy to prove the validity of Hartree's theory for the ground state energy of bosonic quantum systems in the mean-field regime. For the well-known case of trapped Bose gases, this can be shown using the strong quantum de Finetti theorem, which gives the structure of infinite hierarchies of k-particles density matrices. Here we deal with the case where some particles are allowed to escape to infinity, leading to a lack of compactness. Our approach is based on two ingredients: (1) a weak version of the quantum de Finetti theorem, and (2) geometric techniques for many-body systems. Our strategy does not rely on any special property of the interaction between the particles. In particular, our results cover those of Benguria-Lieb and Lieb-Yau for, respectively, bosonic atoms and boson stars.

math-ph

The Hartree equation for infinitely many particles. II. Dispersion and scattering in 2D

We consider the nonlinear Hartree equation for an interacting gas containing infinitely many particles and we investigate the large-time stability of the stationary states of the form $f(-Δ)$, describing an homogeneous Fermi gas. Under suitable assumptions on the interaction potential and on the momentum distribution $f$, we prove that the stationary state is asymptotically stable in dimension 2. More precisely, for any initial datum which is a small perturbation of $f(-Δ)$ in a Schatten space, the system weakly converges to the stationary state for large times.

math-ph

A family of monotone quantum relative entropies

We study here the elementary properties of the relative entropy $\cH(A,B)=\tr[ϕ(A)-ϕ(B)-ϕ'(B)(A-B)]$ for $ϕ$ a convex function and $A,B$ bounded self-adjoint operators. In particular, we prove that this relative entropy is monotone if and only if $ϕ'$ is operator monotone. We use this to appropriately define $\cH(A,B)$ in infinite dimension.

math-ph

Spurious Modes in Dirac Calculations and How to Avoid Them

In this paper we consider the problem of the occurrence of spurious modes when computing the eigenvalues of Dirac operators, with the motivation to describe relativistic electrons in an atom or a molecule. We present recent mathematical results which we illustrate by simple numerical experiments. We also discuss open problems.

math-ph

Strichartz inequality for orthonormal functions

We prove a Strichartz inequality for a system of orthonormal functions, with an optimal behavior of the constant in the limit of a large number of functions. The estimate generalizes the usual Strichartz inequality, in the same fashion as the Lieb-Thirring inequality generalizes the Sobolev inequality. As an application, we consider the Schrödinger equation in a time-dependent potential and we show the existence of the wave operator in Schatten spaces.

math.AP

Construction of the Pauli-Villars-regulated Dirac vacuum in electromagnetic fields

Using the Pauli-Villars regularization and arguments from convex analysis, we construct solutions to the classical time-independent Maxwell equations in Dirac's vacuum, in the presence of small external electromagnetic sources. The vacuum is not an empty space, but rather a quantum fluctuating medium which behaves as a nonlinear polarizable material. Its behavior is described by a Dirac equation involving infinitely many particles. The quantum corrections to the usual Maxwell equations are nonlinear and nonlocal. Even if photons are described by a purely classical electromagnetic field, the resulting vacuum polarization coincides to first order with that of full Quantum Electrodynamics.

math-ph

On the binding of polarons in a mean-field quantum crystal

We consider a multi-polaron model obtained by coupling the many-body Schrödinger equation for N interacting electrons with the energy functional of a mean-field crystal with a localized defect, obtaining a highly non linear many-body problem. The physical picture is that the electrons constitute a charge defect in an otherwise perfect periodic crystal. A remarkable feature of such a system is the possibility to form a bound state of electrons via their interaction with the polarizable background. We prove first that a single polaron always binds, i.e. the energy functional has a minimizer for N=1. Then we discuss the case of multi-polarons containing two electrons or more. We show that their existence is guaranteed when certain quantized binding inequalities of HVZ type are satisfied.

math-ph

Two Hartree-Fock models for the vacuum polarization

We review recent results about the derivation and the analysis of two Hartree-Fock-type models for the polarization of vacuum. We pay particular attention to the variational construction of a self-consistent polarized vacuum, and to the physical agreement between our non-perturbative construction and the perturbative description provided by Quantum Electrodynamics.

math-ph

Dynamical Ionization Bounds for Atoms

We study the long-time behavior of the 3-dimensional repulsive nonlinear Hartree equation with an external attractive Coulomb potential $-Z/|x|$, which is a nonlinear model for the quantum dynamics of an atom. We show that, after a sufficiently long time, the average number of electrons in any finite ball is always smaller than 4Z (respectively 2Z in the radial case). This is a time-dependent generalization of a celebrated result by E.H. Lieb on the maximum negative ionization of atoms in the stationary case. Our proof involves a novel positive commutator argument (based on the cubic weight $|x|^3$) and our findings are reminiscent of the RAGE theorem. In addition, we prove a similar universal bound on the local kinetic energy. In particular, our main result means that, in a weak sense, any solution is attracted to a bounded set in the energy space, whatever the size of the initial datum. Moreover, we extend our main result to Hartree--Fock theory and to the linear many-body Schrödinger equation for atoms.

math.AP

A Numerical Perspective on Hartree-Fock-Bogoliubov Theory

The method of choice for describing attractive quantum systems is Hartree-Fock-Bogoliubov (HFB) theory. This is a nonlinear model which allows for the description of pairing effects, the main explanation for the superconductivity of certain materials at very low temperature. This paper is the first study of Hartree-Fock-Bogoliubov theory from the point of view of numerical analysis. We start by discussing its proper discretization and then analyze the convergence of the simple fixed point (Roothaan) algorithm. Following works by Cancès, Le Bris and Levitt for electrons in atoms and molecules, we show that this algorithm either converges to a solution of the equation, or oscillates between two states, none of them being a solution to the HFB equations. We also adapt the Optimal Damping Algorithm of Cancès and Le Bris to the HFB setting and we analyze it. The last part of the paper is devoted to numerical experiments. We consider a purely gravitational system and numerically discover that pairing always occurs. We then examine a simplified model for nucleons, with an effective interaction similar to what is often used in nuclear physics. In both cases we discuss the importance of using a damping algorithm.

math.NA

Existence of the thermodynamic limit for disordered quantum Coulomb systems

Following a recent method introduced by C. Hainzl, J.P. Solovej and the second author of this article, we prove the existence of the thermodynamic limit for a system made of quantum electrons, and classical nuclei whose positions and charges are randomly perturbed in an ergodic fashion. All the particles interact through Coulomb forces.

math-ph

A positive density analogue of the Lieb-Thirring inequality

The Lieb-Thirring inequalities give a bound on the negative eigenvalues of a Schrödinger operator in terms of an $L^p$ norm of the potential. This is dual to a bound on the $H^1$-norms of a system of orthonormal functions. Here we extend these to analogous inequalities for perturbations of the Fermi sea of non-interacting particles, i.e., for perturbations of the continuous spectrum of the Laplacian by local potentials.

math-ph

Ground state properties of graphene in Hartree-Fock theory

We study the Hartree-Fock approximation of graphene in infinite volume, with instantaneous Coulomb interactions. First we construct its translation-invariant ground state and we recover the well-known fact that, due to the exchange term, the effective Fermi velocity is logarithmically divergent at zero momentum. In a second step we prove the existence of a ground state in the presence of local defects and we discuss some properties of the linear response to an external electric field. All our results are non perturbative.

math-ph

Mean-field models for disordered crystals

In this article, we set up a functional setting for mean-field electronic structure models of Hartree-Fock or Kohn-Sham types for disordered crystals. The electrons are quantum particles and the nuclei are classical point-like articles whose positions and charges are random. We prove the existence of a minimizer of the energy per unit volume and the uniqueness of the ground state density of such disordered crystals, for the reduced Hartree-Fock model (rHF). We consider both (short-range) Yukawa and (long-range) Coulomb interactions. In the former case, we prove in addition that the rHF ground state density matrix satisfies a self-consistent equation, and that our model for disordered crystals is the thermodynamic limit of the supercell model.

math-ph