Source author record

Justin Holmer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

19works
3topics
4close collaborators

Published work

19 publications

preprint2022arXiv

Benjamin-Ono Soliton Dynamics in a slowly varying potential revisited

The Benjamin Ono equation with a slowly varying potential is (pBO)ut+(Hux−Vu+12u2)x=0 \text{(pBO)} \qquad u_t + (Hu_x-Vu + \tfrac12 u^2)_x=0 with V(x)=W(hx)V(x)=W(hx), 0<h≪10< h \ll 1, and W∈Cc∞(R)W\in C_c^\infty(\mathbb{R}), and HH denotes the Hilbert transform. The soliton profile is Qa,c(x)=cQ(c(x−a)) , where Q(x)=41+x2Q_{a,c}(x) = cQ(c(x-a)) \,, \text{ where } Q(x) = \frac{4}{1+x^2} and a∈Ra\in \mathbb{R}, c>0c>0 are parameters. For initial condition u0(x)u_0(x) to (pBO) close to Q0,1(x)Q_{0,1}(x), it was shown in a previous work by Z. Zhang that the solution u(x,t)u(x,t) to (pBO) remains close to Qa(t),c(t)(x)Q_{a(t),c(t)}(x) and approximate parameter dynamics for (a,c)(a,c) were provided, on a dynamically relevant time scale. In this paper, we prove exact (a,c)(a,c) parameter dynamics. This is achieved using the basic framework of the previous work by Z. Zhang but adding a local virial estimate for the linearization of (pBO) around the soliton. This is a local-in-space estimate averaged in time, often called a local smoothing estimate, showing that effectively the remainder function in the perturbation analysis is smaller near the soliton than globally in space. A weaker version of this estimate is proved in a paper by Kenig & Martel as part of a "linear Liouville" result, and we have adapted and extended their proof for our application.

preprint2022arXiv

Quantitative Derivation and Scattering of the 3D Cubic NLS in the Energy Space

We consider the derivation of the defocusing cubic nonlinear Schrödinger equation (NLS) on R3\mathbb{R}^{3} from quantum NN-body dynamics. We reformat the hierarchy approach with Klainerman-Machedon theory and prove a bi-scattering theorem for the NLS to obtain convergence rate estimates under H1H^{1} regularity. The H1H^{1} convergence rate estimate we obtain is almost optimal for H1H^{1} datum, and immediately improves if we have any extra regularity on the limiting initial one-particle state.

preprint2020arXiv

Asymptotic stability of solitary waves of the 3D quadratic Zakharov-Kuznetsov equation

We consider the quadratic Zakharov-Kuznetsov equation ∂tu+∂xΔu+∂xu2=0 \partial_t u + \partial_x Δu + \partial_x u^2 =0 on R3\mathbb{R}^3. A solitary wave solution is given by Q(x−t,y,z)Q(x-t,y,z), where QQ is the ground state solution to −Q+ΔQ+Q2=0-Q + ΔQ + Q^2 =0. We prove the asymptotic stability of these solitary wave solutions. Specifically, we show that initial data close to QQ in the energy space, evolves to a solution that, as t→∞t\to\infty, converges to a rescaling and shift of Q(x−t,y,z)Q(x-t,y,z) in L2L^2 in a rightward shifting region x>δt−tan⁡θy2+z2x> δt -\tan θ\sqrt{y^2+z^2} for 0≤θ≤π3−δ0 \leq θ\leq \fracπ{3}-δ.

preprint2020arXiv

The Unconditional Uniqueness for the Energy-critical Nonlinear Schrödinger Equation on T4\mathbb{T}^{4}

