Searcharxiv⌕ Search

arXiv subjects

Zaher Hani

Publications and source records attributed to Zaher Hani.

At least 19 recordsLinked to original sources
arXiv2025

Validity condition of normal form transformation for the $\beta$-FPUT system

In this work, we provide a validity condition for the normal form transformation to remove the non-resonant cubic terms in the $\beta$-FPUT system. We show that for a wave field with random phases, the normal form transformation is valid by dominant probability if $\beta \ll 1/N^{1+\epsilon}$, with $N$ the number of masses and $\epsilon$ an arbitrarily small constant. To obtain this condition, a bound is needed for a summation in the transformation equation, which we prove rigorously in the paper. The condition also suggests that the importance of the non-resonant terms in the evolution equation is governed by the parameter $\beta N$. We design numerical experiments to demonstrate that this is indeed the case for spectra at both thermal-equilibrium and out-of-equilibrium conditions. The methodology developed in this paper is applicable to other Hamiltonian systems where a normal form transformation needs to be applied.

math-ph↗
arXiv2025

Non-equilibrium steady state for a three-mode energy cascade model

Motivated by the central phenomenon of energy cascades in wave turbulence theory, we construct non-equilibrium statistical steady states (NESS), or invariant measures, for a simplified model derived from the nonlinear Schr\"odinger (NLS) equation with external forcing and dissipation. This new perspective to studying energy cascades, distinct from traditional analyses based on kinetic equations and their cascade spectra, focuses on the underlying statistical steady state that is expected to hold when the cascade spectra of wave turbulence manifest. In the full generality of the (infinite dimensional) nonlinear Schr\"odinger equation, constructing such invariant measures is more involved than the rigorous justification of the Kolmogorov-Zakharov (KZ) spectra, which itself remains an outstanding open question despite the recent progress on mathematical wave turbulence. Since such complexity remains far beyond the current knowledge (even for much simpler chain models), we confine our analysis to a three-mode reduced system that captures the resonant dynamics of the NLS equation, offering a tractable framework for constructing the NESS. For this, we introduce a novel approach based on solving an elliptic Feynman-Kac equation to construct the needed Lyapunov function.

math.PR↗
arXiv2025

Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory

In this paper, we rigorously derive the fundamental PDEs of fluid mechanics, such as the compressible Euler and incompressible Navier-Stokes-Fourier equations, starting from the hard sphere particle systems undergoing elastic collisions. This resolves Hilbert's sixth problem, as it pertains to the program of deriving the fluid equations from Newton's laws by way of Boltzmann's kinetic theory. The proof relies on the derivation of Boltzmann's equation on 2D and 3D tori, which is an extension of our previous work (arXiv:2408.07818).

math.AP↗
arXiv2024

Long time derivation of the Boltzmann equation from hard sphere dynamics

We provide a rigorous derivation of Boltzmann's kinetic equation from the hard sphere system for rarefied gas, which is valid for arbitrarily long times, as long as the solution to the Boltzmann equation exists. This extends Lanford's landmark theorem (1975), which justifies this derivation for a sufficiently short time. In a companion paper (arXiv:2503.01800), we connect this derivation to existing literature on hydrodynamic limits. This completes the resolution of Hilbert's Sixth Problem pertaining to the derivation of fluid equations from Newton's laws, in the case of a rarefied, hard sphere gas. The general strategy follows the paradigm introduced by the first two authors for the long-time derivation of the wave kinetic equation in wave turbulence theory. This is based on propagating a long-time cumulant ansatz, which keeps memory of the full collision history of the relevant particles, by an important partial time expansion. The heart of the matter is proving the smallness of these cumulants in $L^1$, which can be reduced to combinatorial properties for the associated diagrams which we call molecules. These properties are then proved by devising an elaborate cutting algorithm, which is a major novelty of this work.

math.AP↗
arXiv2024

Rigorous derivation of damped-driven wave turbulence theory

