Searcharxiv⌕ Search

arXiv subjects

Isabelle Gallagher

Publications and source records attributed to Isabelle Gallagher.

At least 19 recordsLinked to original sources
arXiv2026

Initial layer instability of the kinetic Lamb-Oseen Vortex

It is well-known that solutions to the incompressible Navier-Stokes system are limits in various contexts (weak or strong), of solutions to the Boltzmann equation, when the Mach and the Knudsen numbers go to zero. In particular the case of smooth solutions is by now rather well understood. Recent works have aimed at choosing initial data in function spaces as close as possible to those corresponding to well-posedness for the incompressible Navier-Stokes system. This paper tackles the case of measurevalued initial vorticity, in two space dimensions: in the special case when the initial vorticity is a Dirac mass, it is known that the unique solution to the Navier-Stokes system is the solution to the heat equation. We prove that the kinetic emanation of this initial vorticity (slightly smoothed out) leads to a solution of the Boltzmann equation which diverges in a strong way and in a very small time layer, from the expected hydrodynamic limit.

math.AP↗
arXiv2026

Derivation of the Boltzmann equation from hard-sphere dynamics (after Y. Deng, Z. Hani, and X. Ma)

Consider a microscopic system of $N$ hard spheres that are initially independent (modulo the exclusion condition on particle positions) and identically distributed in $\mathbb{R}^3$. When the number $N$ of particles goes to infinity and the diameter $\varepsilon$ of the particles goes to zero, and under the weak density assumption $N\varepsilon^2=1$, it has been known since the work of Lanford that the empirical measure for the particles converges to the solution of the Boltzmann equation in a short time interval. In particular, the particles remain dynamically independent, in this limit and in the short time interval where the correlations induced by their collisions remain under control. In a recent work, Y. Deng, Z. Hani and X. Ma successfully obtained the same convergence result in arbitrary large time; more precisely, the convergence result holds for any time interval on which the Boltzmann equation has a regular solution. In this note, we explain a few elements of their proof.

math.AP↗
arXiv2025

The Navier-Stokes limit of kinetic equations for low regularity data

In this paper, we investigate the link between kinetic equations (including Boltzmann with or without cutoff assumption and Landau equations) and the incompressible Navier-Stokes equation. We work with strong solutions and we treat all the cases in a unified framework. The main purpose of this work is to be as accurate as possible in terms of functional spaces. More precisely, it is well-known that the Navier-Stokes equation can be solved in a lower regularity setting (in the space variable) than kinetic equations. Our main result allows to get a rigorous link between solutions to the Navier-Stokes equation with such low regularity data and kinetic equations.

math.AP↗
arXiv2024

Ekman boundary layers in a domain with topography

We investigate the asymptotic behaviour of fast rotating incompressible fluids with vanishing viscosity, in a {three dimensional} domain with topography including the case of land area. Assuming the initial data is well-prepared, we prove a convergence theorem of the velocity fields to a two-dimensional vector field solving a linear, damped ordinary differential equation.The proof is based on a weak-strong uniqueness argument, combinedwith an abstract result implying that the weak convergence of a familyof weak solutions to the Navier-Stokes-Coriolis system can be translated into a form of uniform-in-time convergence.This argument yields strong convergence of the velocity fields, without a precise rate though.

math.AP↗
arXiv2024

The Cauchy Problem For Quasi-Linear Parabolic Systems Revisited

We study a class of parabolic quasilinear systems, in which the diffusion matrix is not uniformly elliptic, but satisfies a Petrovskii condition of positivity of the real part of the eigenvalues. Local well-posedness is known since the work of Amann in the 90s, by a semi-group method. We first revisit these results in the context of Sobolev spaces modelled on $L^2$ and then explore the endpoint Besov case $B_{p,1}^{d/p}$. We also exemplify our method on the SKT system, showing the existence of local, non-negative, strong solutions.

math.AP↗
arXiv2023

Falsification of a Vision-based Automatic Landing System

