Showing 1–33 of 33 results for author: Séré, E

A local surjection theorem with continuous inverse in Banach spaces

Authors: Ivar Ekeland, Éric Séré

Abstract: In this paper we prove a local surjection theorem with continuous right-inverse for maps between Banach spaces, and we apply it to a class of inversion problems with loss of derivatives. In this paper we prove a local surjection theorem with continuous right-inverse for maps between Banach spaces, and we apply it to a class of inversion problems with loss of derivatives. △ Less

Submitted 14 June, 2024; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: Dedicated to the memory of Antonio Ambrosetti. To appear in Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl

MSC Class: 47J07

Exponential decay of the critical points in a discrete model of polyacetylene

Authors: David Gontier, Adechola E. K. Kouande, Éric Séré

Abstract: In this paper we consider stationary states of the SSH model for infinite polyacetylene chains that are homoclinic or heteroclinic connections between two-periodic dimerized states. We prove that such connections converge exponentially fast to the corresponding asymptotic periodic states. In this paper we consider stationary states of the SSH model for infinite polyacetylene chains that are homoclinic or heteroclinic connections between two-periodic dimerized states. We prove that such connections converge exponentially fast to the corresponding asymptotic periodic states. △ Less

Submitted 31 July, 2023; originally announced August 2023.

MSC Class: 35B38; 70K44

Existence of minimizers for the Dirac-Fock model of crystals

Authors: Isabelle Catto, Long Meng, Eric Paturel, Eric Séré

Abstract: Whereas many different models exist in the mathematical and physics literature for ground states of non-relativistic crystals, the relativistic case has been much less studied and we are not aware of any mathematical result on a fully relativistic treatment of crystals. In this paper, we introduce a mean-field relativistic energy for crystals in terms of periodic density matrices. This model is in… ▽ More Whereas many different models exist in the mathematical and physics literature for ground states of non-relativistic crystals, the relativistic case has been much less studied and we are not aware of any mathematical result on a fully relativistic treatment of crystals. In this paper, we introduce a mean-field relativistic energy for crystals in terms of periodic density matrices. This model is inspired both from a recent definition of the Dirac-Fock ground state for atoms and molecules, due to one of us, and from the non-relativistic Hartree-Fock model for crystals. We prove the existence of a ground state when the number of electrons per cell is not too large. △ Less

Submitted 11 June, 2024; v1 submitted 2 December, 2022; originally announced December 2022.

Journal ref: Archive for Rational Mechanics and Analysis 248 (2024), issue 4, article 63

A new definition of the Dirac-Fock ground state

Authors: Eric Séré

Abstract: The Dirac-Fock (DF) model replaces the Hartree-Fock (HF) approximation in quantum chemistry when relativistic effects cannot be neglected. Since the Dirac operator is not bounded from below, the notion of ground state is problematic in this model, and several definitions have been proposed in the literature. We give a new definition for the ground state of the DF energy, inspired of Lieb's relaxed… ▽ More The Dirac-Fock (DF) model replaces the Hartree-Fock (HF) approximation in quantum chemistry when relativistic effects cannot be neglected. Since the Dirac operator is not bounded from below, the notion of ground state is problematic in this model, and several definitions have been proposed in the literature. We give a new definition for the ground state of the DF energy, inspired of Lieb's relaxed variational principle for HF. Our definition and existence proof are simpler and more natural than in previous works on DF, but remains more technical than in the nonrelativistic case. One first needs to construct a set of physically admissible density matrices that satisfy a certain nonlinear fixed-point equation: we do this by introducing an iterative procedure, described in an abstract context. Then the ground state is found as a minimizer of the DF energy on this set. △ Less

Submitted 6 November, 2023; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: Final version to appear in Communications in Mathematical Physics

Journal ref: Communications in Mathematical Physics 404 (2023), no. 3, pp. 1275-1307

Phase transition in the Peierls model for polyacetylene

Authors: David Gontier, Adéchola Kouande, Eric Séré

Abstract: We consider the Peierls model for closed polyactetylene chains with an even number of carbon atoms as well as infinite chains, in the presence of temperature. We prove the existence of a critical temperature below which the chain is dimerized, and above which it is 1-periodic. The chain behaves like an insulator below the critical temperature and like a metal above it. We characterize the critical… ▽ More We consider the Peierls model for closed polyactetylene chains with an even number of carbon atoms as well as infinite chains, in the presence of temperature. We prove the existence of a critical temperature below which the chain is dimerized, and above which it is 1-periodic. The chain behaves like an insulator below the critical temperature and like a metal above it. We characterize the critical temperature in the thermodynamic limit model, and prove that it is exponentially small in the rigidity of the chain. We study the phase transition around this critical temperature. △ Less

Submitted 20 April, 2023; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: Final version to appear in Ann. Henri Poincar{é}

Journal ref: Annales Henri Poincaré 24 (2023), no. 11, pp. 3945--3966

Distinguished self-adjoint extension and eigenvalues of operators with gaps. Application to Dirac-Coulomb operators

Authors: Jean Dolbeault, Maria J. Esteban, Eric Séré

