arXiv subjects

Ben Pineau

Publications and source records attributed to Ben Pineau.

12 recordsLinked to original sources

arXiv2026

On rotated backwards self-similar solutions of the incompressible 3D Navier-Stokes equations

We consider backwards globally self-similar solutions of the 3D incompressible Navier-Stokes equations which are invariant under the joint action of scaling (the natural parabolic scaling) and rotation about a given axis, at a constant angular speed $\alpha$ in self-similar time. For these so-called rotated self-similar solutions (RSS), we prove that if they satisfy a Type~I upper bound, and if the rotation parameter $\alpha$ is either too small, or too large, then they must be trivial. This Liouville-type result extends the classical works of Ne\v{c}as-R\r{u}\v{z}i\v{c}ka-\v{S}ver\'ak ('96) and Tsai ('98), which only consider $\alpha=0$, to the case of similarity profiles which experience nontrivial rotation. Our results partially answer a question posed by Perelman. For backwards globally self-similar solutions which are invariant under the discrete action of scaling and rotation, the so-called rotated discretely self-similar solutions (RDSS), we obtain similar Liouville-type results under a Type~I upper bound, assuming extreme values of the rotation parameter $\alpha$, and if the scaling factor $\lambda$ is sufficiently close to $1$. We also establish a new regularity criterion for 3D Navier-Stokes which is local in nature: if the solution satisfies a Type~I upper bound in a unit parabolic cylinder, and there is a single time-slice at which the solution is locally approximately self-similar, then the top-center of the parabolic cylinder is a regular point of the Navier-Stokes flow. The proof of all these results rests on the introduction of a robust weighted-$L^2$ framework. In particular, our method is quantitative and is not sensitive to whether the Bernoulli head pressure satisfies a maximum principle, which was a key obstruction in previous works.

math.AP↗

arXiv2026

$L^2$-Stability for STFT phase retrieval

We prove that the short-time Fourier transform with Gaussian window performs $L^2$-local stable phase retrieval at the constant function. The proof involved significant interplay between mathematicians and LLMs. An autoformalization in Lean 4 of an extension of our result to $L^2$-local stable phase retrieval for all Hermite windows and all elements in the finite span of the canonical basis vectors is also presented.

math.FA↗

arXiv2025

Cheeger's Constant for the Gabor Transform and Ripples

We discover a new instability mechanism for short-time Fourier transform phase retrieval which yields that for any reasonable window function $ϕ$ in any dimension $d$, the local stability constant $c(f)$ defined via \begin{equation*} \inf_{|λ|=1}\|f- λg\|_{M^p(\mathbb{R}^{d})}\leq c(f)\| |V_ϕf|-|V_ϕ g|\|_\mathcal{D}, \hspace{5mm} \forall g\in M^p(\mathbb{R}^d), \end{equation*} is infinite on a dense set of vectors for all weighted fractional Sobolev norms $\mathcal{D}$, up to the sharp maximal regularity level ensuring that the problem is well-defined. This, in particular, answers an open problem of Rathmair, who asked whether exponential concentration of the Gabor transform on $\mathbb{R}^2$ guaranteed a finite local stability constant. For the specific case of Gabor phase retrieval, we further show that there is a complementary dense set where the local stability constant on $\mathbb{R}^{2d}$ is finite. Our results extend and complement a series of fundamental stability theorems for Gabor phase retrieval which have been proven over the last ten years. Of particular note is the work of Grohs and Rathmair, who showed that for sufficiently strong weighted Sobolev norms $\mathcal{D}$ on $\mathbb{R}^{2d}$, the local stability constant for Gabor phase retrieval is bounded by the inverse of the Cheeger constant of the flat metric conformally multiplied by $|V_ϕf|$. As a consequence of our analysis, we determine two dense families of functions, one of which has associated Cheeger constant zero and the other strictly positive. We also revisit the stability problem for STFT phase retrieval on bounded subsets of the time-frequency plane, for more general windows, and for restricted signal classes, extending and simplifying many influential results in the literature.

math.CA↗

arXiv2025

A Poisson Formula for the Wave Propagator on Schwarzschild-de Sitter Backgrounds

This paper proposes a Poisson formula for the wave propagator of the Schwarzschild--de Sitter (SdS) metric. That is done by proving a Poisson formula relating wave propagators and scattering resonances for a class of non-compactly supported potentials on the real line. That class includes the Regge-Wheeler potentials obtained from separation of variables for SdS. The novelty lies in allowing non-compact supports -- all exact Poisson formulae of Lax-Phillips, Melrose, and other authors required compactness of the support of the perturbation. A key feature of the analysis is the presence of an exceptional class of potentials for which outgoing solutions may vanish at certain non-resonant frequencies. We identify and describe this class, which we call the resonant condition.

math.AP↗

arXiv2025

On the optimal Sobolev threshold for evolution equations with rough nonlinearities

In this article we are concerned with evolution equations of the form \begin{equation*} \partial_tu-A(D)u=F(u,\overline{u},\nabla u, \nabla \overline{u}) \end{equation*} where $A(D)$ is a Fourier multiplier of either dispersive or parabolic type and the nonlinear term $F$ is of limited regularity. Our objective is to develop a robust set of principles which can be used in many cases to predict the \emph{highest} Sobolev exponent $s=s(q,d)$ for which the above evolution is well-posed in $W_x^{s,q}(\mathbb{R}^d)$ (necessarily restricting to $q=2$ for dispersive problems). We will confirm the validity of these principles for two of the most important model problems; namely, the nonlinear Schrödinger and heat equations. More precisely, we will prove that the nonlinear heat equation \begin{equation*} \partial_tu-Δu=\pm |u|^{p-1}u, \hspace{5mm} p>1, \end{equation*} is well-posed in $W_x^{s,q}(\mathbb{R}^d)$ when $\max\{0,s_c\} 1$ was a rather longstanding open problem in the literature. As an immediate corollary of the fact that our ill-posedness threshold is dimension independent, we may conclude by taking $d\gg p$ that there are nonlinear Schrödinger equations which are ill-posed in \emph{every} Sobolev space $H_x^s(\mathbb{R}^d)$.

math.AP↗

arXiv2025

Global well-posedness for the generalized derivative nonlinear Schrödinger equation

We study the well-posedness of the generalized derivative nonlinear Schrödinger equation (gDNLS) $$iu_t+u_{xx}=i|u|^{2σ}u_x,$$ for small powers $σ$. We analyze this equation at both low and high regularity, and are able to establish global well-posedness in $H^s$ when $s\in [1,4σ)$ and $σ\in (\frac{\sqrt{3}}{2},1)$. Our result when $s=1$ is particularly relevant because it corresponds to the regularity of the energy for this problem. To our knowledge, this is the first low regularity well-posedness result for a quasilinear dispersive model where the nonlinearity is both rough and lacks the decay necessary for global smoothing type estimates. These two features pose considerable difficulty when trying to apply standard tools for closing low-regularity estimates. While the tools developed in this article are used to study gDNLS, we believe that they should be applicable in the study of local well-posedness for other dispersive equations of a similar character. It should also be noted that the high regularity well-posedness presents a novel issue, as the roughness of the nonlinearity limits the potential regularity of solutions. Our high regularity well-posedness threshold $s<4σ$ is twice as high as one might naïvely expect, given that the function $z\mapsto |z|^{2σ}$ is only $C^{1,2σ-1}$ Hölder continuous. Moreover, although we cannot prove $H^1$ well-posedness when $σ\leq \frac{\sqrt{3}}{2}$, we are able to establish $H^s$ well-posedness in the high regularity regime $s\in (2-σ,4σ)$ for the full range of $σ\in (\frac{1}{2},1)$. This considerably improves the known local results, which had only been established in either $H^2$ or in weighted Sobolev spaces.

math.AP↗

arXiv2025

Global solutions for cubic quasilinear ultrahyperbolic Schrödinger flows

In recent work, two of the authors proposed a broad global well-posedness conjecture for cubic quasilinear dispersive equations in two space dimensions, which asserts that global well-posedness and scattering holds for small initial data in Sobolev spaces. As a first validation they proved the conjecture for quasilinear Schrödinger flows. In the present article we expand the reach of these ideas and methods to the case of quasilinear ultrahyperbolic Schrödinger flows, which is the first example with a nonconvex dispersion relation. The study of local well-posedness for this class of problems, in all dimensions, was initiated in pioneering work of Kenig-Ponce-Vega for localized initial data, and then continued by Marzuola-Metcalfe-Tataru (MMT) and Pineau-Taylor (PT) for initial data in Sobolev spaces in the elliptic and non-elliptic cases, respectively. Our results here mirror the earlier results in the elliptic case: (i) a new, potentially sharp local well-posedness result in low regularity Sobolev spaces, one derivative below MMT and just one-half derivative above scaling, (ii) a small data global well-posedness and scattering result at the same regularity level. One key novelty in this setting is the introduction of a new family of interaction Morawetz functionals which are suitable for obtaining bilinear estimates in the ultrahyperbolic setting. We remark that this method appears to be robust enough to potentially be of use in a large data regime when the metric is not a small perturbation of a Euclidean one.

math.AP↗

arXiv2025

Sharp Hadamard local well-posedness, enhanced uniqueness and pointwise continuation criterion for the incompressible free boundary Euler equations

We provide a complete local well-posedness theory in $H^s$ based Sobolev spaces for the free boundary incompressible Euler equations with zero surface tension on a connected fluid domain. Our well-posedness theory includes: (i) Local well-posedness in the Hadamard sense, i.e., local existence, uniqueness, and the first proof of continuous dependence on the data, all in low regularity Sobolev spaces; (ii) Enhanced uniqueness: Our uniqueness result holds at the level of the Lipschitz norm of the velocity and the $C^{1,\frac{1}{2}}$ regularity of the free surface; (iii) Stability bounds: We construct a nonlinear functional which measures, in a suitable sense, the distance between two solutions (even when defined on different domains) and we show that this distance is propagated by the flow; (iv) Energy estimates: We prove refined, essentially scale invariant energy estimates for solutions, relying on a newly constructed family of elliptic estimates; (v) Continuation criterion: We give the first proof of a sharp continuation criterion in the physically relevant pointwise norms, at the level of scaling. In essence, we show that solutions can be continued as long as the velocity is in $L_T^1W^{1,\infty}$ and the free surface is in $L_T^1C^{1,\frac{1}{2}}$, which is at the same level as the Beale-Kato-Majda criterion for the boundaryless case; (vi) A novel proof of the construction of regular solutions. Our entire approach is in the Eulerian framework and can be adapted to work in more general fluid domains.

math.AP↗

arXiv2024

Low regularity solutions for the general quasilinear ultrahyperbolic Schrödinger equation

We present a novel method for establishing large data local well-posedness in low regularity Sobolev spaces for general quasilinear Schrödinger equations with non-degenerate and nontrapping metrics. Our result represents a definitive improvement over the landmark results of Kenig, Ponce, Rolvung and Vega, as it weakens the regularity and decay assumptions to the same scale of spaces considered by Marzuola, Metcalfe, and Tataru, but removes the uniform ellipticity assumption on the metric from their result. Our method has the additional benefit of being relatively simple but also very robust. In particular, it only relies on the use of pseudodifferential calculus for classical symbols.

math.AP↗

arXiv2024

Sharp well-posedness for the free boundary MHD equations

In this article, we provide a definitive well-posedness theory for the free boundary problem in incompressible magnetohyrodynamics. Despite the clear physical interest in this system and the remarkable progress in the study of the free boundary Euler equations in recent decades, the low regularity well-posedness of the free boundary MHD equations has remained completely open. This is due, in large part, to the highly nonlinear wave-type coupling between the velocity, magnetic field and free boundary, which has forced previous works to impose restrictive geometric constraints on the data. To address this problem, we introduce a novel Eulerian approach and an entirely new functional setting, which better captures the wave equation structure of the MHD equations and permits a complete Hadamard well-posedness theory in low-regularity Sobolev spaces. In particular, we give the first proofs of existence, uniqueness and continuous dependence on the data at the sharp $s>\frac{d}{2}+1$ Sobolev regularity, in addition to a blowup criterion for smooth solutions at the same low regularity scale. Moreover, we provide a completely new method for constructing smooth solutions which, to our knowledge, gives the first proof of existence (at any regularity) in our new functional setting. All of our results hold in arbitrary dimensions and in general, not necessarily simply connected, domains. By taking the magnetic field to be zero, they also recover the corresponding sharp well-posedness theorems for the free boundary Euler equations. The methodology and tools that we employ here can likely be fruitfully implemented in other free boundary models.

math.AP↗

arXiv2023

Examples of Hölder-stable Phase Retrieval

Examples are constructed of infinite-dimensional subspaces $V\subset L^2(μ)$ with the property that for any $f,g\in V$, if $|f|$ is approximately equal to $|g|$ with respect to the $L^2$ norm, then there exists a unimodular scalar $z$ such that $f$ is approximately equal to $zg$.

math.CA↗

arXiv2021

No pure capillary solitary waves exist in 2D finite depth

We prove that the 2D finite depth capillary water wave equations admit no solitary wave solutions. This closes the existence/non-existence problem for solitary water waves in 2D, under the classical assumptions of incompressibility and irrotationality, and with the physical parameters being gravity, surface tension and the fluid depth.

math.AP↗