At smaller airports without an instrument approach or advanced equipment, automatic landing of aircraft is a safety-critical task that requires the use of sensors present on the aircraft. In this paper, we study falsification of an automatic landing system for fixed-wing aircraft using a camera as its main sensor. We first present an architecture for vision-based automatic landing, including a vision-based runway distance and orientation estimator and an associated PID controller. We then outline landing specifications that we validate with actual flight data. Using these specifications, we propose the use of the falsification tool Breach to find counterexamples to the specifications in the automatic landing system. Our experiments are implemented using a Beechcraft Baron 58 in the X-Plane flight simulator communicating with MATLAB Simulink.

cs.RO↗
arXiv2023

A Linear Stochastic Model of Turbulent Cascades and Fractional Fields

Turbulent cascades characterize the transfer of energy injected by a random force at large scales towards the small scales. In hydrodynamic turbulence, when the Reynolds number is large, the velocity field of the fluid becomes irregular and the rate of energy dissipation remains bounded from below even if the fluid viscosity tends to zero. A mathematical description of the turbulent cascade is a very active research topic since the pioneering work of Kolmogorov in hydrodynamic turbulence and that of Zakharov in wave turbulence. In both cases, these turbulent cascade mechanisms imply power-law behaviors of several statistical quantities such as power spectral densities. For a long time, these cascades were believed to be associated with nonlinear interactions, but recent works have shown that they can also take place in a dynamics governed by a linear equation with a differential operator of degree 0. In this spirit, we construct a linear equation that mimics the phenomenology of energy cascades when the external force is a statistically homogeneous and stationary stochastic process. In the Fourier variable, this equation can be seen as a linear transport equation, which corresponds to an operator of degree 0 in physical space. Our results give a complete characterization of the solution: it is smooth at any finite time, and, up to smaller order corrections, it converges to a fractional Gaussian field at infinite time.

math-ph↗
arXiv2022

Spectral summability for the quartic oscillator with applications to the Engel group

In this article, we investigate spectral properties of the sublaplacian $-\Delta_{G}$ on the Engel group, which is the main example of a Carnot group of step 3. We develop a new approach to the Fourier analysis on the Engel group in terms of a frequency set. This enables us to give fine estimates on the convolution kernel satisfying $F(-\Delta_{G})u=u\star k_{F}$, for suitable scalar functions $F$, and in turn to obtain proofs of classical functional embeddings, via Fourier techniques. This analysis requires a summability property on the spectrum of the quartic oscillator, which we obtain by means of semiclassical techniques and which is of independent interest.

math.AP↗
arXiv2022

Cluster expansion for a dilute hard sphere gas dynamics

In [7], a cluster expansion method has been developed to study the fluctuations of the hard sphere dynamics around the Boltzmann equation. This method provides a precise control on the exponential moments of the empirical measure, from which the fluctuating Boltzmann equation and large deviation estimates have been deduced. The cluster expansion in [7] was implemented at the level of the BBGKY hierarchy, which is a standard tool to investigate the deterministic dynamics [11]. In this paper, we introduce an alternative approach, in which the cluster expansion is applied directly on real trajectories of the particle system. This offers a fresh perspective on the study of the hard sphere dynamics in the low density limit, allowing to recover the results obtained in [7], and also to describe the actual clustering of particle trajectories.

math.AP↗
arXiv2022

Large, global solutions to the three-dimensional the navier-stokes equations without vertical viscosity

The three-dimensional, homogeneous, incompressible Navier-Stokes equations are studied in the absence of viscosity in one direction. It is shown that there are arbitrarily large initial data generating a unique global solution, the main feature of which is that they are slowly varying in the direction where viscosity is missing. The difficulty arises from the complete absence of a regularising effect in this direction. The special structure of the nonlinear term, joint with the divergence-free condition on the velocity field, is crucial in obtaining the result.

math.AP↗
arXiv2022

Dynamics of dilute gases: a statistical approach

The evolution of a gas can be described by different models depending on the observation scale. A natural question, raised by Hilbert in his sixth problem, is whether these models provide consistent predictions. In particular, for rarefied gases, it is expected that continuum laws of kinetic theory can be obtained directly from molecular dynamics governed by the fundamental principles of mechanics. In the case of hard sphere gases, Lanford showed that the Boltzmann equation emerges as the law of large numbers in the low density limit, at least for very short times. The goal of this survey is to present recent progress in the understanding of this limiting process, providing a complete statistical description.