We provide a rigorous justification of various kinetic regimes exhibited by the nonlinear Schr\"{o}dinger equation with an additive stochastic forcing and a viscous dissipation. The importance of such damped-driven models stems from their wide empirical use in studying turbulence for nonlinear wave systems. The force injects energy into the system at large scales, which is then transferred across scales, thanks to the nonlinear wave interactions, until it is eventually dissipated at smaller scales. The presence of such scale-separated forcing and dissipation allows for the constant flux of energy in the intermediate scales, known as the inertial range, which is the focus of the vast amount of numerical and physical literature on wave turbulence. Roughly speaking, our results provide a rigorous kinetic framework for this turbulent behavior by proving that the stochastic dynamics can be effectively described by a deterministic damped-driven kinetic equation, which carries the full picture of the turbulent energy dynamic across scales (like cascade spectra or other flux solutions). The analysis extends previous works in the unperturbed setting arXiv:1912.09518-arXiv:2301.07063 to the above empirically motivated damped driven setting. Here, in addition to the size $L$ of the system, and the strength $\lambda$ of the nonlinearity, an extra thermodynamic parameter has to be included in the kinetic limit ($L\to \infty, \lambda\to 0$), namely the strength $\nu$ of the forcing and dissipation. Various regimes emerge depending on the relative sizes of $L$, $\lambda$ and $\nu$, which give rise to different kinetic equations. Two major novelties of this work is the extension of the Feynman diagram analysis to additive stochastic objects, and the sharp asymptotic development of the leading terms in that expansion.

math.AP↗
arXiv2024

Long time justification of wave turbulence theory

In a series of previous works (arXiv:2104.11204, arXiv:2110.04565, arXiv:2301.07063), we gave a rigorous derivation of the homogeneous wave kinetic equation (WKE) up to small multiples of the kinetic timescale, which corresponds to short time solutions to the wave kinetic equation. In this work, we extend this justification to arbitrarily long times that cover the full lifespan of the WKE. This is the first large data, long-time derivation ever obtained in any nonlinear (particle or wave) collisional kinetic limit.

math.AP↗
arXiv2024

Inhomogeneous turbulence for the Wick nonlinear Schrödinger equation

We introduce a simplified model for wave turbulence theory -- the Wick NLS, of which the main feature is the absence of all self-interactions in the correlation expansions of its solutions. For this model, we derive several wave kinetic equations that govern the effective statistical behavior of its solutions in various regimes. In the homogeneous setting, where the initial correlation is translation invariant, we obtain a wave kinetic equation similar to the one predicted by the formal theory. In the inhomogeneous setting, we obtain a wave kinetic equation that describes the statistical behavior of the wavepackets of the solutions, accounting for both the transport of wavepackets and collisions among them. Another wave kinetic equation, which seems new in the literature, also appears in a certain scaling regime of this setting and provides a more refined collision picture.

math.AP↗
arXiv2023

Derivation of the wave kinetic equation: full range of scaling laws

This paper completes the program started in arXiv:2104.11204 and arXiv:2110.04565 aiming at providing a full rigorous justification of the wave kinetic theory for the nonlinear Schrödinger (NLS) equation. Here, we cover the full range of scaling laws for the NLS on an arbitrary periodic rectangular box, and derive the wave kinetic equation up to small multiples of the kinetic time. The proof is based on a diagrammatic expansion and a deep analysis of the resulting Feynman diagrams. The main novelties of this work are three-fold: (1) we present a robust way to identify arbitrarily large "bad" diagrams which obstruct the convergence of the Feynman diagram expansion, (2) we systematically uncover intricate cancellations among these large "bad" diagrams, and (3) we present a new robust algorithm to bound all remaining diagrams and prove convergence of the expansion. These ingredients are highly robust, and constitute a powerful new approach in the geneal mathematical study of Feynman diagrams.

math.AP↗
arXiv2023

Full derivation of the wave kinetic equation

We provide the rigorous derivation of the wave kinetic equation from the cubic nonlinear Schrödinger (NLS) equation at the kinetic timescale, under a particular scaling law that describes the limiting process. This solves a main conjecture in the theory of wave turbulence, i.e. the kinetic theory of nonlinear wave systems. Our result is the wave analog of Lanford's theorem on the derivation of the Boltzmann kinetic equation from particle systems, where in both cases one takes the thermodynamic limit as the size of the system diverges to infinity, and as the interaction strength of waves or radius of particles vanishes to $0$, according to a particular scaling law (Boltzmann-Grad in the particle case). More precisely, in dimensions $d\geq 3$, we consider the (NLS) equation in a large box of size $L$ with a weak nonlinearity of strength $α$. In the limit $L\to\infty$ and $α\to 0$, under the scaling law $α\sim L^{-1}$, we show that the long-time behavior of (NLS) is statistically described by the wave kinetic equation, with well justified approximation, up to times that are $O(1)$ (i.e independent of $L$ and $α$) multiples of the kinetic timescale $T_{\text{kin}}\sim α^{-2}$. This is the first result of its kind for any nonlinear dispersive system.