We consider the T4\mathbb{T}^{4} cubic NLS which is energy-critical. We study the unconditional uniqueness of solution to the NLS via the cubic Gross-Pitaevskii hierarchy, an uncommon method, and does not require the existence of solution in Strichartz type spaces. We prove UU-VV multilinear estimates to replace the previously used Sobolev multilinear estimates, which fail on T4\mathbb{T}^{4}. To incorporate the weaker estimates, we work out new combinatorics from scratch and compute, for the first time, the time integration limits, in the recombined Duhamel-Born expansion. The new combinatorics and the UU-VV estimates then seamlessly conclude the H1H^{1} unconditional uniqueness for the NLS under the infinite hierarchy framework. This work establishes a unified schemes to prove H1H^{1} uniqueness for the R3/R4/T3/T4\mathbb{R}^{3}/\mathbb{R}^{4}/\mathbb{T}^{3}/\mathbb{T}^{4} energy-critical Gross-Pitaevskii hierarchies and thus the corresponding NLS.

preprint2015arXiv

Blow-up for the 1D nonlinear Schrödinger equation with point nonlinearity I: Basic theory

We consider the 1D nonlinear Schrödinger equation (NLS) with focusing point nonlinearity, (δNLS)i∂tψ+∂x2ψ+δ∣ψ∣p−1ψ=0, (δ\text{NLS}) \qquad i\partial_tψ+ \partial_x^2ψ+ δ|ψ|^{p-1}ψ= 0, where δ=δ(x)δ=δ(x) is the delta function supported at the origin. We show that δδNLS shares many properties in common with those previously established for the focusing autonomous translationally-invariant NLS (NLS)i∂tψ+Δψ+∣ψ∣p−1ψ=0 . (\text{NLS}) \qquad i\partial_t ψ+ Δψ+ |ψ|^{p-1}ψ=0 \,. The critical Sobolev space H˙σc\dot H^{σ_c} for δδNLS is σc=12−1p−1σ_c=\frac12-\frac{1}{p-1}, whereas for NLS it is σc=d2−2p−1σ_c=\frac{d}{2}-\frac{2}{p-1}. In particular, the L2L^2 critical case for δδNLS is p=3p=3. We prove several results pertaining to blow-up for δδNLS that correspond to key classical results for NLS. Specifically, we (1) obtain a sharp Gagliardo-Nirenberg inequality analogous to Weinstein (1983), (2) apply the sharp Gagliardo-Nirenberg inequality and a local virial identity to obtain a sharp global existence/blow-up threshold analogous to Weinstein (1983), Glassey (1977) in the case σc=0σ_c=0 and Duyckaerts, Holmer, & Roudenko (2008), Guevara (2014), and Fang, Xie, & Cazenave (2011) for 0<σc<10<σ_c<1, (3) prove a sharp mass concentration result in the L2L^2 critical case analogous to Tsutsumi (1990), Merle & Tsutsumi (1990) and (4) show that minimal mass blow-up solutions in the L2L^2 critical case are pseudoconformal transformations of the ground state, analogous to Merle (1993).

preprint2015arXiv

On the Klainerman-Machedon Conjecture of the Quantum BBGKY Hierarchy with Self-interaction

We consider the 3D quantum BBGKY hierarchy which corresponds to the NN-particle Schrödinger equation. We assume the pair interaction is N3β−1V(Nβ∙).N^{3β-1}V(N^β\bullet). For interaction parameter β∈(0,23)β\in(0,\frac23), we prove that, as N→∞,N\rightarrow \infty , the limit points of the solutions to the BBGKY hierarchy satisfy the space-time bound conjectured by Klainerman-Machedon in 2008. This allows for the application of the Klainerman-Machedon uniqueness theorem, and hence implies that the limit is uniquely determined as a tensor product of solutions to the Gross-Pitaevski equation when the NN-body initial data is factorized. The first result in this direction in 3D was obtained by T. Chen and N. Pavlović (2011) for β∈(0,14)β\in (0,\frac14) and subsequently by X. Chen (2012) for β∈(0,27]β\in (0,\frac27]. We build upon the approach of X. Chen but apply frequency localized Klainerman-Machedon collapsing estimates and the endpoint Strichartz estimate in the estimate of the potential part to extend the range to β∈(0,23)β\in (0,\frac23). Overall, this provides an alternative approach to the mean-field program by Erdös-Schlein-Yau (2007), whose uniqueness proof is based upon Feynman diagram combinatorics.

