Showing 1–36 of 36 results for author: Lenzmann, E

The Calogero--Moser Derivative Nonlinear Schrödinger Equation

Authors: Patrick Gérard, Enno Lenzmann

Abstract: We study the Calogero--Moser derivative NLS equation $$ i \partial_t u +\partial_{xx} u + (D+|D|)(|u|^2) u =0 $$ posed on the Hardy-Sobolev space $H^s_+(\mathbb{R})$ with suitable $s>0$. By using a Lax pair structure for this $L^2$-critical equation, we prove global well-posedness for $s \geq 1$ and initial data with sub-critical or critical $L^2$-mass $\| u_0 \|_{L^2}^2 \leq 2 π$. Moreover, we pr… ▽ More We study the Calogero--Moser derivative NLS equation $$ i \partial_t u +\partial_{xx} u + (D+|D|)(|u|^2) u =0 $$ posed on the Hardy-Sobolev space $H^s_+(\mathbb{R})$ with suitable $s>0$. By using a Lax pair structure for this $L^2$-critical equation, we prove global well-posedness for $s \geq 1$ and initial data with sub-critical or critical $L^2$-mass $\| u_0 \|_{L^2}^2 \leq 2 π$. Moreover, we prove uniqueness of ground states and also classify all traveling solitary waves. Finally, we study in detail the class of multi-soliton solutions $u(t)$ and we prove that they exhibit energy cascades in the following strong sense such that $\|u(t)\|_{H^s} \sim_s |t|^{2s}$ as $t \to \pm \infty$ for every $s > 0$. \end{abstract} △ Less

Submitted 17 May, 2023; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: 43 pages. This is a revised version with an extended introduction. Main results are now stated as theorems in the introduction. Various typos corrected. Comments are welcome

MSC Class: 37K15; 47B35

Uniqueness for the Nonlocal Liouville Equation in $\mathbb{R}$

Authors: Maria Ahrend, Enno Lenzmann

Abstract: We prove uniqueness of solutions for the nonlocal Liouville equation $$ (-Δ)^{1/2} w = K e^w \quad \mbox{in $\mathbb{R}$} $$ with finite total $Q$-curvature $\int_{\mathbb{R}} K e^w \, dx< +\infty$. Here the prescribed $Q$-curvature function $K=K(|x|) > 0… ▽ More We prove uniqueness of solutions for the nonlocal Liouville equation $$ (-Δ)^{1/2} w = K e^w \quad \mbox{in $\mathbb{R}$} $$ with finite total $Q$-curvature $\int_{\mathbb{R}} K e^w \, dx< +\infty$. Here the prescribed $Q$-curvature function $K=K(|x|) > 0$ is assumed to be a positive, symmetric-decreasing function satisfying suitable regularity and decay bounds. In particular, we obtain uniqueness of solutions in the Gaussian case with $K(x) = \exp(-x^2)$. Our uniqueness proof exploits a connection of the nonlocal Liouville equation to ground state solitons for Calogero--Moser derivative NLS, which is a completely integrable PDE recently studied by P. Gérard and the second author. △ Less

Submitted 7 April, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: 18 pages. Revised version with short Appendix B on relation to the monotonicity formula. Some typos fixed and few remarks added. Comments are welcome

Symmetry breaking for ground states of biharmonic NLS via Fourier extension estimates

Authors: Enno Lenzmann, Tobias Weth

Abstract: We consider ground states solutions $u \in H^2(\mathbb{R}^N)$ of biharmonic (fourth-order) nonlinear Schrödinger equations of the form $$ Δ^2 u + 2a Δu + b u - |u|^{p-2} u = 0 \quad \mbox{in $\mathbb{R}^N$} $$ with positive constants $a, b > 0$ and exponents $2 < p < 2^*$, where $2^* = \frac{2N}{N-4}$ if $N > 4$ and $2^* = \infty$ if $N \leq 4… ▽ More We consider ground states solutions $u \in H^2(\mathbb{R}^N)$ of biharmonic (fourth-order) nonlinear Schrödinger equations of the form $$ Δ^2 u + 2a Δu + b u - |u|^{p-2} u = 0 \quad \mbox{in $\mathbb{R}^N$} $$ with positive constants $a, b > 0$ and exponents $2 < p < 2^*$, where $2^* = \frac{2N}{N-4}$ if $N > 4$ and $2^* = \infty$ if $N \leq 4$. By exploiting a connection to the adjoint Stein--Tomas inequality on the unit sphere and by using trial functions due to Knapp, we prove a general symmetry breaking result by showing that all ground states $u\in H^2(\mathbb{R}^N)$ in dimension $N \geq 2$ fail to be radially symmetric for all exponents $2 < p < \frac{2N+2}{N-1}$ in a suitable regime of $a,b>0$. As applications of our main result, we also prove symmetry breaking for a minimization problem with constrained $L^2$-mass and for a related problem on the unit ball in $\mathbb{R}^N$ subject to Dirichlet boundary conditions. △ Less

Submitted 11 November, 2021; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: Second version with minor revisions, 17 pages

Derivation of the Half-Wave Maps Equation from Calogero--Moser Spin Systems

Authors: Enno Lenzmann, Jérémy Sok

Abstract: We prove that the energy-critical half-wave maps equation \[ \partial_t \mathbf{S} =\mathbf{S} \times |\nabla| \mathbf{S}, \quad (t,x) \in \mathbb{R} \times \mathbb{T} \] arises as an effective equation in the continuum limit of completely integrable Calogero-Moser classical spin systems with inverse square $1/r^2$ interactions on the circle. We study both the convergence to global-in-time weak so… ▽ More We prove that the energy-critical half-wave maps equation \[ \partial_t \mathbf{S} =\mathbf{S} \times |\nabla| \mathbf{S}, \quad (t,x) \in \mathbb{R} \times \mathbb{T} \] arises as an effective equation in the continuum limit of completely integrable Calogero-Moser classical spin systems with inverse square $1/r^2$ interactions on the circle. We study both the convergence to global-in-time weak solutions in the energy class as well as short-time strong solutions of higher regularity. The proofs are based on Fourier methods and suitable discrete analogues of fractional Leibniz rules and Kato-Ponce-Vega commutator estimates. In a companion paper, we further extend our arguments to study the real line case and more general spin interactions. △ Less

Submitted 30 July, 2020; originally announced July 2020.

Comments: 20 pages

MSC Class: 35Q99; 35R11

On symmetry and uniqueness of ground states for linear and nonlinear elliptic PDEs

Authors: Lars Bugiera, Enno Lenzmann, Jérémy Sok

Abstract: We study ground state solutions for linear and nonlinear elliptic PDEs in $\mathbb{R}^n$ with (pseudo-)differential operators of arbitrary order. We prove a general symmetry result in the nonlinear case as well as a uniqueness result for ground states in the linear case. In particular, we can deal with problems (e.\,g. higher order PDEs) that cannot be tackled by usual methods such as maximum prin… ▽ More We study ground state solutions for linear and nonlinear elliptic PDEs in $\mathbb{R}^n$ with (pseudo-)differential operators of arbitrary order. We prove a general symmetry result in the nonlinear case as well as a uniqueness result for ground states in the linear case. In particular, we can deal with problems (e.\,g. higher order PDEs) that cannot be tackled by usual methods such as maximum principles, moving planes, or Polya--Szegö inequalities. Instead, we use arguments based on the Fourier transform and we apply a rigidity result for the Hardy-Littlewood majorant problem in $\mathbb{R}^n$ recently obtained by the last two authors of the present paper. △ Less