Abstract: We consider a linear symmetric operator in a Hilbert space that is neither bounded from above nor from below, admits a block decomposition corresponding to an orthogonal splitting of the Hilbert space and has a variational gap property associated with the block decomposition. A typical example is the Dirac-Coulomb operator defined on $C^\infty_c(\mathbb R^3\setminus\{0\}, \mathbb C^4)$. In this pa… ▽ More We consider a linear symmetric operator in a Hilbert space that is neither bounded from above nor from below, admits a block decomposition corresponding to an orthogonal splitting of the Hilbert space and has a variational gap property associated with the block decomposition. A typical example is the Dirac-Coulomb operator defined on $C^\infty_c(\mathbb R^3\setminus\{0\}, \mathbb C^4)$. In this paper we define a distinguished self-adjoint extension with a spectral gap and characterize its eigenvalues in that gap by a min-max principle. This has been done in the past under technical conditions. Here we use a different, geometric strategy, to achieve that goal by making only minimal assumptions. Our result applied to the Dirac-Coulomb-like Hamitonians covers sign-changing potentials as well as molecules with an arbitrary number of nuclei having atomic numbers less than or equal to 137. △ Less

Submitted 3 August, 2023; v1 submitted 23 June, 2022; originally announced June 2022.

MSC Class: 47B25 (Primary) 47A75; 49R50; 81Q10 (Secondary)

On the eigenvalues of operators with gaps. Application to Dirac operators

Authors: Jean Dolbeault, Maria J. Esteban, Eric Séré

Abstract: This paper is devoted to a general min-max characterization of the eigenvalues in a gap of the essential spectrum of a self-adjoint unbounded operator. We prove an abstract theorem, then we apply it to the case of Dirac operators with a Coulomb-like potential. The result is optimal for the Coulomb potential. An erratum is appended at the end of the tex. This paper is devoted to a general min-max characterization of the eigenvalues in a gap of the essential spectrum of a self-adjoint unbounded operator. We prove an abstract theorem, then we apply it to the case of Dirac operators with a Coulomb-like potential. The result is optimal for the Coulomb potential. An erratum is appended at the end of the tex. △ Less

Submitted 9 June, 2022; originally announced June 2022.

Comments: The main goal of this submission is to add an erratum to the old paper published in 2000

MSC Class: 81Q10; 49R05; 47A75; 35Q40; 35Q75

Journal ref: J. Funct. Anal. 174 (2000), p. 208-226

Which nuclear shape generates the strongest attraction on a relativistic electron? An open problem in relativistic quantum mechanics

Authors: Maria J. Esteban, Mathieu Lewin, Eric Séré

Abstract: In this article we formulate several conjectures concerning the lowest eigenvalue of a Dirac operator with an external electrostatic potential. The latter describes a relativistic quantum electron moving in the field of some (pointwise or extended) nuclei. The main question we ask is whether the eigenvalue is minimal when the nuclear charge is concentrated at one single point. This well-known prop… ▽ More In this article we formulate several conjectures concerning the lowest eigenvalue of a Dirac operator with an external electrostatic potential. The latter describes a relativistic quantum electron moving in the field of some (pointwise or extended) nuclei. The main question we ask is whether the eigenvalue is minimal when the nuclear charge is concentrated at one single point. This well-known property in nonrelativistic quantum mechanics has escaped all attempts of proof in the relativistic case. △ Less

Submitted 13 October, 2022; v1 submitted 25 March, 2022; originally announced March 2022.

Comments: Mathematics Going Forward, In press

Journal ref: In: Morel, JM., Teissier, B. (eds) Mathematics Going Forward, LNM 2313 (2023), pp. 487--497

Asymptotic estimates for the wave functions of the Dirac-Coulomb operator and applications

Authors: Federico Cacciafesta, Éric Séré, Junyong Zhang

Abstract: In this paper we prove some uniform asymptotic estimates for confluent hypergeometric functions making use of the steepest-descent method. As an application, we obtain Strichartz estimates with loss of angular derivatives for the massless Dirac-Coulomb equation in $3D$. In this paper we prove some uniform asymptotic estimates for confluent hypergeometric functions making use of the steepest-descent method. As an application, we obtain Strichartz estimates with loss of angular derivatives for the massless Dirac-Coulomb equation in $3D$. △ Less

Submitted 23 March, 2023; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: 34 pages. Final version to appear in Communications in Partial Differential Equations

MSC Class: 35Q41

Dirac-Coulomb operators with general charge distribution. II. The lowest eigenvalue

Authors: Maria J. Esteban, Mathieu Lewin, Éric Séré

