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.Comment: 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 Sit

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

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

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

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 $\epsilon$ goes to zero. These equations are of the form $F\_\epsilon(u)=v$ with $F\_\epsilon(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.Comment: Final version, to appear in Journal of the European Mathematical Society (JEMS

An implicit function theorem for non-smooth maps between Fr\'echet spaces

We prove an inverse function theorem of Nash-Moser type for maps between Fr\'echet 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^

Spectral Pollution and How to Avoid It (With Applications to Dirac and Periodic Schr\"odinger Operators)

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\"odinger 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.Comment: Proceedings of the London Mathematical Society (2009) in pres

Dirac-Fock models for atoms and molecules and related topics

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.Comment: To appear in Proc. ICMP2003. World Scientif

Variational methods in relativistic quantum mechanics

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

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

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

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

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