math.AP↗
arXiv2022

Rigorous justification of the wave kinetic theory

The main purpose of this expository note is to give a short account of the recent developments in mathematical wave kinetic theory. After reviewing the physical theory, we explain the importance of the notion of a scaling law, which dictates the relation between the asymptotic parameters as the kinetic limit is taken. This sets some natural limitations on the kinetic approximation that were not precisely understood in the literature as far as we know. We then describe our recent and upcoming works that give the first full, mathematically rigorous, derivation of the wave kinetic theory at the natural kinetic timescale. The key new ingredient is a delicate analysis of the diagrammatic expansion that allows to a) uncover highly elaborate cancellations at arbitrary large order of diagrams, and b) overcome difficulties coming from factorial divergences in the expansion and the criticality of the problem. The results mentioned in this note appear in our recent works [16, 17] as well as an upcoming one in [18].

math.AP↗
arXiv2022

Propagation of chaos and the higher order statistics in the wave kinetic theory

This manuscript continues and extends in various directions the result in arXiv:2104.11204, which gave a full derivation of the wave kinetic equation (WKE) from the nonlinear Schrödinger (NLS) equation in dimensions $d\geq 3$. The wave kinetic equation describes the effective dynamics of the second moments of the Fourier modes of the NLS solution at the kinetic timescale, and in the kinetic limit in which the size of the system diverges to infinity and the strength of the nonlinearity vanishes asymptotically according to a specified scaling law. Here, we investigate the behavior of the joint distribution of these Fourier modes and derive their effective limit dynamics at the kinetic timescale. In particular, we prove propagation of chaos in the wave setting: initially independent Fourier modes retain this independence in the kinetic limit. Such statements are central to the formal derivations of all kinetic theories, dating back to the work of Boltzmann (Stosszahlansatz). We obtain this by deriving the asymptotics of the higher Fourier moments, which are given by solutions of the wave kinetic heirarchy (WKH) with factorized initial data. As a byproduct, we also provide a rigorous justification of this hierarchy for general (not necessarily factorized) initial data. We treat both Gaussian and non-Gaussian initial distributions. In the Gaussian setting, we prove propagation of Gaussianity as we show that the asymptotic distribution retains the Gaussianity of the initial data in the limit. In the non-Gaussian setting, we derive the limiting equations for the higher order moments, as well as for the density function (PDF) of the solution. Some of the results we prove were conjectured in the physics literature, others appear to be new. This gives a complete description of the statistics of the solutions in the kinetic limit.

math.AP↗
arXiv2019

On the derivation of the wave kinetic equation for NLS

A fundamental question in wave turbulence theory is to understand how the "wave kinetic equation" (WKE) describes the long-time dynamics of its associated nonlinear dispersive equation. Formal derivations in the physics literature date back to the work of Pieirls in 1928. For the cubic nonlinear Schrödinger equation, it is expected that such a kinetic description should hold, in a limiting regime where the size $L$ of the domain goes to infinity, and the strength $α$ of the nonlinearity goes to 0 (weak nonlinearity), at a kinetic time scale $T_{\mathrm{kin}}=O(α^{-2})$. In this paper, we study the rigorous justification of this monumental statement, and show that the answer seems to depend on the particular "scaling law" in which the $(α, L)$ limit is taken, in a spirit similar to how the Boltzmann-Grad scaling law is imposed in the derivation of Boltzmann's equation. In particular, there appears to be two favorable scaling laws: when $α$ approaches $0$ like $L^{-\varepsilon+}$ or like $L^{-1-\frac{\varepsilon}{2}+}$ (for arbitrary small $\varepsilon$), we exhibit the wave kinetic equation up to timescales $O(T_{\mathrm{kin}}L^{-\varepsilon})$, by showing that the relevant Feynman diagram expansions converge absolutely (as a sum over paired trees). For the other scaling laws, we justify the onset of the kinetic description at timescales $T_*\ll T_{\mathrm{kin}}$, and identify specific interactions that become very large for times beyond $T_*$. In particular, the relevant tree expansion diverges absolutely there. In light of those interactions, extending the kinetic description beyond $T_*$ towards $T_{\mathrm{kin}}$ for such scaling laws seems to require new methods and ideas.