Abstract: Consider the Coulomb potential $-μ\ast|x|^{-1}$ generated by a non-negative finite measure $μ$. It is well known that the lowest eigenvalue of the corresponding Schrödinger operator $-Δ/2-μ\ast|x|^{-1}$ is minimized, at fixed mass $μ(\mathbb{R}^3)=ν$, when $μ$ is proportional to a delta. In this paper we investigate the conjecture that the same holds for the Dirac operator… ▽ More Consider the Coulomb potential $-μ\ast|x|^{-1}$ generated by a non-negative finite measure $μ$. It is well known that the lowest eigenvalue of the corresponding Schrödinger operator $-Δ/2-μ\ast|x|^{-1}$ is minimized, at fixed mass $μ(\mathbb{R}^3)=ν$, when $μ$ is proportional to a delta. In this paper we investigate the conjecture that the same holds for the Dirac operator $-iα\cdot\nabla+β-μ\ast|x|^{-1}$. In a previous work on the subject we proved that this operator is self-adjoint when $μ$ has no atom of mass larger than or equal to 1, and that its eigenvalues are given by min-max formulas. Here we consider the critical mass $ν_1$, below which the lowest eigenvalue does not dive into the lower continuum spectrum for all $μ\geq0$ with $μ(\mathbb{R}^3)<ν_1$. We first show that $ν_1$ is related to the best constant in a new scaling-invariant Hardy-type inequality. Our main result is that for all $0\leqν<ν_1$, there exists an optimal measure $μ\geq0$ giving the lowest possible eigenvalue at fixed mass $μ(\mathbb{R}^3)=ν$, which concentrates on a compact set of Lebesgue measure zero. The last property is shown using a new unique continuation principle for Dirac operators. The existence proof is based on the concentration-compactness principle. △ Less

Submitted 11 December, 2020; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: Final version to appear in Proc. London Math. Soc

Journal ref: Proceedings of the London Mathematical Society 123 (2021), Issue 4, pp. 345--383

Dirac-Coulomb operators with general charge distribution. I. Distinguished extension and min-max formulas

Authors: Maria J. Esteban, Mathieu Lewin, Éric Séré

Abstract: This paper is the first of a series where we study the spectral properties of Dirac operators with the Coulomb potential generated by any finite signed charge distribution $μ$. We show here that the operator has a unique distinguished self-adjoint extension under the sole condition that $μ$ has no atom of weight larger than or equal to one. Then we discuss the case of a positive measure and charac… ▽ More This paper is the first of a series where we study the spectral properties of Dirac operators with the Coulomb potential generated by any finite signed charge distribution $μ$. We show here that the operator has a unique distinguished self-adjoint extension under the sole condition that $μ$ has no atom of weight larger than or equal to one. Then we discuss the case of a positive measure and characterize the domain using a quadratic form associated with the upper spinor, following earlier works by Esteban and Loss. This allows us to provide min-max formulas for the eigenvalues in the gap. In the event that some eigenvalues have dived into the negative continuum, the min-max formulas remain valid for the remaining ones. At the end of the paper we also discuss the case of multi-center Dirac-Coulomb operators corresponding to $μ$ being a finite sum of deltas. △ Less

Submitted 13 October, 2021; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: Final version to appear in Annales Henri Lebesgue

Journal ref: Annales Henri Lebesgue 4 (2021), pp. 1421--1456

Convergence analysis of adaptive DIIS algorithms with application to electronic ground state calculations

Authors: Maxime Chupin, Mi-Song Dupuy, Guillaume Legendre, Eric Séré

Abstract: This paper deals with a general class of algorithms for the solution of fixed-point problems that we refer to as \emph{Anderson--Pulay acceleration}. This family includes the DIIS technique and its variant sometimes called commutator-DIIS, both introduced by Pulay in the 1980s to accelerate the convergence of self-consistent field procedures in quantum chemistry, as well as the related Anderson ac… ▽ More This paper deals with a general class of algorithms for the solution of fixed-point problems that we refer to as \emph{Anderson--Pulay acceleration}. This family includes the DIIS technique and its variant sometimes called commutator-DIIS, both introduced by Pulay in the 1980s to accelerate the convergence of self-consistent field procedures in quantum chemistry, as well as the related Anderson acceleration which dates back to the 1960s, and the wealth of techniques they have inspired. Such methods aim at accelerating the convergence of any fixed-point iteration method by combining several iterates in order to generate the next one at each step. This extrapolation process is characterised by its \emph{depth}, i.e. the number of previous iterates stored, which is a crucial parameter for the efficiency of the method. It is generally fixed to an empirical value. In the present work, we consider two parameter-driven mechanisms to let the depth vary along the iterations. In the first one, the depth grows until a certain nondegeneracy condition is no longer satisfied; then the stored iterates (save for the last one) are discarded and the method "restarts". In the second one, we adapt the depth continuously by eliminating at each step some of the oldest, less relevant, iterates. In an abstract and general setting, we prove under natural assumptions the local convergence and acceleration of these two adaptive Anderson--Pulay methods, and we show that one can theoretically achieve a superlinear convergence rate with each of them. We then investigate their behaviour in quantum chemistry calculations. These numerical experiments show that both adaptive variants exhibit a faster convergence than a standard fixed-depth scheme, and require on average less computational effort per iteration. This study is complemented by a review of known facts on the DIIS, in particular its link with the Anderson acceleration and some multisecant-type quasi-Newton methods. △ Less

Submitted 18 November, 2021; v1 submitted 28 February, 2020; originally announced February 2020.

