Source author record

Isabelle Gallagher

Isabelle Gallagher appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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].

preprint2022arXiv

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

In this article, we investigate spectral properties of the sublaplacian $-Δ_{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(-Δ_{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.

preprint2022arXiv

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.

preprint2021arXiv

Strichartz estimates and Fourier restriction theorems on the Heisenberg group

This paper is dedicated to the proof of Strichartz estimates on the Heisenberg group $\mathbb{H}^d$ for the linear Schrödinger and wave equations involving the sublaplacian. The Schrödinger equation on $\mathbb{H}^d$ is an example of a totally non-dispersive evolution equation: for this reason the classical approach that permits to obtain Strichartz estimates from dispersive estimates is not available. Our approach, inspired by the Fourier transform restriction method initiated by Tomas and Stein, is based on Fourier restriction theorems on $\mathbb{H}^d$, using the non-commutative Fourier transform on the Heisenberg group. It enables us to obtain also an anisotropic Strichartz estimate for the wave equation, for a larger range of indices than was previously known.

preprint2020arXiv

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.

preprint2020arXiv

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$.

preprint2016arXiv

Blow-up of critical Besov norms at a potential Navier-Stokes singularity

We prove that if an initial datum to the incompressible Navier-Stokes equations in any critical Besov space $\dot B^{-1+\frac 3p}_{p,q}(\mathbb{R}^3)$, with $3 <p,q< \infty$, gives rise to a strong solution with a singularity at a finite time $T>0$, then the norm of the solution in that Besov space becomes unbounded at time $T$. This result, which treats all critical Besov spaces where local existence is known, generalizes the result of Escauriaza, Seregin and Sverak (Uspekhi Mat. Nauk 58(2(350)):3-44, 2003) concerning suitable weak solutions blowing up in $L^3(\mathbb{R}^3)$. Our proof uses profile decompositions and is based on our previous work (Math. Ann. 355(4):1527--1559, 2013) which provided an alternative proof of the $L^3(\mathbb{R}^3)$ result. For very large values of $p$, an iterative method, which may be of independent interest, enables us to use some techniques from the $L^3(\mathbb{R}^3)$ setting. (To appear in Communications in Mathematical Physics.)

preprint2016arXiv

Dispersive estimates for the Schrödinger operator on step 2 stratified Lie groups

The present paper is dedicated to the proof of dispersive estimates on stratified Lie groups of step 2, for the linear Schrödinger equation involving a sublaplacian. It turns out that the propagator behaves like a wave operator on a space of the same dimension p as the center of the group, and like a Schrödinger operator on a space of the same dimension k as the radical of the canonical skew-symmetric form, which suggests a decay with exponant -(k+p-1)/2. In this article, we identify a property of the canonical skew-symmetric form under which we establish optimal dispersive estimates with this rate. The relevance of this property is discussed through several examples.

preprint2016arXiv

From hard sphere dynamics to the Stokes-Fourier equations: An $L^2$ analysis of the Boltzmann-Grad limit

We derive the linear acoustic and Stokes-Fourier equations as the limiting dynamics of a system of N hard spheres of diameter $ε$ in two space dimensions, when N $\rightarrow$ $\infty$, $ε$ $\rightarrow$ 0, N $ε$ = $α$ $\rightarrow$ $\infty$, using the linearized Boltzmann equation as an intermediate step. Our proof is based on Lanford's strategy [18], and on the pruning procedure developed in [5] to improve the convergence time to all kinetic times with a quantitative control which allows us to reach also hydrodynamic time scales. The main novelty here is that uniform L 2 a pri-ori estimates combined with a subtle symmetry argument provide a weak version of chaos, in the form of a cumulant expansion describing the asymptotic decorrelation between the particles. A refined geometric analysis of recollisions is also required in order to discard the possibility of multiple recollisions.

preprint2016arXiv

One-sided convergence in the Boltzmann-Grad limit

We review various contributions on the fundamental work of Lanford deriving the Boltzmann equation from hard-sphere dynamics in the low density limit. We focus especially on the assumptions made on the initial data and on how they encode irreversibility. The impossibility to reverse time in the Boltzmann equation (expressed for instance by Boltzmann's H-theorem) is related to the lack of convergence of higher order marginals on some singular sets. Explicit counterexamples single out the microscopic sets where the initial data should converge in order to produce the Boltzmann dynamics.

preprint2016arXiv

Well-posedness of linearized Taylor equations in magnetohydrodynamics

This paper is a first step in the study of the so-called Taylor model, introduced by J.B. Taylor in \cite{Taylor}. This system of nonlinear PDE's is derived from the viscous incompressible MHD equations, through an asymptotics relevant to the Earth's magnetic field. We consider here a simple class of linearizations of the Taylor model, for which we show well-posedness.

preprint2015arXiv

Limite de diffusion linéaire pour un système déterministe de sphères dures

We provide a rigorous derivation of the brownian motion as the hydrodynamic limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0,$ in the fast relaxation limit $N\varepsilon^{d-1}\to \infty $ (with a suitable scaling of the observation time and length). As suggested by Hilbert in his sixth problem, we use Boltzmann's kinetic theory as an intermediate level of description for the gas close to global equilibrium. Our proof relies on the fundamental ideas of Lanford. The main novelty is the detailed study of the branching process, leading to explicit estimates on pathological collision trees.

preprint2015arXiv

The Brownian motion as the limit of a deterministic system of hard-spheres

We provide a rigorous derivation of the brownian motion as the limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0$, in the fast relaxation limit $α= N\varepsilon^{d-1}\to \infty $ (with a suitable diffusive scaling of the observation time). As suggested by Hilbert in his sixth problem, we rely on a kinetic formulation as an intermediate level of description between the microscopic and the fluid descriptions: we use indeed the linear Boltzmann equation to describe one tagged particle in a gas close to global equilibrium. Our proof is based on the fundamental ideas of Lanford. The main novelty here is the detailed study of the branching process, leading to explicit estimates on pathological collision trees.

preprint2013arXiv

From Newton to Boltzmann: hard spheres and short-range potentials

We provide a rigorous derivation of the Boltzmann equation as the mesoscopic limit of systems of hard spheres, or Newtonian particles interacting via a short-range potential, as the number of particles $N$ goes to infinity and the characteristic length of interaction $\e$ simultaneously goes to $0,$ in the Boltzmann-Grad scaling $N \e^{d-1} \equiv 1.$ The time of validity of the convergence is a fraction of the average time of first collision, due to a limitation of the time on which one can prove uniform estimates for the BBGKY and Boltzmann hierarchies. Our proof relies on the fundamental ideas of Lanford, and the important contributions of King, Cercignani, Illner and Pulvirenti, and Cercignani, Gerasimenko and Petrina. The main novelty here is the detailed study of pathological trajectories involving recollisions, which proves the term-by-term convergence for the correlation series expansion.

preprint2013arXiv

On the stability in weak topology of the set of global solutions to the Navier-Stokes equations

Let $X$ be a suitable function space and let $\cG \subset X$ be the set of divergence free vector fields generating a global, smooth solution to the incompressible, homogeneous three dimensional Navier-Stokes equations. We prove that a sequence of divergence free vector fields converging in the sense of distributions to an element of $\cG$ belongs to $\cG$ if $n$ is large enough, provided the convergence holds "anisotropically" in frequency space. Typically that excludes self-similar type convergence. Anisotropy appears as an important qualitative feature in the analysis of the Navier-Stokes equations; it is also shown that initial data which does not belong to $\cG$ (hence which produces a solution blowing up in finite time) cannot have a strong anisotropy in its frequency support.

preprint2013arXiv

Phase-space analysis and pseudodifferential calculus on the Heisenberg group

A class of pseudodifferential operators on the Heisenberg group is defined. As it should be, this class is an algebra containing the class of differential operators. Furthermore, those pseudodifferential operators act continuously on Sobolev spaces and the loss of derivatives may be controled by the order of the operator. Although a large number of works have been devoted in the past to the construction and the study of algebras of variable-coefficient operators, including some very interesting works on the Heisenberg group, our approach is different, and in particular puts into light microlocal directions and completes, with the Littlewood-Paley theory developed in \cite{bgx} and \cite{bg}, a microlocal analysis of the Heisenberg group.

preprint2013arXiv

Phase-space analysis and pseudodifferential calculus on the Heisenberg group

This paper has been withdrawn by the authors. A class of pseudodifferential operators on the Heisenberg group is defined. As it should be, this class is an algebra containing the class of differential operators. Furthermore, those pseudodifferential operators act continuously on Sobolev spaces and the loss of derivatives may be controled by the order of the operator. Although a large number of works have been devoted in the past to the construction and the study of algebras of variable-coefficient operators, including some very interesting works on the Heisenberg group, our approach is different, and in particular puts into light microlocal directions and completes, with the Littlewood-Paley theory developed in \cite{bgx} and \cite{bg}, a microlocal analysis of the Heisenberg group.

preprint2013arXiv

Stability by rescaled weak convergence for the Navier-Stokes equations

We prove a weak stability result for the three-dimensional homogeneous incompressible Navier-Stokes system. More precisely, we investigate the following problem : if a sequence $(u_{0, n})_{n\in \N}$ of initial data, bounded in some scaling invariant space, converges weakly to an initial data $u_0$ which generates a global regular solution, does $u_{0, n}$ generate a global regular solution ? A positive answer in general to this question would imply global regularity for any data, through the following examples $u_{0,n} = n \vf_0(n\cdot)$ or $u_{0,n} = \vf_0(\cdot-x_n)$ with $|x_n|\to \infty$. We therefore introduce a new concept of weak convergence (rescaled weak convergence) under which we are able to give a positive answer. The proof relies on profile decompositions in anisotropic spaces and their propagation by the Navier-Stokes equations.

preprint2012arXiv

A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion

In this paper we continue to develop an alternative viewpoint on recent studies of Navier-Stokes regularity in critical spaces, a program which was started in the recent work by C. Kenig and the second author (Ann Inst H Poincaré Anal Non Linéaire 28(2):159-187, 2011). Specifically, we prove that strong solutions which remain bounded in the space $L^3(R^3)$ do not become singular in finite time, a known result established by Escauriaza, Seregin and Sverak (Uspekhi Mat Nauk 58(2(350)):3-44, 2003) in the context of suitable weak solutions. Here, we use the method of "critical elements" which was recently developed by Kenig and Merle to treat critical dispersive equations. Our main tool is a "profile decomposition" for the Navier-Stokes equations in critical Besov spaces which we develop here. As a byproduct of this tool, assuming a singularity-producing initial datum for Navier-Stokes exists in a critical Lebesgue or Besov space, we show there is one with minimal norm, generalizing a result of Rusin and Sverak (J Funct Anal 260(3):879-891, 2011).

preprint2012arXiv

Stability estimates for an inverse scattering problem at high frequencies

We consider an inverse scattering problem and its near-field approximation at high frequencies. We first prove, for both problems, Lipschitz stability results for determining the low-frequency component of the potential. Then we show that, in the case of a radial potential supported sufficiently near the boundary, infinite resolution can be achieved from measurements of the near-field operator in the monotone case.

preprint2012arXiv

The role of spectral anisotropy in the resolution of the three-dimensional Navier-Stokes equations

We present different classes of initial data to the three-dimensional, incompressible Navier-Stokes equations, which generate a global in time, unique solution though they may be arbitrarily large in the end-point function space in which a fixed-point argument may be used to solve the equation locally in time. The main feature of these initial data is an anisotropic distribution of their frequencies. One of those classes is taken from previous papers by two of the authors and collaborators, and another one is new.

preprint2011arXiv

Multi-scale analysis of compressible viscous and rotating fluids

We study a singular limit for the compressible Navier-Stokes system when the Mach and Rossby numbers are proportional to certain powers of a small parameter $\ep$. If the Rossby number dominates the Mach number, the limit problem is represented by the 2-D incompressible Navier-Stokes system describing the horizontal motion of vertical averages of the velocity field. If they are of the same order then the limit problem turns out to be a linear, 2-D equation with a unique radially symmetric solution. The effect of the centrifugal force is taken into account.

preprint2010arXiv

On the propagation of oceanic waves driven by a strong macroscopic flow

In this work we study oceanic waves in a shallow water flow subject to strong wind forcing and rotation, and linearized around a inhomogeneous (non zonal) stationary profile. This extends the study \cite{CGPS}, where the profile was assumed to be zonal only and where explicit calculations were made possible due to the 1D setting. Here the diagonalization of the system, which allows to identify Rossby and Poincaré waves, is proved by an abstract semi-classical approach. The dispersion of Poincaré waves is also obtained by a more abstract and more robust method using Mourre estimates. Only some partial results however are obtained concerning the Rossby propagation, as the two dimensional setting complicates very much the study of the dynamical system.

preprint2010arXiv

Sums of large global solutions to the incompressible Navier-Stokes equations

Let G be the (open) set of~$\dot H^{\frac 1 2}$ divergence free vector fields generating a global smooth solution to the three dimensional incompressible Navier-Stokes equations. We prove that any element of G can be perturbed by an arbitrarily large, smooth divergence free vector field which varies slowly in one direction, and the resulting vector field (which remains arbitrarily large) is an element of G if the variation is slow enough. This result implies that through any point in G passes an uncountable number of arbitrarily long segments included in G.