-
Low regularity solutions for the general Quasilinear ultrahyperbolic Schrödinger equation
Authors:
Ben Pineau,
Mitchell A. Taylor
Abstract:
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 nontrap** 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…
▽ More
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 nontrap** 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.
△ Less
Submitted 29 October, 2023;
originally announced October 2023.
-
Sharp Hadamard local well-posedness, enhanced uniqueness and pointwise continuation criterion for the incompressible free boundary Euler equations
Authors:
Mihaela Ifrim,
Ben Pineau,
Daniel Tataru,
Mitchell A. Taylor
Abstract:
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 space…
▽ More
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.
△ Less
Submitted 29 September, 2023; v1 submitted 11 September, 2023;
originally announced September 2023.
-
Stable phase retrieval in function spaces
Authors:
D. Freeman,
T. Oikhberg,
B. Pineau,
M. A. Taylor
Abstract:
Let $(Ω,Σ,μ)$ be a measure space, and $1\leq p\leq \infty$. A subspace $E\subseteq L_p(μ)$ is said to do stable phase retrieval (SPR) if there exists a constant $C\geq 1$ such that for any $f,g\in E$ we have $$
\inf_{|λ|=1} \|f-λg\|\leq C\||f|-|g|\|. $$
In this case, if $|f|$ is known, then $f$ is uniquely determined up to an unavoidable global phase factor $λ$; moreover, the phase recovery ma…
▽ More
Let $(Ω,Σ,μ)$ be a measure space, and $1\leq p\leq \infty$. A subspace $E\subseteq L_p(μ)$ is said to do stable phase retrieval (SPR) if there exists a constant $C\geq 1$ such that for any $f,g\in E$ we have $$
\inf_{|λ|=1} \|f-λg\|\leq C\||f|-|g|\|. $$
In this case, if $|f|$ is known, then $f$ is uniquely determined up to an unavoidable global phase factor $λ$; moreover, the phase recovery map is $C$-Lipschitz. Phase retrieval appears in several applied circumstances, ranging from crystallography to quantum mechanics.
In this article, we construct various subspaces doing stable phase retrieval, and make connections with $Λ(p)$-set theory. Moreover, we set the foundations for an analysis of stable phase retrieval in general function spaces. This, in particular, allows us to show that Hölder stable phase retrieval implies stable phase retrieval, improving the stability bounds in a recent article of M. Christ and the third and fourth authors. We also characterize those compact Hausdorff spaces $K$ such that $C(K)$ contains an infinite dimensional SPR subspace.
△ Less
Submitted 10 October, 2022;
originally announced October 2022.
-
Examples of Hölder-stable Phase Retrieval
Authors:
Michael Christ,
Ben Pineau,
Mitchell A. Taylor
Abstract:
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$.
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$.
△ Less
Submitted 18 March, 2023; v1 submitted 30 April, 2022;
originally announced May 2022.
-
Global well-posedness for the generalized derivative nonlinear Schrödinger equation
Authors:
Ben Pineau,
Mitchell A. Taylor
Abstract:
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 regul…
▽ More
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.
△ Less
Submitted 8 December, 2021;
originally announced December 2021.
-
No pure capillary solitary waves exist in 2D finite depth
Authors:
Mihaela Ifrim,
Ben Pineau,
Daniel Tataru,
Mitchell A. Taylor
Abstract:
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.
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.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
New Regularity Criteria for the Navier-Stokes Equations in Terms of Pressure
Authors:
Benjamin Pineau,
Xinwei Yu
Abstract:
In this paper, we generalize the main results of [1] and [31] to Lorentz spaces, using a simple procedure. The main results are the following. Let $n\geq 3$ and let $u$ be a Leray-Hopf solution to the $n$-dimensional Navier-Stokes equations with viscosity $ν$ and divergence free initial condition $u_0\in L^2(\mathbb{R}^n)\cap L^{k}(\mathbb{R}^n)$ (where $k=k(s)$ is sufficiently large). Then there…
▽ More
In this paper, we generalize the main results of [1] and [31] to Lorentz spaces, using a simple procedure. The main results are the following. Let $n\geq 3$ and let $u$ be a Leray-Hopf solution to the $n$-dimensional Navier-Stokes equations with viscosity $ν$ and divergence free initial condition $u_0\in L^2(\mathbb{R}^n)\cap L^{k}(\mathbb{R}^n)$ (where $k=k(s)$ is sufficiently large). Then there exists a constant $c>0$ such that if \begin{equation} \|p\|_{L^{r,\infty}(0,\infty;L^{s,\infty}(\mathbb{R}^n))}<c\hspace{10mm}\frac{n}{s}+\frac{2}{r}\leq 2,\hspace{5mm}s>\frac{n}{2} \end{equation} or \begin{equation} \|\nabla p\|_{L^{r,\infty}(0,\infty;L^{s,\infty}(\mathbb{R}^n))}<c\hspace{10mm}\frac{n}{s}+\frac{2}{r}\leq 3,\hspace{5mm}s>\frac{n}{3} \end{equation} then $u$ is smooth on $(0, \infty) \times \mathbb{R}^n$. Partial results in the case $n=3$ were obtained in [32], [33] and then recently extended to all appropriate pairs of $r,s$ in [14]. Our results present a unified proof which works for all dimensions $n\geq 3$ and the full range or admissible pairs, $(s,r)$.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.