Comments: Final version to appear in ESAIM:M2AN

A surjection theorem for maps with singular perturbation and loss of derivatives

Authors: Ivar Ekeland, Eric Séré

Abstract: In this paper we introduce a new algorithm for solving perturbed nonlinear functional equations which admit a right-invertible linearization, but with an inverse that loses derivatives and may blow up when the perturbation parameter $ε$ goes to zero. These equations are of the form $F_ε(u)=v$ with $F_ε(0)=0$, $v$ small and given, $u$ small and unknown. The main difference with the by now classica… ▽ More In this paper we introduce a new algorithm for solving perturbed nonlinear functional equations which admit a right-invertible linearization, but with an inverse that loses derivatives and may blow up when the perturbation parameter $ε$ goes to zero. These equations are of the form $F_ε(u)=v$ with $F_ε(0)=0$, $v$ small and given, $u$ small and unknown. The main difference with the by now classical Nash-Moser algorithm is that, instead of using a regularized Newton scheme, we solve a sequence of Galerkin problems thanks to a topological argument. As a consequence, in our estimates there are no quadratic terms. For problems without perturbation parameter, our results require weaker regularity assumptions on $F$ and $v$ than earlier ones, such as those of Hormander. For singularly perturbed functionals, we allow $v$ to be larger than in previous works. To illustrate this, we apply our method to a nonlinear Schrodinger Cauchy problem with concentrated initial data studied by Texier-Zumbrun, and we show that our result improves significantly on theirs. △ Less

Submitted 17 June, 2021; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: Journal of the European Mathematical Society, European Mathematical Society, In press

Journal ref: Journal of the European Mathematical Society 23 (2021), no. 10, pp. 3323-3349

Multiple front standing waves in the FitzHugh-Nagumo equations

Authors: Chao-Nien Chen, Eric Séré

Abstract: There have been several existence results for the standing waves of FitzHugh-Nagumo equations. Such waves are the connecting orbits of an autonomous second-order Lagrangian system and the corresponding kinetic energy is an indefinite quadratic form in the velocity terms. When the system has two stable hyperbolic equilibria, there exist two stable standing fronts, which will be used in this paper a… ▽ More There have been several existence results for the standing waves of FitzHugh-Nagumo equations. Such waves are the connecting orbits of an autonomous second-order Lagrangian system and the corresponding kinetic energy is an indefinite quadratic form in the velocity terms. When the system has two stable hyperbolic equilibria, there exist two stable standing fronts, which will be used in this paper as building blocks, to construct stable standing waves with multiple fronts in case the equilibria are of saddle-focus type. The idea to prove existence is somewhat close in spirit to [Buffoni-Sere, CPAM 49, 285-305]. However several differences are required in the argument: facing a strongly indefinite functional, we need to perform a nonlo-cal Lyapunov-Schmidt reduction; in order to justify the stability of multiple front standing waves, we rely on a more precise variational characterization of such critical points. Based on this approach, both stable and unstable standing waves are established. △ Less

Submitted 17 September, 2021; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: Final version to appear in Journal of Differential Equations

Journal ref: Journal of Differential Equations 302 (2021), pp. 895-925

Domains for Dirac-Coulomb min-max levels

Authors: Maria J. Esteban, Mathieu Lewin, Eric Séré

Abstract: We consider a Dirac operator in three space dimensions, with an electrostatic (i.e. real-valued) potential $V(x)$, having a strong Coulomb-type singularity at the origin. This operator is not always essentially self-adjoint but admits a distinguished self-adjoint extension $D\_V$. In a first part we obtain new results on the domain of this extension, complementing previous works of Esteban and Los… ▽ More We consider a Dirac operator in three space dimensions, with an electrostatic (i.e. real-valued) potential $V(x)$, having a strong Coulomb-type singularity at the origin. This operator is not always essentially self-adjoint but admits a distinguished self-adjoint extension $D\_V$. In a first part we obtain new results on the domain of this extension, complementing previous works of Esteban and Loss. Then we prove the validity of min-max formulas for the eigenvalues in the spectral gap of $D\_V$, in a range of simple function spaces independent of $V$. Our results include the critical case $\liminf\_{x \to 0} |x| V(x)= -1$, with units such that $\hbar=mc^2=1$, and they are the first ones in this situation. We also give the corresponding results in two dimensions. △ Less

Submitted 13 May, 2019; v1 submitted 16 February, 2017; originally announced February 2017.

Comments: Final version to appear in Rev. Mat. Iberoam

Journal ref: Revista Matem{á}tica Iberoamericana, European Mathematical Society, 2019

Derivation of the magnetic Euler-Heisenberg energy

Authors: Philippe Gravejat, Mathieu Lewin, Éric Séré