Submitted 29 March, 2022; v1 submitted 19 August, 2019; originally announced August 2019.

Comments: 14 pages. Revised version with some typos fixed. Any comments are welcome!

On symmetry of traveling solitary waves for dispersion generalized NLS

Authors: Lars Bugiera, Enno Lenzmann, Armin Schikorra, Jérémy Sok

Abstract: We consider dispersion generalized nonlinear Schrödinger equations (NLS) of the form $i \partial_t u = P(D) u - |u|^{2 σ} u$, where $P(D)$ denotes a (pseudo)-differential operator of arbitrary order. As a main result, we prove symmetry results for traveling solitary waves in the case of powers $σ\in \mathbb{N}$. The arguments are based on Steiner type rearrangements in Fourier space. Our results a… ▽ More We consider dispersion generalized nonlinear Schrödinger equations (NLS) of the form $i \partial_t u = P(D) u - |u|^{2 σ} u$, where $P(D)$ denotes a (pseudo)-differential operator of arbitrary order. As a main result, we prove symmetry results for traveling solitary waves in the case of powers $σ\in \mathbb{N}$. The arguments are based on Steiner type rearrangements in Fourier space. Our results apply to a broad class of NLS-type equations such as fourth-order (biharmonic) NLS, fractional NLS, square-root Klein-Gordon and half-wave equations. △ Less

Submitted 19 August, 2019; originally announced August 2019.

Comments: 17 pages. Any comments are welcome!

A Short Primer on the Half-Wave Maps Equation

Authors: Enno Lenzmann

Abstract: We review the current state of results about the half-wave maps equation on the domain $\mathbb{R}^d$ with target $\mathbb{S}^2$. In particular, we focus on the energy-critical case $d=1$, where we discuss the classification of traveling solitary waves and a Lax pair structure together with its implications (e.\,g.~invariance of rational solutions and infinitely many conservation laws on a scale o… ▽ More We review the current state of results about the half-wave maps equation on the domain $\mathbb{R}^d$ with target $\mathbb{S}^2$. In particular, we focus on the energy-critical case $d=1$, where we discuss the classification of traveling solitary waves and a Lax pair structure together with its implications (e.\,g.~invariance of rational solutions and infinitely many conservation laws on a scale of homogeneous Besov spaces). Furthermore, we also comment on the one-dimensional space-periodic case. Finally, we list some open problem for future research. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: To appear in the proceeding of the Journées EDP 2018 (Obernai)

Existence and stability of Schrödinger solitons on noncompact manifolds

Authors: David Borthwick, Roland Donninger, Enno Lenzmann, Jeremy L. Marzuola

Abstract: We consider the focusing nonlinear Schrödinger equation on a large class of rotationally symmetric, noncompact manifolds. We prove the existence of a solitary wave by perturbing off the flat Euclidean case. Furthermore, we study the stability of the solitary wave under radial perturbations by analyzing spectral properties of the associated linearized operator. Finally, in the L2-critical case, by… ▽ More We consider the focusing nonlinear Schrödinger equation on a large class of rotationally symmetric, noncompact manifolds. We prove the existence of a solitary wave by perturbing off the flat Euclidean case. Furthermore, we study the stability of the solitary wave under radial perturbations by analyzing spectral properties of the associated linearized operator. Finally, in the L2-critical case, by considering the Vakhitov-Kolokolov criterion (see also results of Grillakis-Shatah-Strauss), we provide numerical evidence showing that the introduction of a nontrivial geometry destabilizes the solitary wave in a wide variety of cases, regardless of the curvature of the manifold. In particular, the parameters of the metric corresponding to standard hyperbolic space will lead to instability consistent with the blow-up results of Banica-Duyckaerts (2015). We also provide numerical evidence for geometries under which it would be possible for the Vakhitov-Kolokolov condition to suggest stability, provided certain spectral properties hold in these spaces △ Less

Submitted 20 September, 2018; originally announced September 2018.

Comments: 49 pages

On Traveling Solitary Waves and Absence of Small Data Scattering for Nonlinear Half-Wave Equations

Authors: Jacopo Bellazzini, Vladimir Georgiev, Enno Lenzmann, Nicola Visciglia

Abstract: We consider nonlinear half-wave equations with focusing power-type nonlinearity $$ i \pt_t u = \sqrt{-Δ} \, u - |u|^{p-1} u, \quad \mbox{with $(t,x) \in \R \times \R^d$} $$ with exponents $1 < p < \infty$ for $d=1$ and $1 < p < (d+1)/(d-1)$ for $d \geq 2$. We study traveling solitary waves of the form $$ u(t,x) = e^{iωt} Q_v(x-vt) $$ with frequency $ω\in \R$, velocity $v \in \R^d… ▽ More We consider nonlinear half-wave equations with focusing power-type nonlinearity $$ i \pt_t u = \sqrt{-Δ} \, u - |u|^{p-1} u, \quad \mbox{with $(t,x) \in \R \times \R^d$} $$ with exponents $1 < p < \infty$ for $d=1$ and $1 < p < (d+1)/(d-1)$ for $d \geq 2$. We study traveling solitary waves of the form $$ u(t,x) = e^{iωt} Q_v(x-vt) $$ with frequency $ω\in \R$, velocity $v \in \R^d$, and some finite-energy profile $Q_v \in H^{1/2}(\R^d)$, $Q_v \not \equiv 0$. We prove that traveling solitary waves for speeds $|v| \geq 1$ do not exist. Furthermore, we generalize the non-existence result to the square root Klein--Gordon operator $\sqrt{-\DD+m^2}$ and other nonlinearities. As a second main result, we show that small data scattering fails to hold for the focusing half-wave equation in any space dimension. The proof is based on the existence and properties of traveling solitary waves for speeds $|v| < 1$. Finally, we discuss the energy-critical case when $p=(d+1)/(d-1)$ in dimensions $d \geq 2$. △ Less

Submitted 24 August, 2018; originally announced August 2018.

Comments: 17 pages

A sharp rearrangement principle in Fourier space and symmetry results for PDEs with arbitrary order

Authors: Enno Lenzmann, Jérémy Sok

Abstract: We prove sharp inequalities for the symmetric-decreasing rearrangement in Fourier space of functions in $\mathbb{R}^d$. Our main result can be applied to a general class of (pseudo-)differential operators in $\mathbb{R}^d$ of arbitrary order with radial Fourier multipliers. For example, we can take any positive power of the Laplacian $(-Δ)^s$ with $s> 0$ and, in particular, any polyharmonic operat… ▽ More We prove sharp inequalities for the symmetric-decreasing rearrangement in Fourier space of functions in $\mathbb{R}^d$. Our main result can be applied to a general class of (pseudo-)differential operators in $\mathbb{R}^d$ of arbitrary order with radial Fourier multipliers. For example, we can take any positive power of the Laplacian $(-Δ)^s$ with $s> 0$ and, in particular, any polyharmonic operator $(-Δ)^m$ with integer $m \geq 1$. As applications, we prove radial symmetry and real-valuedness (up to trivial symmetries) of optimizers for: i) Gagliardo-Nirenberg inequalities with derivatives of arbitrary order, ii) ground states for bi- and polyharmonic NLS, and iii) Adams-Moser-Trudinger type inequalities for $H^{d/2}(\mathbb{R}^d)$ in any dimension $d \geq 1$. As a technical key result, we solve a phase retrieval problem for the Fourier transform in $\mathbb{R}^d$. To achieve this, we classify the case of equality in the corresponding Hardy-Littlewood majorant problem for the Fourier transform in $\mathbb{R}^d$. △ Less