preprint2014arXiv

Correlation structures, Many-body Scattering Processes and the Derivation of the Gross-Pitaevskii Hierarchy

We consider the dynamics of NN bosons in three dimensions. We assume the pair interaction is given by N3β−1V(Nβ⋅)N^{3β-1}V(N^{β}\cdot ) . By studying an associated many-body wave operator, we introduce a BBGKY hierarchy which takes into account all of the interparticle singular correlation structures developed by the many-body evolution from the beginning. Assuming energy conditions on the NN-body wave function, for β∈(0,1]β\in \left( 0,1\right] , we derive the Gross-Pitaevskii hierarchy with 22-body interaction. In particular, we establish that, in the N→∞N\rightarrow \infty limit, all kk-body scattering processes vanishes if k⩾3k\geqslant 3 and thus provide a direct answer to a question raised by Erdös, Schlein, and Yau in [31]. Moreover, this new BBGKY hierarchy shares the limit points with the ordinary BBGKY hierarchy strongly for β∈(0,1)β\in \left( 0,1\right) and weakly for β=1β=1. Since this new BBGKY hierarchy converts the problem from a two-body estimate to a weaker three body estimate for which we have the estimates to achieve β<1β<1, it then allows us to prove that all limit points of the ordinary BBGKY hierarchy satisfy the space-time bound conjectured by Klainerman and Machedon in [47] for β∈(0,1)β\in \left( 0,1\right) .

preprint2013arXiv

Focusing Quantum Many-body Dynamics: The Rigorous Derivation of the 1D Focusing Cubic Nonlinear Schrödinger Equation

We consider the dynamics of N bosons in one dimension. We assume that the pair interaction is attractive and given by N^{β-1}V(N^β\cdot) where \int V\leqslant 0. We develop new techniques in treating the N-body Hamiltonian so that we overcome the difficulties generated by the attractive interaction and establish new energy estimates. We also prove the optimal 1D collapsing estimate which reduces the regularity requirement in the uniqueness argument by half a derivative. We derive rigorously the one dimensional focusing cubic NLS with a quadratic trap as the N->\infty limit of the N-body dynamic and hence justify the mean-field limit and prove the propagation of chaos for the focusing quantum many-body system.

preprint2012arXiv

A solution to the focusing 3d NLS that blows up on a contracting sphere

We rigorously construct radial H1H^1 solutions to the 3d cubic focusing NLS equation i∂tψ+Δψ+2∣ψ∣2ψ=0i\partial_t ψ+ Δψ+ 2 |ψ|^2ψ=0 that blow-up along a contracting sphere. With blow-up time set to t=0t=0, the solutions concentrate on a sphere at radius ∼t1/3\sim t^{1/3} but focus towards this sphere at the faster rate ∼t2/3\sim t^{2/3}. Such dynamics were originally proposed heuristically by Degtyarev-Zakharov-Rudakov (1975) and independently later in Holmer-Roudenko (2007), where it was demonstrated to be consistent with all conservation laws of this equation. In the latter paper, it was proposed as a solution that would yield divergence of the Lx3L_x^3 norm within the "wide" radius ∼∣∇u(t)∣Lx2−1/2\sim |\nabla u(t)|_{L_x^2}^{-1/2} but not within the "tight" radius ∼∣∇u(t)∣Lx2−2\sim |\nabla u(t)|_{L_x^2}^{-2}, the second being the rate of contraction of self-similar blow-up solutions observed numerically and described in detail in Chapter 7 of Sulem-Sulem (1998).

preprint2012arXiv

Low regularity bounds for mKdV