Abstract: In quantum field theory, the vacuum is a fluctuating medium which behaves as a nonlinear polarizable material. In this article, we perform the first rigorous derivation of the magnetic Euler-Heisenberg effective energy, a nonlinear functional that describes the effective fluctuations of the quantum vacuum in a classical magnetic field. We start from a classical magnetic field in interaction with a… ▽ More In quantum field theory, the vacuum is a fluctuating medium which behaves as a nonlinear polarizable material. In this article, we perform the first rigorous derivation of the magnetic Euler-Heisenberg effective energy, a nonlinear functional that describes the effective fluctuations of the quantum vacuum in a classical magnetic field. We start from a classical magnetic field in interaction with a quan-tized Dirac field in its ground state, and we study a limit in which the classical magnetic field is slowly varying. After a change of scales, this is equivalent to a semi-classical limit $\hbar\to0$, with a strong magnetic field of order $1/\hbar$. In this regime, we prove that the energy of Dirac's polarized vacuum converges to the Euler-Heisenberg functional. The model has ultraviolet divergences, which we regularize using the Pauli-Villars method. We also discuss how to remove the regularization of the Euler-Heisenberg effective Lagrangian, using charge renormaliza-tion, perturbatively to any order of the coupling constant. △ Less

Submitted 9 June, 2017; v1 submitted 12 February, 2016; originally announced February 2016.

Comments: Final version to appear in J. Math. Pure Appl

Journal ref: J. Math. Pures Appl. 117 (2018), pp. 59--93

Local smoothing estimates for the massless Dirac-coulomb equation in 2 and 3 dimensions

Authors: Federico Cacciafesta, Eric Séré

Abstract: We prove local smoothing estimates for the massless Dirac equation with a Coulomb potential in 2 and 3 space dimensions. Our strategy of proof is inspired by a paper of Burq et al. (2003) about Schroedinger and wave equations with inverse-square potentials, and relies on partial wave subspaces decomposition and spectral analysis of the Dirac-Coulomb operator. We prove local smoothing estimates for the massless Dirac equation with a Coulomb potential in 2 and 3 space dimensions. Our strategy of proof is inspired by a paper of Burq et al. (2003) about Schroedinger and wave equations with inverse-square potentials, and relies on partial wave subspaces decomposition and spectral analysis of the Dirac-Coulomb operator. △ Less

Submitted 22 December, 2015; v1 submitted 3 March, 2015; originally announced March 2015.

Journal ref: Journal of Functional Analysis, Volume 271, Issue 8, 2016, Pages 2339-2358

An implicit function theorem for non-smooth maps between Fréchet spaces

Authors: Ivar Ekeland, Eric Séré

Abstract: We prove an inverse function theorem of Nash-Moser type for maps between Fréchet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome the lack of derivatives. In fact, our theorem holds when the map to be inverted is not C^2 We prove an inverse function theorem of Nash-Moser type for maps between Fréchet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome the lack of derivatives. In fact, our theorem holds when the map to be inverted is not C^2 △ Less

Submitted 5 February, 2015; originally announced February 2015.

Smooth solutions to portfolio liquidation problems under price-sensitive market impact

Authors: Paulwin Graewe, Ulrich Horst, Eric Séré

Abstract: We consider the stochastic control problem of a financial trader that needs to unwind a large asset portfolio within a short period of time. The trader can simultaneously submit active orders to a primary market and passive orders to a dark pool. Our framework is flexible enough to allow for price-dependent impact functions describing the trading costs in the primary market and price-dependent adv… ▽ More We consider the stochastic control problem of a financial trader that needs to unwind a large asset portfolio within a short period of time. The trader can simultaneously submit active orders to a primary market and passive orders to a dark pool. Our framework is flexible enough to allow for price-dependent impact functions describing the trading costs in the primary market and price-dependent adverse selection costs associated with dark pool trading. We prove that the value function can be characterized in terms of the unique smooth solution to a PDE with singular terminal value, establish its explicit asymptotic behavior at the terminal time, and give the optimal trading strategy in feedback form. △ Less

Submitted 22 June, 2017; v1 submitted 2 September, 2013; originally announced September 2013.

MSC Class: 93E20 (Primary); 35Q93; 91G80 (Secondary)

Spurious Modes in Dirac Calculations and How to Avoid Them

Authors: Mathieu Lewin, Eric Séré

Abstract: 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. 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. △ Less

Submitted 13 September, 2013; v1 submitted 23 June, 2013; originally announced June 2013.

Comments: Chapter to be published in the book "Many-Electron Approaches in Physics, Chemistry and Mathematics: A Multidisciplinary View", edited by Volker Bach and Luigi Delle Site

Two Hartree-Fock models for the vacuum polarization

Authors: Philippe Gravejat, Christian Hainzl, Mathieu Lewin, Eric Séré

Abstract: 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. 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. △ Less

Submitted 27 September, 2012; originally announced September 2012.

Journal ref: Days on PDEs 2012, Biarritz : France (2012)

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

Authors: Philippe Gravejat, Christian Hainzl, Mathieu Lewin, Eric Séré

Abstract: 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 i… ▽ More 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. △ Less

Submitted 11 December, 2012; v1 submitted 13 April, 2012; originally announced April 2012.

Comments: Final version to appear in Arch. Rat. Mech. Analysis

Journal ref: Archive for Rational Mechanics and Analysis 208, 2 (2013) 603-665