Submitted 5 March, 2019; v1 submitted 16 May, 2018; originally announced May 2018.

Comments: 25 pages. Second revised version. Comments are welcome

A Lax Pair Structure for the Half-Wave Maps Equation

Authors: Patrick Gérard, Enno Lenzmann

Abstract: We consider the half-wave maps equation $$ \partial_t \vec{S} = \vec{S} \wedge |\nabla| \vec{S}, $$ where $\vec{S}= \vec{S}(t,x)$ takes values on the two-dimensional unit sphere $\mathbb{S}^2$ and $x \in \mathbb{R}$ (real line case) or $x \in \mathbb{T}$ (periodic case). This an energy-critical Hamiltonian evolution equation recently introduced in \cite{LS,Zh}, which formally arises as an effectiv… ▽ More We consider the half-wave maps equation $$ \partial_t \vec{S} = \vec{S} \wedge |\nabla| \vec{S}, $$ where $\vec{S}= \vec{S}(t,x)$ takes values on the two-dimensional unit sphere $\mathbb{S}^2$ and $x \in \mathbb{R}$ (real line case) or $x \in \mathbb{T}$ (periodic case). This an energy-critical Hamiltonian evolution equation recently introduced in \cite{LS,Zh}, which formally arises as an effective evolution equation in the classical and continuum limit of Haldane-Shastry quantum spin chains. We prove that the half-wave maps equation admits a Lax pair and we discuss some analytic consequences of this finding. As a variant of our arguments, we also obtain a Lax pair for the half-wave maps equation with target $\mathbb{H}^2$ (hyperbolic plane). △ Less

Submitted 14 November, 2017; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: Included an explicit calculation of the Lax operator for a single speed soliton. Corrected some minor typos

On energy-critical half-wave maps into $\mathbb{S}^2$

Authors: Enno Lenzmann, Armin Schikorra

Abstract: We consider the energy-critical half-wave maps equation $$\partial_t \mathbf{u} + \mathbf{u} \wedge |\nabla| \mathbf{u} = 0$$ for $\mathbf{u} : [0,T) \times \mathbb{R} \to \mathbb{S}^2$. We give a complete classification of all traveling solitary waves with finite energy. The proof is based on a geometric characterization of these solutions as minimal surfaces with (not necessarily free) boundary… ▽ More We consider the energy-critical half-wave maps equation $$\partial_t \mathbf{u} + \mathbf{u} \wedge |\nabla| \mathbf{u} = 0$$ for $\mathbf{u} : [0,T) \times \mathbb{R} \to \mathbb{S}^2$. We give a complete classification of all traveling solitary waves with finite energy. The proof is based on a geometric characterization of these solutions as minimal surfaces with (not necessarily free) boundary on $\mathbb{S}^2$. In particular, we discover an explicit Lorentz boost symmetry, which is implemented by the conformal Möbius group on the target $\mathbb{S}^2$ applied to half-harmonic maps from $\mathbb{R}$ to $\mathbb{S}^2$. Complementing our classification result, we carry out a detailed analysis of the linearized operator $L$ around half-harmonic maps $\mathbf{Q}$ with arbitrary degree $m \geq 1$. Here we explicitly determine the nullspace including the zero-energy resonances; in particular, we prove the nondegeneracy of $\mathbf{Q}$. Moreover, we give a full description of the spectrum of $L$ by finding all its $L^2$-eigenvalues and proving their simplicity. Furthermore, we prove a coercivity estimate for $L$ and we rule out embedded eigenvalues inside the essential spectrum. Our spectral analysis is based on a reformulation in terms of certain Jacobi operators (tridiagonal infinite matrices) obtained from a conformal transformation of the spectral problem posed on $\mathbb{R}$ to the unit circle $\mathbb{S}$. Finally, we construct a unitary map which can be seen as a gauge transform tailored for a future stability and blowup analysis close to half-harmonic maps. Our spectral results also have potential applications to the half-harmonic map heat flow, which is the parabolic counterpart of the half-wave maps equation. △ Less

Submitted 24 March, 2017; v1 submitted 20 February, 2017; originally announced February 2017.

Comments: Slightly revised version with some typos fixed and added reference [19]. 50 pages. Comments are welcome

A Two-Soliton with Transient Turbulent Regime for the Cubic Half-wave Equation on The Real Line

Authors: Patrick Gérard, Enno Lenzmann, Oana Pocovnicu, Pierre Raphaël

Abstract: We consider the focusing cubic half-wave equation on the real line $$i \partial_t u + |D| u = |u|^2 u, \ \ \widehat{|D|u}(ξ)=|ξ|\hat{u}(ξ), \ \ (t,x)\in \Bbb R_+\times \Bbb R.$$ We construct an asymptotic global-in-time compact two-soliton solution with arbitrarily small $L^2$-norm which exhibits the following two regimes: (i) a transient turbulent regime characterized by a dramatic and explicit g… ▽ More We consider the focusing cubic half-wave equation on the real line $$i \partial_t u + |D| u = |u|^2 u, \ \ \widehat{|D|u}(ξ)=|ξ|\hat{u}(ξ), \ \ (t,x)\in \Bbb R_+\times \Bbb R.$$ We construct an asymptotic global-in-time compact two-soliton solution with arbitrarily small $L^2$-norm which exhibits the following two regimes: (i) a transient turbulent regime characterized by a dramatic and explicit growth of its $H^1$-norm on a finite time interval, followed by (ii) a saturation regime in which the $H^1$-norm remains stationary large forever in time. △ Less

Submitted 25 November, 2016; originally announced November 2016.

Sharp commutator estimates via harmonic extensions

Authors: Enno Lenzmann, Armin Schikorra

Abstract: We give an alternative proof of several sharp commutator estimates involving Riesz transforms, Riesz potentials, and fractional Laplacians. Our methods only involve harmonic extensions to the upper half-space, integration by parts, and trace space characterizations. The commutators we investigate are Jacobians, more generally Coifman-Rochberg-Weiss commutators, Chanillo's commutator with the Rie… ▽ More We give an alternative proof of several sharp commutator estimates involving Riesz transforms, Riesz potentials, and fractional Laplacians. Our methods only involve harmonic extensions to the upper half-space, integration by parts, and trace space characterizations. The commutators we investigate are Jacobians, more generally Coifman-Rochberg-Weiss commutators, Chanillo's commutator with the Riesz potential, Coifman-Meyer or Kato-Ponce-Vega type commutators, and the Da Lio-Rivière three-term commutators. We also give a new limiting $L^1$-estimate for a double commutator of Coifman-Rochberg-Weiss-type, and several intermediate estimates. The beauty of our method is that all those commutator estimates, which are originally proven by various specific methods or by general paraproduct arguments, can be obtained purely from integration by parts and trace theorems. Another interesting feature is that in all these cases the cancellation effect responsible for the commutator estimate simply follows from the product rule for classical derivatives and can be traced in a precise way. △ Less