We study the local well-posedness in the Sobolev space H^s for the modified Korteweg-de Vries (mKdV) equation on the real line. Kenig-Ponce-Vega \cite{KPV2} and Christ-Colliander-Tao established that the data-to-solution map fails to be uniformly continuous on a fixed ball in H^s when s<1/4. In spite of this, we establish that for -1/8 < s < 1/4, the solution satisfies global in time H^s(R) bounds which depend only on the time and on the H^s(R) norm of the initial data. This result is weaker than global well-posedness, as we have no control on differences of solutions. Our proof is modeled on recent work by Christ-Colliander-Tao and Koch-Tataru employing a version of Bourgain's Fourier restriction spaces adapted to time intervals whose length depends on the spatial frequency.

preprint2012arXiv

On the rigorous derivation of the 2D cubic nonlinear Schrödinger equation from 3D quantum many-body dynamics

We consider the 3D quantum many-body dynamics describing a dilute bose gas with strong confining in one direction. We study the corresponding BBGKY hierarchy which contains a diverging coefficient as the strength of the confining potential tends to ∞\infty. We find that this diverging coefficient is counterbalanced by the limiting structure of the density matrices and establish the convergence of the BBGKY hierarchy. Moreover, we prove that the limit is fully described by a 2D cubic NLS and obtain the exact 3D to 2D coupling constant.

preprint2011arXiv

Phase-driven interaction of widely separated nonlinear Schrödinger solitons

We show that, for the 1d cubic NLS equation, widely separated equal amplitude in-phase solitons attract and opposite-phase solitons repel. Our result gives an exact description of the evolution of the two solitons valid until the solitons have moved a distance comparable to the logarithm of the initial separation. Our method does not use the inverse scattering theory and should be applicable to nonintegrable equations with local nonlinearities that support solitons with exponentially decaying tails. The result is presented as a special case of a general framework which also addresses, for example, the dynamics of single solitons subject to external forces.

preprint2010arXiv

A class of solutions to the 3d cubic nonlinear Schroedinger equation that blow-up on a circle

We consider the 3d cubic focusing nonlinear Schroedinger equation (NLS) i\partial_t u + Δu + |u|^2 u=0, which appears as a model in condensed matter theory and plasma physics. We construct a family of axially symmetric solutions, corresponding to an open set in H^1_{axial}(R^3) of initial data, that blow-up in finite time with singular set a circle in xy plane. Our construction is modeled on Raphaël's construction \cite{R} of a family of solutions to the 2d quintic focusing NLS, i\partial_t u + Δu + |u|^4 u=0, that blow-up on a circle.

preprint2010arXiv

Blow-up solutions on a sphere for the 3d quintic NLS in the energy space

We prove that if u(t)u(t) is a log-log blow-up solution, of the type studied by Merle-Raphaël (2001-2005), to the L2L^2 critical focusing NLS equation i∂tu+Δu+∣u∣4/du=0i\partial_t u +Δu + |u|^{4/d} u=0 with initial data u0∈H1(Rd)u_0\in H^1(\mathbb{R}^d) in the cases d=1,2d=1, 2, then u(t)u(t) remains bounded in H1H^1 away from the blow-up point. This is obtained without assuming that the initial data u0u_0 has any regularity beyond H1(Rd)H^1(\mathbb{R}^d). As an application of the d=1d=1 result, we construct an open subset of initial data in the radial energy space Hrad1(R3)H^1_{rad}(\mathbb{R}^3) with corresponding solutions that blow-up on a sphere at positive radius for the 3d quintic (H˙1\dot H^1-critical) focusing NLS equation i∂tu+Δu+∣u∣4u=0i\partial_tu + Δu + |u|^4u=0. This improves Raphaël-Szeftel (2009), where an open subset in Hrad3(R3)H^3_{rad}(\mathbb{R}^3) is obtained. The method of proof can be summarized as follows: on the whole space, high frequencies above the blow-up scale are controlled by the bilinear Strichartz estimates. On the other hand, outside the blow-up core, low frequencies are controlled by finite speed of propagation.

preprint2010arXiv

Divergence of infinite-variance nonradial solutions to the 3d NLS equation

