arXiv subjects

Joackim Bernier

Publications and source records attributed to Joackim Bernier.

At least 19 recordsLinked to original sources

arXiv2026

Arbitrary high order splitting methods for linear Schr{ö}dinger equations with non-trivial compatibility conditions

Splitting methods are a natural choice for the numerical time integration of partial differential equations, and arbitrary high order splitting schemes exist for Schr{ö}dinger equations with periodic boundary conditions. However, in the presence of non-periodic boundary conditions, we show that they suffer in general from an order reduction, even for smooth initial conditions. The reason for such order reduction phenomena are so-called compatibility conditions, which are not preserved by classical splitting schemes. In this paper, we introduce a family of modified splitting methods for one-dimensional linear Schr{ö}dinger equations with homogeneous Dirichlet boundary conditions, which achieve an arbitrary high order, and do not suffer from any order reduction. This is illustrated with a fourth order splitting scheme considering initial conditions with various regularity properties.

math.NA↗

arXiv2025

Almost global existence for Hamiltonian PDEs on compact manifolds

We prove an abstract result of almost global existence of small solutions to semi-linear Hamiltonian partial differential equations satisfying very weak non resonance conditions and basic multilinear estimates. Thanks to works by Delort--Szeftel, these assumptions turn out to typically hold for Hamiltonian PDEs on any smooth compact boundaryless Riemannian manifold. As a main application, we prove the almost global existence of small solutions to nonlinear Klein--Gordon equations on such manifolds: for almost all mass, any arbitrarily large $r$ and sufficiently large $s$, solutions with initial data of sufficiently small size $\varepsilon \ll 1$ in the Sobolev space $H^s \times H^{s-1}$ exist and remain in $H^s \times H^{s-1}$ for polynomial times $|t| \leq \varepsilon^{-r}$. This is the first result of almost global existence without specific assumptions on the compact manifold. We also apply this abstract result to nonlinear Schr{ö}dinger equations close to ground states and nonlinear Klein--Gordon equations on $\mathbb{R}^d$ with positive quadratic potentials.

math.AP↗

arXiv2025

Long time stability for cubic nonlinear Schrödinger equations on non-rectangular flat tori

We consider nonlinear Schrödinger equations on flat tori satisfying a simple and explicit Diophantine non-degeneracy condition. Provided that the nonlinearity contains a cubic term, we prove the almost global existence and stability of most of the small solutions in high regularity Sobolev spaces. To this end, we develop a normal form approach designed to handle general resonant Hamiltonian partial differential equations for which it is possible to modulate the frequencies by using the initial data.

math.AP↗

arXiv2025

On almost periodic solutions to NLS without external parameters

In this note, we present a result established in [BGR24] where we prove that nonlinear Schrodinger equations on the circle, without external parameters, admit plenty of infinite dimensional non resonant invariant tori, or equivalently, plenty of almost periodic solutions. Our aim is to propose an extended sketch of the proof, emphasizing the new points which have enabled us to achieve this result.

math.AP↗

arXiv2025

Almost conservation of the harmonic actions for fully discretized nonlinear Klein--Gordon equations at low regularity

Close to the origin, the nonlinear Klein--Gordon equations on the circle are nearly integrable Hamiltonian systems which have infinitely many almost conserved quantities called harmonic actions or super-actions. We prove that, at low regularity and with a CFL number of size 1, this property is preserved if we discretize the nonlinear Klein--Gordon equations with the symplectic mollified impulse methods. This extends previous results of D. Cohen, E. Hairer and C. Lubich to non-smooth solutions.

math.AP↗

arXiv2025

Infinite dimensional invariant tori for nonlinear Schrödinger equations

We prove that nonlinear Schrödinger equations on the circle, without external parameters, admits plenty of almost periodic solutions. Indeed, we prove that arbitrarily close to most of the finite dimensional KAM tori constructed by Kuksin--Poschel in 1996, there exist infinite dimensional non resonant Kronecker tori, i.e. rotational invariant tori. This result answers a natural and longstanding question, well identified by the Hamiltonian PDE community since the first KAM-type result for PDEs by Kuksin in 1987.

math.AP↗

arXiv2024

Dynamics of quintic nonlinear Schr{ö}dinger equations in $H^{2/5+}(\mathbb{T})$