Submitted 7 December, 2016; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: typos fixed, references added. Statement (6.2) of the C^σ-estimate in Theorem 6.1 weakened

Journal ref: Nonlinear Analysis 2019

Blowup for fractional NLS

Authors: Thomas Boulenger, Dominik Himmelsbach, Enno Lenzmann

Abstract: We consider fractional NLS with focusing power-type nonlinearity $$i \partial_t u = (-Δ)^s u - |u|^{2 σ} u, \quad (t,x) \in \mathbb{R} \times \mathbb{R}^N,$$ where $1/2< s < 1$ and $0 < σ< \infty$ for $s \geq N/2$ and $0 < σ\leq 2s/(N-2s)$ for $s < N/2$. We prove a general criterion for blowup of radial solutions in $\mathbb{R}^N$ with $N \geq 2$ for $L^2$-supercritical and $L^2$-critical powers… ▽ More We consider fractional NLS with focusing power-type nonlinearity $$i \partial_t u = (-Δ)^s u - |u|^{2 σ} u, \quad (t,x) \in \mathbb{R} \times \mathbb{R}^N,$$ where $1/2< s < 1$ and $0 < σ< \infty$ for $s \geq N/2$ and $0 < σ\leq 2s/(N-2s)$ for $s < N/2$. We prove a general criterion for blowup of radial solutions in $\mathbb{R}^N$ with $N \geq 2$ for $L^2$-supercritical and $L^2$-critical powers $σ\geq 2s/N$. In addition, we study the case of fractional NLS posed on a bounded star-shaped domain $Ω\subset \mathbb{R}^N$ in any dimension $N \geq 1$ and subject to exterior Dirichlet conditions. In this setting, we prove a general blowup result without imposing any symmetry assumption on $u(t,x)$. For the blowup proof in $\mathbb{R}^N$, we derive a localized virial estimate for fractional NLS in $\mathbb{R}^N$, which uses Balakrishnan's formula for the fractional Laplacian $(-Δ)^s$ from semigroup theory. In the setting of bounded domains, we use a Pohozaev-type estimate for the fractional Laplacian to prove blowup. △ Less

Submitted 12 October, 2015; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 25 pages. Revised version, where some typos have been fixed. Comments are welcome

Blowup for Biharmonic NLS

Authors: Thomas Boulenger, Enno Lenzmann

Abstract: We consider the Cauchy problem for the biharmonic (i.\,e.~fourth-order) NLS with focusing nonlinearity given by $i \partial_t u = Δ^2 u - μΔu -|u|^{2 σ} u$ for $(t,x) \in [0,T) \times \mathbb{R}^d$, where $0 < σ<\infty$ for $d \leq 4$ and $0 < σ\leq 4/(d-4)$ for $d \geq 5$; and $μ\in \mathbb{R}$ is some parameter to include a possible lower-order dispersion. In the mass-supercritical case… ▽ More We consider the Cauchy problem for the biharmonic (i.\,e.~fourth-order) NLS with focusing nonlinearity given by $i \partial_t u = Δ^2 u - μΔu -|u|^{2 σ} u$ for $(t,x) \in [0,T) \times \mathbb{R}^d$, where $0 < σ<\infty$ for $d \leq 4$ and $0 < σ\leq 4/(d-4)$ for $d \geq 5$; and $μ\in \mathbb{R}$ is some parameter to include a possible lower-order dispersion. In the mass-supercritical case $σ> 4/d$, we prove a general result on finite-time blowup for radial data in $H^2(\mathbb{R}^d)$ in any dimension $d \geq 2$. Moreover, we derive a universal upper bound for the blowup rate for suitable $4/d < σ< 4/(d-4)$. In the mass-critical case $σ=4/d$, we prove a general blowup result in finite or infinite time for radial data in $H^2(\mathbb{R}^d)$. As a key ingredient, we utilize the time evolution of a nonnegative quantity, which we call the (localized) Riesz bivariance for biharmonic NLS. This construction provides us with a suitable substitute for the variance used for classical NLS problems. In addition, we prove a radial symmetry result for ground states for the biharmonic NLS, which may be of some value for the related elliptic problem. △ Less

Submitted 21 April, 2015; v1 submitted 5 March, 2015; originally announced March 2015.

Comments: Revised version. Corrected some minor typos, added some remarks and included reference [12]

The Boson star equation with initial data of low regularity

Authors: Sebastian Herr, Enno Lenzmann

Abstract: The Cauchy problem for the L^2-critical boson star equation with initial data of low regularity in spatial dimension d=3 is studied. Local well-posedness in H^s for s > 1/4 is proved. Moreover, for radial initial data, local well-posedness is established in H^s for s > 0. Both results are shown to be almost optimal by providing complementary ill-posedness results. The Cauchy problem for the L^2-critical boson star equation with initial data of low regularity in spatial dimension d=3 is studied. Local well-posedness in H^s for s > 1/4 is proved. Moreover, for radial initial data, local well-posedness is established in H^s for s > 0. Both results are shown to be almost optimal by providing complementary ill-posedness results. △ Less

Submitted 7 November, 2013; v1 submitted 28 May, 2013; originally announced May 2013.

Comments: v2: referee's comments incorporated; proof of Prop. 2.4 corrected; note that in the non-radial case Prop. 2.4 and Theorem 1.1 (i) is restricted to s>1/4

Journal ref: Nonlinear Anal. (2014), Vol. 97, 125-137

Uniqueness of radial solutions for the fractional Laplacian

Authors: Rupert L. Frank, Enno Lenzmann, Luis Silvestre

Abstract: We prove general uniqueness results for radial solutions of linear and nonlinear equations involving the fractional Laplacian $(-Δ)^s$ with $s \in (0,1)$ for any space dimensions $N \geq 1$. By extending a monotonicity formula found by Cabre and Sire \cite{CaSi-10}, we show that the linear equation $(-Δ)^s u+ Vu = 0$ in $\mathbb{R}^N$ has at most one radial and bounded solution vanishing at infini… ▽ More We prove general uniqueness results for radial solutions of linear and nonlinear equations involving the fractional Laplacian $(-Δ)^s$ with $s \in (0,1)$ for any space dimensions $N \geq 1$. By extending a monotonicity formula found by Cabre and Sire \cite{CaSi-10}, we show that the linear equation $(-Δ)^s u+ Vu = 0$ in $\mathbb{R}^N$ has at most one radial and bounded solution vanishing at infinity, provided that the potential $V$ is a radial and non-decreasing. In particular, this result implies that all radial eigenvalues of the corresponding fractional Schrödinger operator $H=(-Δ)^s + V$ are simple. Furthermore, by combining these findings on linear equations with topological bounds for a related problem on the upper half-space $\mathbb{R}^{N+1}_+$, we show uniqueness and nondegeneracy of ground state solutions for the nonlinear equation $(-Δ)^s Q + Q - |Q|^α Q = 0$ in $\mathbb{R}^N$ for arbitrary space dimensions $N \geq 1$ and all admissible exponents $α>0$. This generalizes the nondegeneracy and uniqueness result for dimension N=1 recently obtained by the first two authors in \cite{FrLe-10} and, in particular, the uniqueness result for solitary waves of the Benjamin--Ono equation found by Amick and Toland \cite{AmTo-91}. △ Less