We consider solutions u(t)u(t) to the 3d NLS equation i∂tu+Δu+∣u∣2u=0i\partial_t u + Δu + |u|^2u=0 such that ∥xu(t)∥L2=∞\|xu(t)\|_{L^2} = \infty and u(t)u(t) is nonradial. Denoting by M[u]M[u] and E[u]E[u], the mass and energy, respectively, of a solution uu, and by Q(x)Q(x) the ground state solution to −Q+ΔQ+∣Q∣2Q=0-Q+ΔQ+|Q|^2Q=0, we prove the following: if M[u]E[u]<M[Q]E[Q]M[u]E[u]<M[Q]E[Q] and ∥u0∥L2∥∇u0∥L2>∥Q∥L2∥∇Q∥L2\|u_0\|_{L^2}\|\nabla u_0\|_{L^2}>\|Q\|_{L^2}\|\nabla Q\|_{L^2}, then either u(t)u(t) blows-up in finite positive time or u(t)u(t) exists globally for all positive time and there exists a sequence of times tn→+∞t_n\to +\infty such that ∥∇u(tn)∥L2→∞\|\nabla u(t_n)\|_{L^2} \to \infty. Similar statements hold for negative time.

preprint2010arXiv

Dynamics of KdV solitons in the presence of a slowly varying potential

We study the dynamics of solitons as solutions to the perturbed KdV (pKdV) equation ∂tu=−∂x(∂x2u+3u2−bu)\partial_t u = -\partial_x (\partial_x^2 u + 3u^2-bu), where b(x,t)=b0(hx,ht)b(x,t) = b_0(hx,ht), h≪1h\ll 1 is a slowly varying, but not small, potential. We option an explicit description of the trajectory of the soliton parameters of scale and position on the dynamically relevant time scale δh−1log⁡h−1δh^{-1}\log h^{-1}, together with an estimate on the error of size h1/2h^{1/2}. In addition to the Lyapunov analysis commonly applied to these problems, we use a local virial estimate due to Martel-Merle (2005). The results are supported by numerics. The proof does not rely on the inverse scattering machinery and is expected to carry through for the L2L^2 subcritical gKdV-pp equation, 1<p<51<p<5. The case of p=3p=3, the modified Korteweg-de Vries (mKdV) equation, is structurally simpler and more precise results can be obtained by the method of Holmer-Zworski (2007).

preprint2010arXiv

Effective dynamics of double solitons for perturbed mKdV

We show that an interacting double soliton solution to the perturbed mKdV equation is close in H2H^2 to a double soliton following an effective dynamics obtained as Hamilton's equations for the restriction of the mKdV Hamiltonian to the submanifold of solitons. The interplay between algebraic aspects of complete integrability of the unperturbed equation and the analytic ideas related to soliton stability is central in the proof.

preprint2009arXiv

Fast soliton scattering by attractive delta impurities

We study the Gross-Pitaevskii equation with an attractive delta function potential and show that in the high velocity limit an incident soliton is split into reflected and transmitted soliton components plus a small amount of dispersion. We give explicit analytic formulas for the reflected and transmitted portions, while the remainder takes the form of an error. Although the existence of a bound state for this potential introduces difficulties not present in the case of a repulsive potential, we show that the proportion of the soliton which is trapped at the origin vanishes in the limit.

preprint2008arXiv

Breathing patterns in nonlinear relaxation

In numerical experiments involving nonlinear solitary waves propagating through nonhomogeneous media one observes "breathing" in the sense of the amplitude of the wave going up and down on a much faster scale than the motion of the wave. In this paper we investigate this phenomenon in the simplest case of stationary waves in which the evolution corresponds to relaxation to a nonlinear ground state. The particular model is the popular δ0 δ_0 impurity in the cubic nonlinear Schroedinger equation on the line. We give asymptotics of the amplitude on a finite but relevant time interval and show their remarkable agreement with numerical experiments. We stress the nonlinear origin of the "breathing patterns" caused by the selection of the ground state depending on the initial data, and by the non-normality of the linearized operator.

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.