-
Dissociation limits in Density Functional Theory
Authors:
Guy Bouchitté,
Giuseppe Buttazzo,
Thierry Champion,
Luigi De Pascale
Abstract:
In this paper we consider the {\it Density Functional Theory} (DFT) framework, where a functional of the form $$F_\eps(ρ)=\eps T(ρ)+bC(ρ)-U(ρ)$$ has to be minimized in the class of non-negative measures $ρ$ which have a prescribed total mass $m$ (the total electronic charge). The parameter $\eps$ is small and the terms $T$, $C$, $U$ respectively represent the kinetic energy, the electronic repulsi…
▽ More
In this paper we consider the {\it Density Functional Theory} (DFT) framework, where a functional of the form $$F_\eps(ρ)=\eps T(ρ)+bC(ρ)-U(ρ)$$ has to be minimized in the class of non-negative measures $ρ$ which have a prescribed total mass $m$ (the total electronic charge). The parameter $\eps$ is small and the terms $T$, $C$, $U$ respectively represent the kinetic energy, the electronic repulsive correlation, the potential interaction term between electrons and nuclei. Several expressions for the above terms have been considered in the literature and our framework is general enough to include most of them.
It is known that in general, when the positive charge of the nuclei is small, the so-called {\it ionization phenomenon} may occur, consisting in the fact that the minimizers of $F_\eps$ can have a total mass lower than $m$; this physically means that some of the electrons may escape to infinity when the attraction of the nuclei is not strong enough.
Our main goal, continuing the research we started in \cite{bbcd18}, is to study the asymptotic behavior of the minimizers of $F_\eps$ as $\eps\to0$. We show that the $Γ$-limit functional is defined on sums of Dirac masses and has an explicit expression that depends on the terms $T$, $C$, $U$ that the model takes into account.
Some explicit examples illustrate how the electrons are distributed around the nuclei according to the model used.
△ Less
Submitted 27 June, 2025;
originally announced July 2025.
-
Universal bounds for fixed point iterations via optimal transport metrics
Authors:
Mario Bravo,
Thierry Champion,
Roberto Cominetti
Abstract:
We present a self-contained analysis of a particular family of metrics over the set of non-negative integers. We show that these metrics, which are defined through a nested sequence of optimal transport problems, provide tight estimates for general Krasnosel'skii-Mann fixed point iterations for non-expansive maps. We also describe some of their very special properties, including their monotonicity…
▽ More
We present a self-contained analysis of a particular family of metrics over the set of non-negative integers. We show that these metrics, which are defined through a nested sequence of optimal transport problems, provide tight estimates for general Krasnosel'skii-Mann fixed point iterations for non-expansive maps. We also describe some of their very special properties, including their monotonicity and the so-called "convex quadrangle inequality" that yields a greedy algorithm to compute them efficiently.
△ Less
Submitted 20 April, 2022; v1 submitted 31 July, 2021;
originally announced August 2021.
-
Relaxed multi-marginal costs and quantization effects
Authors:
Guy Bouchitté,
Giuseppe Buttazzo,
Thierry Champion,
Luigi De Pascale
Abstract:
We propose a duality theory for multi-marginal repulsive cost that appear in optimal transport problems arising in Density Functional Theory. The related optimization problems involve probabilities on the entire space and, as minimizing sequences may lose mass at infinity, it is natural to expect relaxed solutions which are sub-probabilities. We first characterize the $N$-marginals relaxed cost in…
▽ More
We propose a duality theory for multi-marginal repulsive cost that appear in optimal transport problems arising in Density Functional Theory. The related optimization problems involve probabilities on the entire space and, as minimizing sequences may lose mass at infinity, it is natural to expect relaxed solutions which are sub-probabilities. We first characterize the $N$-marginals relaxed cost in terms of a stratification formula which takes into account all $k$ interactions with $k\le N$. We then develop a duality framework involving continuous functions vanishing at infinity and deduce primal-dual necessary and sufficient optimality conditions Next we prove the existence and the regularity of an optimal dual potential under very mild assumptions. In the last part of the paper, we apply our results to a minimization problem involving a given continuous potential and we give evidence of a mass quantization effect for optimal solutions.
△ Less
Submitted 19 July, 2019;
originally announced July 2019.
-
Dissociating limit in Density Functional Theory with Coulomb optimal transport cost
Authors:
Guy Bouchitté,
Giuseppe Buttazzo,
Thierry Champion,
Luigi De Pascale
Abstract:
In the framework of Density Functional Theory with Strongly Correlated Electrons we consider the so called bond dissociating limit for the energy of an aggregate of atoms. We show that the multi-marginals optimal transport cost with Coulombian electron-electron repulsion may correctly describe the dissociation effect. The variational limit is completely calculated in the case of N=2 electrons. The…
▽ More
In the framework of Density Functional Theory with Strongly Correlated Electrons we consider the so called bond dissociating limit for the energy of an aggregate of atoms. We show that the multi-marginals optimal transport cost with Coulombian electron-electron repulsion may correctly describe the dissociation effect. The variational limit is completely calculated in the case of N=2 electrons. The theme of fractional number of electrons appears naturally and brings into play the question of optimal partial transport cost. A plan is outlined to complete the analysis which involves the study of the relaxation of optimal transport cost with respect to the weak* convergence of measures.
△ Less
Submitted 29 November, 2018;
originally announced November 2018.
-
Continuity and estimates for multimarginal optimal transportation problems with singular costs
Authors:
Giuseppe Buttazzo,
Thierry Champion,
Luigi De Pascale
Abstract:
We consider some repulsive multimarginal optimal transportation problems which include, as a particular case, the Coulomb cost. We prove a regularity property of the minimizers (optimal transportation plan) from which we deduce existence and some basic regularity of a maximizer for the dual problem (Kantorovich potential). This is then applied to obtain some estimates of the cost and to the study…
▽ More
We consider some repulsive multimarginal optimal transportation problems which include, as a particular case, the Coulomb cost. We prove a regularity property of the minimizers (optimal transportation plan) from which we deduce existence and some basic regularity of a maximizer for the dual problem (Kantorovich potential). This is then applied to obtain some estimates of the cost and to the study of continuity properties.
△ Less
Submitted 31 August, 2016;
originally announced August 2016.
-
A particular class of solutions of a system of eikonal equations
Authors:
Thierry Champion,
Gisella Croce
Abstract:
In this article we study a system of eikonal equations. Our aim is to isolate the solutions which minimise the discontinuity set of the gradient.
In this article we study a system of eikonal equations. Our aim is to isolate the solutions which minimise the discontinuity set of the gradient.
△ Less
Submitted 3 May, 2010;
originally announced May 2010.
-
The \infty eigenvalue problem and a problem of optimal transportation
Authors:
Thierry Champion,
Luigi De Pascale,
Chloé Jimenez
Abstract:
The so-called eigenvalues and eigenfunctions of the infinite Laplacian $Δ_\infty$ are defined through an asymptotic study of that of the usual $p$-Laplacian $Δ_p$, this brings to a characterization via a non-linear eigenvalue problem for a PDE satisfied in the viscosity sense. In this paper, we obtain an other characterization of the first eigenvalue via a problem of optimal transportation, and…
▽ More
The so-called eigenvalues and eigenfunctions of the infinite Laplacian $Δ_\infty$ are defined through an asymptotic study of that of the usual $p$-Laplacian $Δ_p$, this brings to a characterization via a non-linear eigenvalue problem for a PDE satisfied in the viscosity sense. In this paper, we obtain an other characterization of the first eigenvalue via a problem of optimal transportation, and recover properties of the first eigenvalue and corresponding positive eigenfunctions.
△ Less
Submitted 12 November, 2008;
originally announced November 2008.