Submitted 23 March, 2015; v1 submitted 11 February, 2013; originally announced February 2013.

Comments: 38 pages; revised version; various typos corrected; proof of Lemma 8.1 corrected; discussion of case κ_* =1 in the proof of Theorem 2 corrected with new Lemma A.2; accepted for publication in Comm. Pure. Appl. Math

Dynamical Ionization Bounds for Atoms

Authors: Enno Lenzmann, Mathieu Lewin

Abstract: We study the long-time behavior of the 3-dimensional repulsive nonlinear Hartree equation with an external attractive Coulomb potential $-Z/|x|$, which is a nonlinear model for the quantum dynamics of an atom. We show that, after a sufficiently long time, the average number of electrons in any finite ball is always smaller than 4Z (respectively 2Z in the radial case). This is a time-dependent gene… ▽ More We study the long-time behavior of the 3-dimensional repulsive nonlinear Hartree equation with an external attractive Coulomb potential $-Z/|x|$, which is a nonlinear model for the quantum dynamics of an atom. We show that, after a sufficiently long time, the average number of electrons in any finite ball is always smaller than 4Z (respectively 2Z in the radial case). This is a time-dependent generalization of a celebrated result by E.H. Lieb on the maximum negative ionization of atoms in the stationary case. Our proof involves a novel positive commutator argument (based on the cubic weight $|x|^3$) and our findings are reminiscent of the RAGE theorem. In addition, we prove a similar universal bound on the local kinetic energy. In particular, our main result means that, in a weak sense, any solution is attracted to a bounded set in the energy space, whatever the size of the initial datum. Moreover, we extend our main result to Hartree--Fock theory and to the linear many-body Schrödinger equation for atoms. △ Less

Submitted 30 July, 2012; originally announced July 2012.

Journal ref: Anal. PDE 6 (2013) 1183-1211

Nondispersive solutions to the L2-critical half-wave equation

Authors: Joachim Krieger, Enno Lenzmann, Pierre Raphael

Abstract: We consider the focusing $L^2$-critical half-wave equation in one space dimension $$ i \partial_t u = D u - |u|^2 u, $$ where $D$ denotes the first-order fractional derivative. Standard arguments show that there is a critical threshold $M_* > 0$ such that all $H^{1/2}$ solutions with $\| u \|_{L^2} < M_*$ extend globally in time, while solutions with $\| u \|_{L^2} \geq M_*$ may develop singularit… ▽ More We consider the focusing $L^2$-critical half-wave equation in one space dimension $$ i \partial_t u = D u - |u|^2 u, $$ where $D$ denotes the first-order fractional derivative. Standard arguments show that there is a critical threshold $M_* > 0$ such that all $H^{1/2}$ solutions with $\| u \|_{L^2} < M_*$ extend globally in time, while solutions with $\| u \|_{L^2} \geq M_*$ may develop singularities in finite time. In this paper, we first prove the existence of a family of traveling waves with subcritical arbitrarily small mass. We then give a second example of nondispersive dynamics and show the existence of finite-time blowup solutions with minimal mass $\| u_0 \|_{L^2} = M_*$. More precisely, we construct a family of minimal mass blowup solutions that are parametrized by the energy $E_0 >0$ and the linear momentum $P_0 \in \R$. In particular, our main result (and its proof) can be seen as a model scenario of minimal mass blowup for $L^2$-critical nonlinear PDE with nonlocal dispersion. △ Less

Submitted 12 March, 2012; originally announced March 2012.

Comments: 51 pages

On the continuum limit for discrete NLS with long-range lattice interactions

Authors: Kay Kirkpatrick, Enno Lenzmann, Gigliola Staffilani

Abstract: We consider a general class of discrete nonlinear Schroedinger equations (DNLS) on the lattice $h \mathbb{Z}$ with mesh size $h>0$. In the continuum limit when $h \to 0$, we prove that the limiting dynamics are given by a nonlinear Schroedinger equation (NLS) on $\mathbb{R}$ with the fractional Laplacian $(-Δ)^α$ as dispersive symbol. In particular, we obtain that fractional powers $1/2 < α< 1$ ar… ▽ More We consider a general class of discrete nonlinear Schroedinger equations (DNLS) on the lattice $h \mathbb{Z}$ with mesh size $h>0$. In the continuum limit when $h \to 0$, we prove that the limiting dynamics are given by a nonlinear Schroedinger equation (NLS) on $\mathbb{R}$ with the fractional Laplacian $(-Δ)^α$ as dispersive symbol. In particular, we obtain that fractional powers $1/2 < α< 1$ arise from long-range lattice interactions when passing to the continuum limit, whereas NLS with the non-fractional Laplacian $-Δ$ describes the dispersion in the continuum limit for short-range lattice interactions (e.g., nearest-neighbor interactions). Our results rigorously justify certain NLS model equations with fractional Laplacians proposed in the physics literature. Moreover, the arguments given in our paper can be also applied to discuss the continuum limit for other lattice systems with long-range interactions. △ Less

Submitted 24 July, 2012; v1 submitted 31 August, 2011; originally announced August 2011.

Comments: 26 pages; no figures. Some minor revisions. To appear in Comm. Math. Phys

On Singularity formation for the L^2-critical Boson star equation

Authors: Enno Lenzmann, Mathieu Lewin

Abstract: We prove a general, non-perturbative result about finite-time blowup solutions for the $L^2$-critical boson star equation $i\partial_t u = \sqrt{-Δ+m^2} \, u - (|x|^{-1} \ast |u|^2) u$ in 3 space dimensions. Under the sole assumption that the solution blows up in $H^{1/2}$ at finite time, we show that $u(t)$ has a unique weak limit in $L^2$ and that $|u(t)|^2$ has a unique weak limit in the sense… ▽ More We prove a general, non-perturbative result about finite-time blowup solutions for the $L^2$-critical boson star equation $i\partial_t u = \sqrt{-Δ+m^2} \, u - (|x|^{-1} \ast |u|^2) u$ in 3 space dimensions. Under the sole assumption that the solution blows up in $H^{1/2}$ at finite time, we show that $u(t)$ has a unique weak limit in $L^2$ and that $|u(t)|^2$ has a unique weak limit in the sense of measures. Moreover, we prove that the limiting measure exhibits minimal mass concentration. A central ingredient used in the proof is a "finite speed of propagation" property, which puts a strong rigidity on the blowup behavior of $u$. As the second main result, we prove that any radial finite-time blowup solution $u$ converges strongly in $L^2$ away from the origin. For radial solutions, this result establishes a large data blowup conjecture for the $L^2$-critical boson star equation, similar to a conjecture which was originally formulated by F. Merle and P. Raphael for the $L^2$-critical nonlinear Schrödinger equation in [CMP 253 (2005), 675-704]. We also discuss some extensions of our results to other $L^2$-critical theories of gravitational collapse, in particular to critical Hartree-type equations. △ Less