Renormalization and asymptotic expansion of Dirac's polarized vacuum

Authors: Philippe Gravejat, Mathieu Lewin, Eric Séré

Abstract: We perform rigorously the charge renormalization of the so-called reduced Bogoliubov-Dirac-Fock (rBDF) model. This nonlinear theory, based on the Dirac operator, describes atoms and molecules while taking into account vacuum polarization effects. We consider the total physical density including both the external density of a nucleus and the self-consistent polarization of the Dirac sea, but no `re… ▽ More We perform rigorously the charge renormalization of the so-called reduced Bogoliubov-Dirac-Fock (rBDF) model. This nonlinear theory, based on the Dirac operator, describes atoms and molecules while taking into account vacuum polarization effects. We consider the total physical density including both the external density of a nucleus and the self-consistent polarization of the Dirac sea, but no `real' electron. We show that it admits an asymptotic expansion to any order in powers of the physical coupling constant $\alphaph$, provided that the ultraviolet cut-off behaves as $Λ\sim e^{3π(1-Z_3)/2\alphaph}\gg1$. The renormalization parameter $0 △ Less

Submitted 10 April, 2010; originally announced April 2010.

Journal ref: Commun.Math.Phys.306:1-33,2011

Spectral Pollution and How to Avoid It (With Applications to Dirac and Periodic Schrödinger Operators)

Authors: Mathieu Lewin, Eric Séré

Abstract: This paper, devoted to the study of spectral pollution, contains both abstract results and applications to some self-adjoint operators with a gap in their essential spectrum occuring in Quantum Mechanics. First we consider Galerkin basis which respect the decomposition of the ambient Hilbert space into a direct sum $H=PH\oplus(1-P)H$, given by a fixed orthogonal projector $P$, and we localize th… ▽ More This paper, devoted to the study of spectral pollution, contains both abstract results and applications to some self-adjoint operators with a gap in their essential spectrum occuring in Quantum Mechanics. First we consider Galerkin basis which respect the decomposition of the ambient Hilbert space into a direct sum $H=PH\oplus(1-P)H$, given by a fixed orthogonal projector $P$, and we localize the polluted spectrum exactly. This is followed by applications to periodic Schrödinger operators (pollution is absent in a Wannier-type basis), and to Dirac operator (several natural decompositions are considered). In the second part, we add the constraint that within the Galerkin basis there is a certain relation between vectors in $PH$ and vectors in $(1-P)H$. Abstract results are proved and applied to several practical methods like the famous "kinetic balance" of relativistic Quantum Mechanics. △ Less

Submitted 11 December, 2008; originally announced December 2008.

Comments: Proceedings of the London Mathematical Society (2009) in press

Ground State and Charge Renormalization in a Nonlinear Model of Relativistic Atoms

Authors: Philippe Gravejat, Mathieu Lewin, Eric Sere

Abstract: We study the reduced Bogoliubov-Dirac-Fock (BDF) energy which allows to describe relativistic electrons interacting with the Dirac sea, in an external electrostatic potential. The model can be seen as a mean-field approximation of Quantum Electrodynamics (QED) where photons and the so-called exchange term are neglected. A state of the system is described by its one-body density matrix, an infini… ▽ More We study the reduced Bogoliubov-Dirac-Fock (BDF) energy which allows to describe relativistic electrons interacting with the Dirac sea, in an external electrostatic potential. The model can be seen as a mean-field approximation of Quantum Electrodynamics (QED) where photons and the so-called exchange term are neglected. A state of the system is described by its one-body density matrix, an infinite rank self-adjoint operator which is a compact perturbation of the negative spectral projector of the free Dirac operator (the Dirac sea). We study the minimization of the reduced BDF energy under a charge constraint. We prove the existence of minimizers for a large range of values of the charge, and any positive value of the coupling constant $α$. Our result covers neutral and positively charged molecules, provided that the positive charge is not large enough to create electron-positron pairs. We also prove that the density of any minimizer is an $L^1$ function and compute the effective charge of the system, recovering the usual renormalization of charge: the physical coupling constant is related to $α$ by the formula $α_{\rm phys}\simeq α(1+2α/(3π)\logΛ)^{-1}$, where $Λ$ is the ultraviolet cut-off. We eventually prove an estimate on the highest number of electrons which can be bound by a nucleus of charge $Z$. In the nonrelativistic limit, we obtain that this number is $\leq 2Z$, recovering a result of Lieb. This work is based on a series of papers by Hainzl, Lewin, Sere and Solovej on the mean-field approximation of no-photon QED. △ Less

Submitted 18 December, 2007; originally announced December 2007.

Comments: 37 pages, 1 figure

Variational methods in relativistic quantum mechanics

Authors: Maria J. Esteban, Mathieu Lewin, Eric séré

