Table of Contents
Fetching ...

Local analytic well-posedness for one-dimensional Vlasov$\unicode{x2013}$Dirac$\unicode{x2013}$Benney-type equations

Nuno J. Alves, Peter Markowich, Athanasios E. Tzavaras

Abstract

We study a one-dimensional nonlinear Vlasov equation with a local self-consistent force field generated by the density, where the force is given by the spatial derivative of a real-analytic nonlinearity. For small analytic initial data, we prove local-in-time existence and uniqueness of analytic solutions. In particular, this yields a perturbative well-posedness result around the trivial equilibrium. We also give an energy-based representation of weak stationary states and discuss perturbations around spatially homogeneous stationary profiles. The proof relies on a contraction mapping argument in a complete metric space of analytic functions. As a technical byproduct, we establish quantitative composition estimates for analytic nonlinearities in the analytic norms used in the argument.

Local analytic well-posedness for one-dimensional Vlasov$\unicode{x2013}$Dirac$\unicode{x2013}$Benney-type equations

Abstract

We study a one-dimensional nonlinear Vlasov equation with a local self-consistent force field generated by the density, where the force is given by the spatial derivative of a real-analytic nonlinearity. For small analytic initial data, we prove local-in-time existence and uniqueness of analytic solutions. In particular, this yields a perturbative well-posedness result around the trivial equilibrium. We also give an energy-based representation of weak stationary states and discuss perturbations around spatially homogeneous stationary profiles. The proof relies on a contraction mapping argument in a complete metric space of analytic functions. As a technical byproduct, we establish quantitative composition estimates for analytic nonlinearities in the analytic norms used in the argument.

Paper Structure

This paper contains 21 sections, 22 theorems, 274 equations.

Key Result

Lemma 3.1

Let $f$ be analytic with radius of convergence $\Lambda$. Then, for each $0 < \lambda < \Lambda$, and, for $n \in \mathbb{N}_0$,

Theorems & Definitions (48)

  • Lemma 3.1
  • Lemma 3.2
  • proof
  • Lemma 3.3
  • proof
  • Definition 3.4
  • Remark 3.5
  • Lemma 3.6
  • proof
  • Lemma 3.7
  • ...and 38 more