Submitted 29 November, 2011; v1 submitted 16 March, 2011; originally announced March 2011.

Comments: 24 pages. Accepted in Nonlinearity

Journal ref: Nonlinearity 24 (2011) 3515-3540

Uniqueness and Nondegeneracy of Ground States for $(-Δ)^s Q + Q - Q^{α+1} = 0$ in $\mathbb{R}$

Authors: Rupert L. Frank, Enno Lenzmann

Abstract: We prove uniqueness of ground state solutions $Q = Q(|x|) \geq 0$ for the nonlinear equation $(-Δ)^s Q + Q - Q^{α+1}= 0$ in $\mathbb{R}$, where $0 < s < 1$ and $0 < α< \frac{4s}{1-2s}$ for $s < 1/2$ and $0 < α< \infty$ for $s \geq 1/2$. Here $(-Δ)^s$ denotes the fractional Laplacian in one dimension. In particular, we generalize (by completely different techniques) the specific uniqueness result o… ▽ More We prove uniqueness of ground state solutions $Q = Q(|x|) \geq 0$ for the nonlinear equation $(-Δ)^s Q + Q - Q^{α+1}= 0$ in $\mathbb{R}$, where $0 < s < 1$ and $0 < α< \frac{4s}{1-2s}$ for $s < 1/2$ and $0 < α< \infty$ for $s \geq 1/2$. Here $(-Δ)^s$ denotes the fractional Laplacian in one dimension. In particular, we generalize (by completely different techniques) the specific uniqueness result obtained by Amick and Toland for $s=1/2$ and $α=1$ in [Acta Math., \textbf{167} (1991), 107--126]. As a technical key result in this paper, we show that the associated linearized operator $L_+ = (-Δ)^s + 1 - (α+1) Q^α$ is nondegenerate; i.\,e., its kernel satisfies $\mathrm{ker}\, L_+ = \mathrm{span}\, \{Q'\}$. This result about $L_+$ proves a spectral assumption, which plays a central role for the stability of solitary waves and blowup analysis for nonlinear dispersive PDEs with fractional Laplacians, such as the generalized Benjamin-Ono (BO) and Benjamin-Bona-Mahony (BBM) water wave equations. △ Less

Submitted 23 March, 2015; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: 45 pages

Journal ref: Acta Math. 210 (2013), no. 2, 261-318

On ground states for the L^2-critical boson star equation

Authors: Rupert L. Frank, Enno Lenzmann

Abstract: We consider ground state solutions $u \geq 0$ for the $L^2$-critical boson star equation $$ \sqrt{-Δ} \, u - \big (|x|^{-1} \ast |u|^2 \big) u = -u \quad {in $\R^3$}. $$ We prove analyticity and radial symmetry of $u$. In a previous version of this paper, we also stated uniqueness and nondegeneracy of ground states for the $L^2$-critical boson star equation in $\R^3… ▽ More We consider ground state solutions $u \geq 0$ for the $L^2$-critical boson star equation $$ \sqrt{-Δ} \, u - \big (|x|^{-1} \ast |u|^2 \big) u = -u \quad {in $\R^3$}. $$ We prove analyticity and radial symmetry of $u$. In a previous version of this paper, we also stated uniqueness and nondegeneracy of ground states for the $L^2$-critical boson star equation in $\R^3$, but the arguments given there contained a gap. However, we refer to our recent preprint \cite{FraLe} in {\tt arXiv:1009.4042}, where we prove a general uniqueness and nondegeneracy result for ground states of nonlinear equations with fractional Laplacians in $d=1$ space dimension. △ Less

Submitted 26 October, 2010; v1 submitted 14 October, 2009; originally announced October 2009.

Comments: Replaced version; see also http://arxiv.longhoe.net/abs/1009.4042

On Blowup for time-dependent generalized Hartree-Fock equations

Authors: Christian Hainzl, Enno Lenzmann, Mathieu Lewin, Benjamin Schlein

Abstract: We prove finite-time blowup for spherically symmetric and negative energy solutions of Hartree-Fock and Hartree-Fock-Bogoliubov type equations, which describe the evolution of attractive fermionic systems (e. g. white dwarfs). Our main results are twofold: First, we extend the recent blowup result of [Hainzl and Schlein, Comm. Math. Phys. \textbf{287} (2009), 705--714] to Hartree-Fock equations… ▽ More We prove finite-time blowup for spherically symmetric and negative energy solutions of Hartree-Fock and Hartree-Fock-Bogoliubov type equations, which describe the evolution of attractive fermionic systems (e. g. white dwarfs). Our main results are twofold: First, we extend the recent blowup result of [Hainzl and Schlein, Comm. Math. Phys. \textbf{287} (2009), 705--714] to Hartree-Fock equations with infinite rank solutions and a general class of Newtonian type interactions. Second, we show the existence of finite-time blowup for spherically symmetric solutions of a Hartree-Fock-Bogoliubov model, where an angular momentum cutoff is introduced. We also explain the key difficulties encountered in the full Hartree-Fock-Bogoliubov theory. △ Less

Submitted 16 September, 2009; originally announced September 2009.

Comments: 24 pages

Journal ref: Ann. Henri Poincaré 11 (2010), no. 6, 1023-1052

Uniqueness of ground states for the L^2-critical boson star equation

Authors: Rupert L. Frank, Enno Lenzmann

Abstract: We establish uniqueness of ground states $u(x) \geq 0$ for the $L^2$-critical boson star equation $\sqrt{-Δ} u - (|x|^{-1} \ast |u|^2) u = -u$ in $\R^3$. The proof blends variational arguments with the harmonic extension to the halfspace $\R^4_+$. Apart from uniqueness, we also show radiality of ground states (up to translations) and the nondegeneracy of the linearization. Our results provide an… ▽ More We establish uniqueness of ground states $u(x) \geq 0$ for the $L^2$-critical boson star equation $\sqrt{-Δ} u - (|x|^{-1} \ast |u|^2) u = -u$ in $\R^3$. The proof blends variational arguments with the harmonic extension to the halfspace $\R^4_+$. Apart from uniqueness, we also show radiality of ground states (up to translations) and the nondegeneracy of the linearization. Our results provide an indispensable basis for the blowup analysis of the time-dependent $L^2$-critical boson star equation. The uniqueness proof can be generalized to different fractional Laplacians $(-Δ)^s$ and space dimensions. △ Less

Submitted 19 May, 2009; originally announced May 2009.

Comments: Research announcement note; submitted for publication

Minimizers for the Hartree-Fock-Bogoliubov Theory of Neutron Stars and White Dwarfs

Authors: Enno Lenzmann, Mathieu Lewin

Abstract: We prove the existence of minimizers for Hartree-Fock-Bogoliubov (HFB) energy functionals with attractive two-body interactions given by Newtonian gravity. This class of HFB functionals serves as model problem for self-gravitating relativistic Fermi systems, which are found in neutron stars and white dwarfs. Furthermore, we derive some fundamental properties of HFB minimizers such as a decay esti… ▽ More We prove the existence of minimizers for Hartree-Fock-Bogoliubov (HFB) energy functionals with attractive two-body interactions given by Newtonian gravity. This class of HFB functionals serves as model problem for self-gravitating relativistic Fermi systems, which are found in neutron stars and white dwarfs. Furthermore, we derive some fundamental properties of HFB minimizers such as a decay estimate for the minimizing density. A decisive feature of the HFB model in gravitational physics is its failure of weak lower semicontinuity. This fact essentially complicates the analysis compared to the well-studied Hartree-Fock theories in atomic physics. △ Less

Submitted 23 March, 2010; v1 submitted 15 September, 2008; originally announced September 2008.

Comments: 43 pages. Third and final version. Section 5 revised and main result extended. To appear in Duke Math. Journal.

MSC Class: 35Q55; 49J40

Journal ref: Duke Math. J. 152, no. 2 (2010), 257-315

On Stability of Pseudo-Conformal Blowup for L^2-critical Hartree NLS

Authors: Joachim Krieger, Enno Lenzmann, Pierre Raphael

Abstract: We consider $L^2$-critical focusing nonlinear Schroedinger equations with Hartree type nonlinearity $$i \pr_t u = -\DD u - \big (Φ\ast |u|^2 \big) u \quad {in $\RR^4$},$$ where $Φ(x)$ is a perturbation of the convolution kernel $|x|^{-2}$. Despite the lack of pseudo conformal invariance for this equation, we prove the existence of critical mass finite-time blowup solutions $u(t,x)… ▽ More We consider $L^2$-critical focusing nonlinear Schroedinger equations with Hartree type nonlinearity $$i \pr_t u = -\DD u - \big (Φ\ast |u|^2 \big) u \quad {in $\RR^4$},$$ where $Φ(x)$ is a perturbation of the convolution kernel $|x|^{-2}$. Despite the lack of pseudo conformal invariance for this equation, we prove the existence of critical mass finite-time blowup solutions $u(t,x)$ that exhibit the pseudo-conformal blowup rate $$ \| \nabla u(t) \|_{L^2_x} \sim \frac{1}{|t|} \quad {as} \quad t \nearrow 0 . $$ Furthermore, we prove the finite-codimensional stability of this conformal blow up, by extending the nonlinear wave operator construction by Bourgain and Wang (see \cite{Bourgain+Wang1997}) to $L^2$-critical Hartree NLS. △ Less

Submitted 17 August, 2008; originally announced August 2008.

Comments: 39 pages

MSC Class: 35Q55; 37K40

Journal ref: Ann. Henri Poincaré 10 (2009), no. 6, 1159-1205

Uniqueness of Ground States for Pseudo-Relativistic Hartree Equations

Authors: Enno Lenzmann

Abstract: We prove uniqueness of ground states $Q$ in $H^{1/2}$ for pseudo-relativistic Hartree equations in three dimensions, provided that $Q$ has sufficiently small $L^2$-mass. This result shows that a uniqueness conjecture by Lieb and Yau in [CMP 112 (1987),147--174] holds true at least under a smallness condition. Our proof combines variational arguments with a nonrelativistic limit, which leads to… ▽ More We prove uniqueness of ground states $Q$ in $H^{1/2}$ for pseudo-relativistic Hartree equations in three dimensions, provided that $Q$ has sufficiently small $L^2$-mass. This result shows that a uniqueness conjecture by Lieb and Yau in [CMP 112 (1987),147--174] holds true at least under a smallness condition. Our proof combines variational arguments with a nonrelativistic limit, which leads to a certain Hartree-type equation (also known as the Choquard-Pekard or Schroedinger-Newton equation). Uniqueness of ground states for this limiting Hartree equation is well-known. Here, as a key ingredient, we prove the so-called nondegeneracy of its linearization. This nondegeneracy result is also of independent interest, for it proves a key spectral assumption in a series of papers on effective solitary wave motion and classical limits for nonrelativistic Hartree equations. △ Less

Submitted 17 September, 2008; v1 submitted 25 January, 2008; originally announced January 2008.

Comments: 27 pages. Revised version. Statement of Theorem 2 changed

MSC Class: 35Q55

Journal ref: Anal. PDE 2 (2009), no. 1, 1-27

Semi-Classical Dynamics in Quantum Spin Systems

Authors: J. Froehlich, A. Knowles, E. Lenzmann

Abstract: We consider two limiting regimes, the large-spin and the mean-field limit, for the dynamical evolution of quantum spin systems. We prove that, in these limits, the time evolution of a class of quantum spin systems is determined by a corresponding Hamiltonian dynamics of classical spins. This result can be viewed as a Egorov-type theorem. We extend our results to the thermodynamic limit of lattic… ▽ More We consider two limiting regimes, the large-spin and the mean-field limit, for the dynamical evolution of quantum spin systems. We prove that, in these limits, the time evolution of a class of quantum spin systems is determined by a corresponding Hamiltonian dynamics of classical spins. This result can be viewed as a Egorov-type theorem. We extend our results to the thermodynamic limit of lattice spin systems and continuum domains of infinite size, and we study the time evolution of coherent spin states in these limiting regimes. △ Less

Submitted 28 September, 2007; originally announced September 2007.

Comments: 16 pages

MSC Class: 35Q40 (Primary); 82C20; 81S99 (Secondary)

Dynamical Collapse of White Dwarfs in Hartree- and Hartree-Fock Theory

Authors: Juerg Froehlich, Enno Lenzmann

Abstract: We study finite-time blow-up for pseudo-relativistic Hartree- and Hartree-Fock equations, which are model equations for the dynamical evolution of white dwarfs. In particular, we prove that radially symmetric initial configurations with negative energy lead to finite-time blow-up of solutions. Furthermore, we derive a mass concentration estimate for radial blow-up solutions. Both results are mat… ▽ More We study finite-time blow-up for pseudo-relativistic Hartree- and Hartree-Fock equations, which are model equations for the dynamical evolution of white dwarfs. In particular, we prove that radially symmetric initial configurations with negative energy lead to finite-time blow-up of solutions. Furthermore, we derive a mass concentration estimate for radial blow-up solutions. Both results are mathematically rigorous and are in accordance with Chandrasekhar's physical theory of white dwarfs, stating that stellar configurations beyond a certain limiting mass lead to ``gravitational collapse'' of these objects. Apart from studying blow-up, we also prove local well-posedness of the initial-value problem for the Hartree- and Hartree-Fock equations underlying our analysis, as well as global-in-time existence of solutions with sufficiently small initial data, corresponding to white dwarfs whose stellar mass is below the Chandrasekhar limit. △ Less

Submitted 7 August, 2006; originally announced August 2006.

Comments: 12 pages

Journal ref: Comm. Math. Phys. 274 (2007), no. 3, 737-750

Effective Dynamics for Boson Stars

Authors: Juerg Froehlich, B. Lars G. Jonsson, Enno Lenzmann

Abstract: We study solutions close to solitary waves of the pseudo-relativistic Hartree equation describing boson stars under the influence of an external gravitational field. In particular, we analyze the long-time effective dynamics of such solutions. In essence, we establish a (long-time) stability result for solutions describing boson stars that move under the influence of an external gravitational fi… ▽ More We study solutions close to solitary waves of the pseudo-relativistic Hartree equation describing boson stars under the influence of an external gravitational field. In particular, we analyze the long-time effective dynamics of such solutions. In essence, we establish a (long-time) stability result for solutions describing boson stars that move under the influence of an external gravitational field. △ Less

Submitted 17 May, 2006; originally announced May 2006.

Comments: 57 pages, 4 figures

MSC Class: 35Q55; 37K40; 81Q05

Journal ref: Nonlinearity 2007, 20, 1031-1075

Boson Stars as Solitary Waves

Authors: Juerg Froehlich, B. Lars G. Jonsson, Enno Lenzmann

Abstract: We study the nonlinear equation $i \partial_t ψ= (\sqrt{-Δ+ m^2} - m) ψ- ( |x|^{-1} \ast |ψ|^2 ) ψ$ on $\RR^3$, which is known to describe the dynamics of pseudo-relativistic boson stars in the mean-field limit. For positive mass parameters, $m > 0$, we prove existence of travelling solitary waves, $ψ(t,x) = e^{i t μ} \sol_{v}(x-vt)$, with speed $|v| < 1$, where $c=1$ corresponds to the speed of… ▽ More We study the nonlinear equation $i \partial_t ψ= (\sqrt{-Δ+ m^2} - m) ψ- ( |x|^{-1} \ast |ψ|^2 ) ψ$ on $\RR^3$, which is known to describe the dynamics of pseudo-relativistic boson stars in the mean-field limit. For positive mass parameters, $m > 0$, we prove existence of travelling solitary waves, $ψ(t,x) = e^{i t μ} \sol_{v}(x-vt)$, with speed $|v| < 1$, where $c=1$ corresponds to the speed of light in our units. Due to the lack of Lorentz covariance, such travelling solitary waves cannot be obtained by applying a Lorentz boost to a solitary wave at rest (with $v=0$). To overcome this difficulty, we introduce and study an appropriate variational problem that yields the functions $\sol_v \in \Hhalf(\RR^3)$ as minimizers, which we call boosted ground states. Our existence proof makes extensive use of concentration-compactness-type arguments. In addition to their existence, we prove orbital stability of travelling solitary waves $ψ(t,x) = e^{it μ} \sol_v(x-vt)$ and pointwise exponential decay of $\sol_v(x)$ in $x$. △ Less

Submitted 12 December, 2005; originally announced December 2005.

Comments: 30 pages

MSC Class: 35Q55; 49J40; 81Q05

Journal ref: Commun.Math.Phys.274:1-30,2007

Blow-Up for Nonlinear Wave Equations describing Boson Stars

Authors: Juerg Froehlich, Enno Lenzmann

Abstract: We consider the nonlinear wave equation $i \partial_t u= \sqrt{-Δ+ m^2} u - (|x|^{-1} \ast |u|^2) u$ on $\RR^3$ modelling the dynamics of (pseudo-relativistic) boson stars. For spherically symmetric initial data, $u_0(x) \in C^\infty_{\mathrm{c}}(\RR^3)$, with negative energy, we prove blow-up of $u(t,x)$ in $H^{1/2}$-norm within a finite time. Physically, this phenomenon describes the onset of… ▽ More We consider the nonlinear wave equation $i \partial_t u= \sqrt{-Δ+ m^2} u - (|x|^{-1} \ast |u|^2) u$ on $\RR^3$ modelling the dynamics of (pseudo-relativistic) boson stars. For spherically symmetric initial data, $u_0(x) \in C^\infty_{\mathrm{c}}(\RR^3)$, with negative energy, we prove blow-up of $u(t,x)$ in $H^{1/2}$-norm within a finite time. Physically, this phenomenon describes the onset of "gravitational collapse" of a boson star. We also study blow-up in external, spherically symmetric potentials and we consider more general Hartree-type nonlinearities. As an application, we exhibit instability for ground state solitary waves at rest if $m=0$. △ Less

Submitted 17 March, 2006; v1 submitted 1 November, 2005; originally announced November 2005.

Comments: final version; to appear in Comm. Pure Appl. Math; 14 pages

Journal ref: Comm. Pure Appl. Math. 60 (2007), no. 11, 1691-1705

Well-Posedness for Semi-Relativistic Hartree Equations of Critical Type

Authors: Enno Lenzmann

Abstract: We prove local and global well-posedness for semi-relativistic, nonlinear Schrödinger equations $i \partial_t u = \sqrt{-Δ+ m^2} u + F(u)$ with initial data in $H^s(\mathbb{R}^3)$, $s \geq 1/2$. Here $F(u)$ is a critical Hartree nonlinearity that corresponds to Coulomb or Yukawa type self-interactions. For focusing $F(u)$, which arise in the quantum theory of boson stars, we derive a sufficient… ▽ More We prove local and global well-posedness for semi-relativistic, nonlinear Schrödinger equations $i \partial_t u = \sqrt{-Δ+ m^2} u + F(u)$ with initial data in $H^s(\mathbb{R}^3)$, $s \geq 1/2$. Here $F(u)$ is a critical Hartree nonlinearity that corresponds to Coulomb or Yukawa type self-interactions. For focusing $F(u)$, which arise in the quantum theory of boson stars, we derive a sufficient condition for global-in-time existence in terms of a solitary wave ground state. Our proof of well-posedness does not rely on Strichartz type estimates, and it enables us to add external potentials of a general class. △ Less

Submitted 29 August, 2005; v1 submitted 22 May, 2005; originally announced May 2005.

Comments: 18 pages; replaced with revised version; remark and reference on blow up added

Journal ref: Math. Phys. Anal. Geom. 10 (2007), no. 1, 43-64

Mean-Field Limit of Quantum Bose Gases and Nonlinear Hartree Equation

Authors: Juerg Froehlich, Enno Lenzmann

Abstract: We discuss the Hartree equation arising in the mean-field limit of large systems of bosons and explain its importance within the class of nonlinear Schroedinger equations. Of special interest to us is the Hartree equation with focusing nonlinearity (attractive two-body interactions). Rigorous results for the Hartree equation are presented concerning: 1) its derivation from the quantum theory of… ▽ More We discuss the Hartree equation arising in the mean-field limit of large systems of bosons and explain its importance within the class of nonlinear Schroedinger equations. Of special interest to us is the Hartree equation with focusing nonlinearity (attractive two-body interactions). Rigorous results for the Hartree equation are presented concerning: 1) its derivation from the quantum theory of large systems of bosons, 2) existence and stability of Hartree solitons, and 3) its point-particle (Newtonian) limit. Some open problems are described. △ Less

Submitted 9 September, 2004; originally announced September 2004.

Comments: 27 pages, 2 figures

Journal ref: Seminaire EDP, Ecole Polytechnique, 2003-2004