In this paper, we succeed in integrating Strichartz estimates (encoding the dispersive effects of the equations) in Birkhoff normal form techniques. As a consequence, we deduce a result on the long time behavior of quintic NLS solutions on the circle for small but very irregular initial data (in $H^s$ for $s > 2/5$). Note that since $2/5 < 1$, we cannot claim conservation of energy and, more importantly, since $2/5 < 1/2$, we must dispense with the algebra property of $H^s$. This is the first dynamical result where we use the dispersive properties of NLS in a context of Birkhoff normal form.

math.AP↗

arXiv2023

Exponential stability of solutions to the Schr{ö}dinger-Poisson equation

We prove an exponential stability result for the small solutions of the Schr{ö}dinger-Poisson equation on the circle without exterior parameters in Gevrey class. More precisely we prove that for most of the initial data of Gevrey-norm smaller than $\varepsilon$ small enough, the solution of the Schr{ö}dinger-Poisson equation remains smaller than $2\varepsilon$ for times of order $exp(α|\log \varepsilon|^2 / \log |\log \varepsilon|)$. We stress out that this is the optimal time expected for PDEs as conjectured by Jean Bourgain in [Bou04].

math.AP↗

arXiv2023

Symmetric-conjugate splitting methods for linear unitary problems

We analyze the preservation properties of a family of reversible splitting methods when they are applied to the numerical time integration of linear differential equations defined in the unitary group. The schemes involve complex coefficients and are conjugated to unitary transformations for sufficiently small values of the time step-size. New and efficient methods up to order six are constructed and tested on the linear Schrödinger equation.

math.NA↗

arXiv2023

Gains of integrability and local smoothing effects for quadratic evolution equations

We characterize geometrically the semigroups generated by non-selfadjoint quadratic differential operators $(e^{-tq^w})_{t\geq 0}$ enjoying local smoothing effects and providing gains of integrability. More precisely, we prove that the evolution operators $e^{-tq^w}$ map $L^{\mathfrak{p}}$ on $L^{\mathfrak{q}} \cap C^\infty$, for all $1\leq \mathfrak{p} \leq \mathfrak{q} \leq \infty$, if and only if the singular space of the quadratic operator $q^w$ is included in the graph of a linear map. We also provide quantitative estimates for the associated operator norms in the short-time asymptotics $0<t \ll 1$.

math.AP↗

arXiv2022

Almost global existence for some nonlinear Schr{ö}dinger equations on $\mathbb{T}^d$ in low regularity

We are interested in the long time behavior of solutions of the nonlinear Schr{ö}dinger equation on the $d$-dimensional torus in low regularity, i.e. for small initial data in the Sobolev space $H^{s_0}(\mathbb T^d)$ with $s_0>d/2$. We prove that, even in this context of low regularity, the $H^s$-norms, $s\geq 0$, remain under control during times, $T_\varepsilon= \exp \big(-\frac{|\log\varepsilon|^2}{4\log|\log\varepsilon|} \big)$, exponential with respect to the initial size of the initial datum in $H^{s_0}$, $\|u(0)\|_{H^{s_0}}=\varepsilon$. For this, we add to the linear part of the equation a random Fourier multiplier in $\ell^\infty(\mathbb Z^d)$ and show our stability result for almost any realization of this multiplier. In particular, with such Fourier multipliers, we obtain the almost global well posedness of the nonlinear Schr{ö}dinger equation on $H^{s_0}(\mathbb T^d)$ for any $s_0>d/2$ and any $d\geq1$.

math.AP↗

arXiv2021

Polar decomposition of semigroups generated by non-selfadjoint quadratic differential operators and regularizing effects

We characterize geometrically the regularizing effects of the semigroups generated by accretive non-selfadjoint quadratic differential operators. As a byproduct, we establish the subelliptic estimates enjoyed by these operators, being expected to be optimal. These results prove conjectures by M. Hitrik, K. Pravda-Starov and J. Viola. The proof relies on a new representation of the polar decomposition of these semigroups. In particular, we identify the selfadjoint part as the evolution operator generated by the Weyl quantization of a time-dependent real-valued nonnegative quadratic form for which we prove a sharp anisotropic lower bound.

math.AP↗

arXiv2021

Dynamics of nonlinear Klein-Gordon equations in low regularity on S^2