Abstract: This review is devoted to the study of stationary solutions of linear and nonlinear equations from relativistic quantum mechanics, involving the Dirac operator. The solutions are found as critical points of an energy functional. Contrary to the Laplacian appearing in the equations of nonrelativistic quantum mechanics, the Dirac operator has a negative continuous spectrum which is not bounded fro… ▽ More This review is devoted to the study of stationary solutions of linear and nonlinear equations from relativistic quantum mechanics, involving the Dirac operator. The solutions are found as critical points of an energy functional. Contrary to the Laplacian appearing in the equations of nonrelativistic quantum mechanics, the Dirac operator has a negative continuous spectrum which is not bounded from below. This has two main consequences. First, the energy functional is strongly indefinite. Second, the Euler-Lagrange equations are linear or nonlinear eigenvalue problems with eigenvalues lying in a spectral gap (between the negative and positive continuous spectra). Moreover, since we work in the space domain R^3, the Palais-Smale condition is not satisfied. For these reasons, the problems discussed in this review pose a challenge in the Calculus of Variations. The existence proofs involve sophisticated tools from nonlinear analysis and have required new variational methods which are now applied to other problems. △ Less

Submitted 8 January, 2008; v1 submitted 22 June, 2007; originally announced June 2007.

Journal ref: Bull. Amer. Math. Soc. (N.S.) 45, 4 (2008) 535--593

A Minimization Method for Relativistic Electrons in a Mean-Field Approximation of Quantum Electrodynamics

Authors: Christian Hainzl, Mathieu Lewin, Eric Sere, Jan Philip Solovej

Abstract: We study a mean-field relativistic model which is able to describe both the behavior of finitely many spin-1/2 particles like electrons and of the Dirac sea which is self-consistently polarized in the presence of the real particles. The model is derived from the QED Hamiltonian in Coulomb gauge neglecting the photon field. All our results are non-perturbative and mathematically rigorous. We study a mean-field relativistic model which is able to describe both the behavior of finitely many spin-1/2 particles like electrons and of the Dirac sea which is self-consistently polarized in the presence of the real particles. The model is derived from the QED Hamiltonian in Coulomb gauge neglecting the photon field. All our results are non-perturbative and mathematically rigorous. △ Less

Submitted 11 June, 2007; originally announced June 2007.

Comments: 18 pages, 3 figures

Existence of Atoms and Molecules in the Mean-Field Approximation of No-Photon Quantum Electrodynamics

Authors: Christian Hainzl, Mathieu Lewin, Eric Sere

Abstract: The Bogoliubov-Dirac-Fock (BDF) model is the mean-field approximation of no-photon Quantum Electrodynamics. The present paper is devoted to the study of the minimization of the BDF energy functional under a charge constraint. An associated minimizer, if it exists, will usually represent the ground state of a system of $N$ electrons interacting with the Dirac sea, in an external electrostatic fie… ▽ More The Bogoliubov-Dirac-Fock (BDF) model is the mean-field approximation of no-photon Quantum Electrodynamics. The present paper is devoted to the study of the minimization of the BDF energy functional under a charge constraint. An associated minimizer, if it exists, will usually represent the ground state of a system of $N$ electrons interacting with the Dirac sea, in an external electrostatic field generated by one or several fixed nuclei. We prove that such a minimizer exists when a binding (HVZ-type) condition holds. We also derive, study and interpret the equation satisfied by such a minimizer. Finally, we provide two regimes in which the binding condition is fulfilled, obtaining the existence of a minimizer in these cases. The first is the weak coupling regime for which the coupling constant $α$ is small whereas $αZ$ and the particle number $N$ are fixed. The second is the non-relativistic regime in which the speed of light tends to infinity (or equivalently $α$ tends to zero) and $Z$, $N$ are fixed. We also prove that the electronic solution converges in the non-relativistic limit towards a Hartree-Fock ground state. △ Less

Submitted 19 February, 2008; v1 submitted 31 May, 2006; originally announced June 2006.

Comments: Final version, to appear in Arch. Rat. Mech. Anal

Journal ref: Archive for Rational Mechanics and Analysis 192 (2009), no. 3, pp. 453--499

Dirac-Fock models for atoms and molecules and related topics

Authors: Maria J. Esteban, Eric séré

Abstract: An overview on various results concerning the Dirac-Fock model, the various variational characterization of its solutions and its nonrelativistic limit. A notion of ground state for this totally unbounded is also defined. An overview on various results concerning the Dirac-Fock model, the various variational characterization of its solutions and its nonrelativistic limit. A notion of ground state for this totally unbounded is also defined. △ Less

Submitted 28 October, 2005; originally announced October 2005.

Comments: To appear in Proc. ICMP2003. World Scientifc

General results on the eigenvalues of operators with gaps, arising from both ends of the gaps. Application to Dirac operators

Authors: Jean Dolbeault, Maria J. Esteban, Eric séré

Abstract: This paper is concerned with {an extension and reinterpretation} of previous results on the variational characterization of eigenvalues in gaps of the essential spectrum of self-adjoint operators. {We state} two general abstract results on the existence of eigenvalues in the gap and a continuation principle. Then, these results are applied to Dirac operators in order to characterize simultaneous… ▽ More This paper is concerned with {an extension and reinterpretation} of previous results on the variational characterization of eigenvalues in gaps of the essential spectrum of self-adjoint operators. {We state} two general abstract results on the existence of eigenvalues in the gap and a continuation principle. Then, these results are applied to Dirac operators in order to characterize simultaneously eigenvalues corresponding to electronic and positronic bound states. △ Less