math.AP↗
arXiv2022

Long-time derivation at equilibrium of the fluctuating Boltzmann equation

We study a hard sphere gas at equilibrium, and prove that in the low density limit, the fluctuations converge to a Gaussian process governed by the fluctuating Boltzmann equation. This result holds for arbitrarily long times. The method of proof builds upon the weak convergence method introduced in the companion paper [8] which is improved by considering clusters of pseudo-trajectories as in [7].

math.AP↗
arXiv2020

Local dispersive and Strichartz estimates for the Schr{\"o}dinger operator on the Heisenberg group

It was proved by H. Bahouri, P. G{\'e}rard and C.-J. Xu in [9] that the Schr{\"o}dinger equation on the Heisenberg group $\mathbb{H}^d$, involving the sublaplacian, is an example of a totally non-dispersive evolution equation: for this reason global dispersive estimates cannot hold. This paper aims at establishing local dispersive estimates on $\mathbb{H}^d$ for the linear Schr{\"o}dinger equation, by a refined study of the Schr{\"o}dinger kernel $S_t$ on $\mathbb{H}^d$. The sharpness of these estimates is discussed through several examples. Our approach, based on the explicit formula of the heat kernel on $\mathbb{H}^d$ derived by B. Gaveau in [20], is achieved by combining complex analysis and Fourier-Heisenberg tools. As a by-product of our results, we establish local Strichartz estimates and prove that the kernel $S_t$ concentrates on quantized horizontal hyperplanes of $\mathbb{H}^d$.

math.AP↗
arXiv2020

Long-time correlations for a hard-sphere gas at equilibrium

It has been known since Lanford [19] that the dynamics of a hard sphere gas is described in the low density limit by the Boltzmann equation, at least for short times. The classical strategy of proof fails for longer times, even close to equilibrium. In this paper, we introduce a duality method coupled with a pruning argument to prove that the covariance of the fluctuations around equilibrium is governed by the linearized Boltzmann equation globally in time (including in diffusive regimes). This method is much more robust and simple than the one devised in [4] which was specific to the 2D case.

math.AP↗
arXiv2020

Statistical dynamics of a hard sphere gas: fluctuating Boltzmann equation and large deviations

We present a mathematical theory of dynamical fluctuations for the hard sphere gas in the Boltzmann-Grad limit. We prove that: (1) fluctuations of the empirical measure from the solution of the Boltzmann equation, scaled with the square root of the average number of particles, converge to a Gaussian process driven by the fluctuating Boltzmann equation, as predicted in [67]; (2) large deviations are exponentially small in the average number of particles and are characterized, under regularity assumptions, by a large deviation functional as previously obtained in [61] for dynamics with stochastic collisions. The results are valid away from thermal equilibrium, but only for short times. Our strategy is based on uniform a priori bounds on the cumulant generating function, characterizing the fine structure of the small correlations.

math.AP↗
arXiv2020

On the radius of analyticity of solutions to semi-linear parabolic systems

We study the radius of analyticity~$R(t)$ in space, of strong solutions to systems of scale-invariant semi-linear parabolic equations. It is well-known that near the initial time,~$R(t)t^{-\frac12}$ is bounded from below by a positive constant. In this paper we prove that~$\displaystyle\liminf_{t\rightarrow 0} R(t)t^{-\frac12}= \infty$, and assuming higher regularity for the initial data, we obtain an improved lower bound near time zero. As an application, we prove that for any global solution~$u\in C([0,\infty); H^{\frac12}(\R^3))$ of the Navier-Stokes equations, there holds~$\displaystyle\liminf_{t\rightarrow \infty} R(t)t^{-\frac12}= \infty$.

math.AP↗
arXiv2020

Fluctuation theory in the Boltzmann--Grad limit

We develop a rigorous theory of hard-sphere dynamics in the kinetic regime, away from thermal equilibrium. In the low density limit, the empirical density obeys a law of large numbers and the dynamics is governed by the Boltzmann equation. Deviations from this behaviour are described by dynamical correlations, which can be fully characterized for short times. This provides both a fluctuating Boltzmann equation and large deviation asymptotics.

math.AP↗