We describe the long time behavior of small non-smooth solutions to the nonlinear Klein-Gordon equations on the sphere S^2. More precisely, we prove that the low harmonic energies (also called super-actions) are almost preserved for times of order $ε$^--r , where r >> 1 is an arbitrarily large number and $ε$ << 1 is the norm of the initial datum in the energy space H^1 x L^2. Roughly speaking, it means that, in order to exchange energy, modes have to oscillate at the same frequency. The proof relies on new multilinear estimates on Hamiltonian vector fields to put the system in Birkhoff normal form. They are derived from new probabilistic bounds on products of Laplace eigenfunctions that we obtain using Levy's concentration inequality.

math.AP↗

arXiv2021

Birkhoff normal forms for Hamiltonian PDEs in their energy space

We study the long time behavior of small solutions of semi-linear dispersive Hamiltonian partial differential equations on confined domains. Provided that the system enjoys a new non-resonance condition and a strong enough energy estimate, we prove that its low super-actions are almost preserved for very long times. Roughly speaking, it means that, to exchange energy, modes have to oscillate at the same frequency. Contrary to the previous existing results, we do not require the solutions to be especially smooth. They only have to live in the energy space. We apply our result to nonlinear Klein-Gordon equations in dimension d = 1 and nonlinear Schr{ö}dinger equations in dimension d $\le$ 2.

math.AP↗

arXiv2020

Exact splitting methods for semigroups generated by inhomogeneous quadratic differential operators

We introduce some general tools to design exact splitting methods to compute numerically semigroups generated by inhomogeneous quadratic differential operators. More precisely, we factorize these semigroups as products of semigroups that can be approximated efficiently, using, for example, pseudo-spectral methods. We highlight the efficiency of these new methods on the examples of the magnetic linear Schr{ö}dinger equations with quadratic potentials, some transport equations and some Fokker-Planck equations.

math.AP↗

arXiv2020

Long-time existence for semi-linear beam equations on irrational tori

We consider the semi-linear beam equation on the d dimensional irrational torus with smooth nonlinearity of order n -- 1 with n $\ge$ 3 and d $\ge$ 2. If $ε$ $\ll$ 1 is the size of the initial datum, we prove that the lifespan T$ε$ of solutions is O($ε$ --A(n--2) --) where A $\not\equiv$ A(d, n) = 1 + 3 d--1 when n is even and A = 1 + 3 d--1 + max(4--d d--1 , 0) when n is odd. For instance for d = 2 and n = 3 (quadratic nonlinearity) we obtain T$ε$ = O($ε$ --6 --), much better than O($ε$ --1), the time given by the local existence theory. The irrationality of the torus makes the set of differences between two eigenvalues of $\sqrt$ $Δ$ 2 + 1 accumulate to zero, facilitating the exchange between the high Fourier modes and complicating the control of the solutions over long times. Our result is obtained by combining a Birkhoff normal form step and a modified energy step.

math.AP↗

arXiv2020

Smoothing Properties of Fractional Ornstein-Uhlenbeck Semigroups and Null-Controllability

We study fractional hypoelliptic Ornstein-Uhlenbeck operators acting on $L^2(\mathbb{R}^n)$ satisfying the Kalman rank condition. We prove that the semigroups generated by these operators enjoy Gevrey regularizing effects. Two byproducts are derived from this smoothing property. On the one hand, we prove the null-controllability in any positive time from thick control subsets of the associated parabolic equations posed on the whole space. On the other hand, by using interpolation theory, we get global $L^2$ subelliptic estimates for the these operators.

math.AP↗

arXiv2020

Long time dynamics for generalized Korteweg-de Vries and Benjamin-Ono equations

We provide an accurate description of the long time dynamics of the solutions of the generalized Korteweg-De Vries (gKdV) and Benjamin-Ono (gBO) equations on the one dimension torus, without external parameters, and that are issued from almost any (in probability and in density) small and smooth initial data. We stress out that these two equations have unbounded nonlinearities. In particular, we prove a long-time stability result in Sobolev norm: given a large constant r and a sufficiently small parameter $ε$, for generic initial datum u(0) of size $ε$, we control the Sobolev norm of the solution u(t) for times of order $ε$^{--r}. These results are obtained by putting the system in rational normal form : we conjugate, up to some high order remainder terms, the vector fields of these equations to integrable ones on large open sets surrounding the origin in high Sobolev regularity.

math.AP↗