Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Around the Quantum Lenard-Balescu equation

Corentin Le Bihan

TL;DR

The paper rigorously connects quantum mean-field dynamics to kinetic theory by showing that the first nontrivial correction to Hartree–Fock, in the presence of translation-invariant data, is governed by the quantum Lenard–Balescu equation. It provides a controlled derivation at short times via cumulant methods, and establishes a robust Cauchy theory with global existence in Sobolev spaces. Furthermore, it demonstrates a precise semi-classical limit in which the quantum collision operator converges to the classical Lenard–Balescu operator, clarifying the grazing-collision/Gain–Loss structure that connects quantum and classical kinetics. The results offer a rigorous bridge between quantum mean-field dynamics and collisional kinetic theory, with implications for understanding dynamical screening and irreversibility in quantum many-body systems.

Abstract

In the mean-field regime, a gas of quantum particles with Boltzmann statistics can be described by the Hartree-Fock equation. This dynamics becomes trivial if the initial distribution of particle is invariant by translation. However, the first correction is given on time of order $O(N)$ by the quantum Lenard--Balescu equation. In the first part of the present article, we justify this equation until time of order $O((\log N)^{1-δ})$ (for any $δ\in(0,1)$). A similar phenomenon exists in the classical setting (with a similar validity time obtained by Duerinckx \cite{Duerinckx}). In a second time, we prove the convergence for dimension $d\geq 2$ of the solutions of the quantum Lenard--Balescu equation to the solutions of its classical counterpart in the semi-classical limit. This problem can be interpreted as a grazing collision limit: the quantum Lenard--Balescu equation looks like a cut-off Boltzmann equation, when the classical one looks like the Landau equation.

Around the Quantum Lenard-Balescu equation

TL;DR

The paper rigorously connects quantum mean-field dynamics to kinetic theory by showing that the first nontrivial correction to Hartree–Fock, in the presence of translation-invariant data, is governed by the quantum Lenard–Balescu equation. It provides a controlled derivation at short times via cumulant methods, and establishes a robust Cauchy theory with global existence in Sobolev spaces. Furthermore, it demonstrates a precise semi-classical limit in which the quantum collision operator converges to the classical Lenard–Balescu operator, clarifying the grazing-collision/Gain–Loss structure that connects quantum and classical kinetics. The results offer a rigorous bridge between quantum mean-field dynamics and collisional kinetic theory, with implications for understanding dynamical screening and irreversibility in quantum many-body systems.

Abstract

In the mean-field regime, a gas of quantum particles with Boltzmann statistics can be described by the Hartree-Fock equation. This dynamics becomes trivial if the initial distribution of particle is invariant by translation. However, the first correction is given on time of order by the quantum Lenard--Balescu equation. In the first part of the present article, we justify this equation until time of order (for any ). A similar phenomenon exists in the classical setting (with a similar validity time obtained by Duerinckx \cite{Duerinckx}). In a second time, we prove the convergence for dimension of the solutions of the quantum Lenard--Balescu equation to the solutions of its classical counterpart in the semi-classical limit. This problem can be interpreted as a grazing collision limit: the quantum Lenard--Balescu equation looks like a cut-off Boltzmann equation, when the classical one looks like the Landau equation.
Paper Structure (23 sections, 29 theorems, 318 equations)

This paper contains 23 sections, 29 theorems, 318 equations.

Table of Contents

  1. Introduction
  2. General presentation
  3. Derivation of an effective equation on the long time scale
  4. The classical counterpart
  5. Semi-classical limit of the quantum Lenard--Balescu equation
  6. Statement of the results
  7. Short time validity of the quantum Lenard--Balescu equation
  8. Property of quantum Lenard--Balescu equation
  9. Cauchy theory of the Quantum Lenard-Balescu Equation
  10. Semi-classical limit
  11. Validity at time $0$ of the Quantum Lenard-Balescu equation
  12. A priori estimation of the cumulant
  13. Effective equation for initial data stable by translation
  14. The Larg Box limit
  15. Computation of the collision term
  16. ...and 8 more sections

Key Result

Theorem 1

Consider a density $\Phi_0$ such that At $t=0$ we set the system such that where $\mathcal{Z}_L$ is a normalization constant, and we construct $F_N(t):\mathbb{R}^+\to\mathcal{L}^1(\mathfrak{H}^N_L)$ the solution of the Von Neumann equation eq:Von Neuman with initial data $F_{N,0}$. We fix the scaling $\mu,N,L\to\infty$ with $\mu = NL^{-d}$. Then, for any diverging sequence

Theorems & Definitions (59)

  • Remark 1.1
  • Remark 1.2
  • Theorem 1
  • Remark 1.3
  • Theorem 2
  • Theorem 3
  • Theorem 4
  • Remark 1.4
  • Proposition 2.1
  • proof
  • ...and 49 more