Submitted 28 October, 2005; originally announced October 2005.

Journal ref: J. Eur. Math. Soc. 8 (2006), no. 2, pp. 243--251

Self-consistent solution for the polarized vacuum in a no-photon QED model

Authors: Christian Hainzl, Mathieu Lewin, Eric Sere

Abstract: We study the Bogoliubov-Dirac-Fock model introduced by Chaix and Iracane ({\it J. Phys. B.}, 22, 3791--3814, 1989) which is a mean-field theory deduced from no-photon QED. The associated functional is bounded from below. In the presence of an external field, a minimizer, if it exists, is interpreted as the polarized vacuum and it solves a self-consistent equation. In a recent paper math-ph/040… ▽ More We study the Bogoliubov-Dirac-Fock model introduced by Chaix and Iracane ({\it J. Phys. B.}, 22, 3791--3814, 1989) which is a mean-field theory deduced from no-photon QED. The associated functional is bounded from below. In the presence of an external field, a minimizer, if it exists, is interpreted as the polarized vacuum and it solves a self-consistent equation. In a recent paper math-ph/0403005, we proved the convergence of the iterative fixed-point scheme naturally associated with this equation to a global minimizer of the BDF functional, under some restrictive conditions on the external potential, the ultraviolet cut-off $Λ$ and the bare fine structure constant $α$. In the present work, we improve this result by showing the existence of the minimizer by a variational method, for any cut-off $Λ$ and without any constraint on the external field. We also study the behaviour of the minimizer as $Λ$ goes to infinity and show that the theory is "nullified" in that limit, as predicted first by Landau: the vacuum totally kills the external potential. Therefore the limit case of an infinite cut-off makes no sense both from a physical and mathematical point of view. Finally, we perform a charge and density renormalization scheme applying simultaneously to all orders of the fine structure constant $α$, on a simplified model where the exchange term is neglected. △ Less

Submitted 1 April, 2005; v1 submitted 8 April, 2004; originally announced April 2004.

Comments: Final version, to appear in J. Phys. A: Math. Gen

Existence of a stable polarized vacuum in the Bogoliubov-Dirac-Fock approximation

Authors: Christian Hainzl, Mathieu Lewin, Eric Sere

Abstract: According to Dirac's ideas, the vacuum consists of infinitely many virtual electrons which completely fill up the negative part of the spectrum of the free Dirac operator $D^0$. In the presence of an external field, these virtual particles react and the vacuum becomes polarized. In this paper, following Chaix and Iracane ({\it J. Phys. B}, 22, 3791--3814, 1989), we consider the Bogoliubov-Dira… ▽ More According to Dirac's ideas, the vacuum consists of infinitely many virtual electrons which completely fill up the negative part of the spectrum of the free Dirac operator $D^0$. In the presence of an external field, these virtual particles react and the vacuum becomes polarized. In this paper, following Chaix and Iracane ({\it J. Phys. B}, 22, 3791--3814, 1989), we consider the Bogoliubov-Dirac-Fock model, which is derived from no-photon QED. The corresponding BDF-energy takes the polarization of the vacuum into account and is bounded from below. A BDF-stable vacuum is defined to be a minimizer of this energy. If it exists, such a minimizer is solution of a self-consistent equation. We show the existence of a unique minimizer of the BDF-energy in the presence of an external electrostatic field, by means of a fixed-point approach. This minimizer is interpreted as the polarized vacuum. △ Less

Submitted 19 April, 2005; v1 submitted 4 March, 2004; originally announced March 2004.

Comments: final version, to appear in Commun. Math. Phys

Journal ref: Commun.Math.Phys. 257 (2005) 515-562

Some connections between Dirac-Fock and Electron-Positron Hartree-Fock

Authors: Jean-Marie Barbaroux, Maria J. Esteban, Eric Séré

Abstract: We study the ground state solutions of the Dirac-Fock model in the case of weak electronic repulsion, using bifurcation theory. They are solutions of a min-max problem. Then we investigate a max-min problem coming from the electron-positron field theory of Bach-Barbaroux-Helffer-Siedentop. We show that given a radially symmetric nuclear charge, the ground state of Dirac-Fock solves this max-min… ▽ More We study the ground state solutions of the Dirac-Fock model in the case of weak electronic repulsion, using bifurcation theory. They are solutions of a min-max problem. Then we investigate a max-min problem coming from the electron-positron field theory of Bach-Barbaroux-Helffer-Siedentop. We show that given a radially symmetric nuclear charge, the ground state of Dirac-Fock solves this max-min problem for certain numbers of electrons. But we also exhibit a situation in which the max-min level does not correspond to a solution of the Dirac-Fock equations together with its associated self-consistent projector. △ Less

Submitted 2 September, 2004; v1 submitted 21 February, 2004; originally announced February 2004.