math.AP↗
arXiv2018

Strong nonlinear instability and growth of Sobolev norms near quasiperiodic finite-gap tori for the 2D cubic NLS equation

We consider the defocusing cubic nonlinear Schrödinger equation (NLS) on the two-dimensional torus. The equation admits a special family of elliptic invariant quasiperiodic tori called finite-gap solutions. These are inherited from the integrable 1D model (cubic NLS on the circle) by considering solutions that depend only on one variable. We study the long-time stability of such invariant tori for the 2D NLS model and show that, under certain assumptions and over sufficiently long timescales, they exhibit a strong form of transverse instability in Sobolev spaces $H^s(\mathbb{T}^2)$ ($0<s<1$). More precisely, we construct solutions of the 2D cubic NLS that start arbitrarily close to such invariant tori in the $H^s$ topology and whose $H^s$ norm can grow by any given factor. This work is partly motivated by the problem of infinite energy cascade for 2D NLS, and seems to be the first instance where (unstable) long-time nonlinear dynamics near (linearly stable) quasiperiodic tori is studied and constructed.

math.AP↗
arXiv2017

Scattering for the 3D Gross-Pitaevskii equation

We study the Cauchy problem for the 3D Gross-Pitaevskii equation. The global well-posedness in the natural energy space was proved by Gérard \cite{Gerard}. In this paper we prove scattering for small data in the same space with some additional angular regularity, and in particular in the radial case we obtain small energy scattering.

math.AP↗
arXiv2016

Effective dynamics of the nonlinear Schrödinger equation on large domains

We consider the nonlinear Schrödinger (NLS) equation posed on the box $[0,L]^d$ with periodic boundary conditions. The aim is to describe the long-time dynamics by deriving effective equations for it when $L$ is large and the characteristic size $ε$ of the data is small. Such questions arise naturally when studying dispersive equations that are posed on large domains (like water waves in the ocean), and also in theory of statistical physics of dispersive waves, that goes by the name of "wave turbulence". Our main result is deriving a new equation, the continuous resonant (CR) equation, that describes the effective dynamics for large $L$ and small $ε$ over very large time-scales. Such time-scales are well beyond the (a) nonlinear time-scale of the equation, and (b) the Euclidean time-scale at which the effective dynamics are given by (NLS) on $\mathbb R^d$. The proof relies heavily on tools from analytic number theory, such as a relatively modern version of the Hardy-Littlewood circle method, which are modified and extended to be applicable in a PDE setting.

math.AP↗
arXiv2015

On the continuous resonant equation for NLS: I. Deterministic analysis

We study the continuous resonant (CR) equation which was derived by Faou-Germain-Hani as the large-box limit of the cubic nonlinear Schrödinger equation in the small nonlinearity (or small data) regime. We first show that the system arises in another natural way, as it also corresponds to the resonant cubic Hermite-Schrödinger equation (NLS with harmonic trapping). We then establish that the basis of special Hermite functions is well suited to its analysis, and uncover more of the striking structure of the equation. We study in particular the dynamics on a few invariant subspaces: eigenspaces of the harmonic oscillator, of the rotation operator, and the Bargmann-Fock space. We focus on stationary waves and their stability.

math.AP↗
arXiv2015

On the continuous resonant equation for NLS: II. Statistical study

We consider the continuous resonant (CR) system of the 2D cubic nonlinear Schr{ö}dinger (NLS) equation. This system arises in numerous instances as an effective equation for the long-time dynamics of NLS in confined regimes (e.g. on a compact domain or with a trapping potential). The system was derived and studied from a deterministic viewpoint in several earlier works, which uncovered many of its striking properties. This manuscript is devoted to a probabilistic study of this system. Most notably, we construct global solutions in negative Sobolev spaces, which leave Gibbs and white noise measures invariant. Invariance of white noise measure seems particularly interesting in view of the absence of similar results for NLS.

math.AP↗