32 pages (uses Tikz/PGF code for pictures). Simplified the computation of some integrals using invariance properties. Corrected a wrong proof of a lemma (thanks to the referee)
We compute explicitely the best constants and, by solving some functional equations, we find all maximizers for homogeneous Strichartz estimates for the Schrodinger equation and for the wave equation in the cases when the Lebesgue exponent is an even integer.
In this paper, we first show that there exists a maximizer for the non-endpoint Strichartz inequalities for the Schrödinger equation in all dimensions based on the recent linear profile decomposition results. We then present a new proof of the linear profile decomposition for the Schröindger equation with initial data in the homogeneous Sobolev space; as a consequence, there exists a maximizer for the Sobolev-Strichartz inequality.
We prove the existence of maximizers of Sobolev-Strichartz estimates for a general class of propagators, involving relevant examples, as for instance the wave, Dirac and the hyperbolic Schrodinger flows.
We study the existence of maximizers for a one-parameter family of Strichartz inequalities on the torus. In general maximizing sequences can fail to be precompact in $L^2(\mathbb T)$, and maximizers can fail to exist. We provide a sufficient condition for precompactness of maximizing sequences (after translation in Fourier space), and verify the existence of maximizers for a range of values of the parameter. Maximizers for the Strichartz inequalities correspond to stable, periodic (in space and time) solutions of a model equation for optical pulses in a dispersion-managed fiber.
We prove the existence of maximizers for Strichartz inequalities for the wave equation in dimensions $d\geq 3$. Our approach follows the scheme given by Shao, which obtains the existence of maximizers in the context of the Schrödinger equation. The main tool that we use is the linear profile decomposition for the wave equation which we prove in $\mathbb{R}^d$, $d\geq 3$, extending the profile decomposition result of Bahouri and Gerard, previously obtained in $\mathbb{R}^3$.
This work is devoted to prove a linear profile decomposition for the Airy equation in $\dot{H}_x^{s_k}(\mathbb{R})$, where $s_k=(k-4)/2k$ and $k>4$. We also apply this decomposition to establish the existence of maximizers for a general class of Strichartz type inequalities associated to the Airy equation.
In this paper, we establish the linear profile decomposition for the Airy equation with complex or real initial data in $L^2$, respectively. As an application, we obtain a dichotomy result on the existence of maximizers for the symmetric Airy-Strichartz inequality.
Consider the mass-critical nonlinear Schrödinger equations in both focusing and defocusing cases for initial data in $L^2$ in space dimension N. By Strichartz inequality, solutions to the corresponding linear problem belong to a global $L^p$ space in the time and space variables, where $p=2+4/N$. In 1D and 2D, the best constant for the Strichartz inequality was computed by D.~Foschi who has also shown that the maximizers are the solutions with Gaussian initial data. Solutions to the nonlinear problem with small initial data in $L^2$ are globally defined and belong to the same global $L^p$ spac…
In this paper, we study the extremal problem for the Strichartz inequality for the Schrödinger equation on the $\mathbb{R} \times \mathbb{R}^2$; we provide a new proof to the characterization of the extremal functions. The only extremal functions are Gaussian functions up to the natural symmetry of the Strichartz inequality, which was investigated previously by Foschi \cite{Foschi:2007:maxi-strichartz-2d} and Hundertmark-Zharnitsky \cite{Hundertmark-Zharnitsky:2006:maximizers-Strichartz-low-dimensions}.
In this note, we show that a pair of Gaussian functions are extremisers to a bilinear Strichartz inequality, and unique up to the symmetry group of the inequality.
We prove that there exists an extremal function to the Airy Strichartz inequality, $e^{-t\partial_x^3}: L^2(\mathbb{R})\to L^8_{t,x}(\mathbb{R}^2)$ by using the linear profile decomposition. Furthermore we show that, if $f$ is an extremiser, then $f$ is extremely fast decaying in Fourier space and so $f$ can be extended to be an entire function on the whole complex domain. The rapid decay of the Fourier transform of extremisers is established with a bootstrap argument which relies on a refined bilinear Airy Strichartz estimate and a weighted Strichartz inequality.
In this paper, we study the extremal problem for the Strichartz inequality for the Schrödinger equation on $\mathbb{R}^2$. We show that the solutions to the associated Euler-Lagrange equation are exponentially decaying in the Fourier space and thus can be extended to be complex analytic. Consequently we provide a new proof to the characterization of the extremal functions: the only extremals are Gaussian functions, which was investigated previously by Foschi and Hundertmark-Zharnitsky.
This paper is concerned with derivation of the global or local in time Strichartz estimates for radially symmetric solutions of the free wave equation from some Morawetz-type estimates via weighted Hardy-Littlewood-Sobolev (HLS) inequalities. In the same way we also derive the weighted end-point Strichartz estimates with gain of derivatives for radially symmetric solutions of the free Schroedinger equation. The proof of the weighted HLS inequality for radially symmetric functions involves an application of the weighted inequality due to Stein and Weiss and the Hardy-Littlewood maximal inequali…
We give a necessary and sufficient condition for the precompactness of all optimizing sequences for the Stein-Tomas inequality. In particular, if a well-known conjecture about the optimal constant in the Strichartz inequality is true, we obtain the existence of an optimizer in the Stein-Tomas inequality. Our result is valid in any dimension.
We obtain an $L^4$ space-time Strichartz inequality for any smooth three-dimensional Riemannian manifold $(M,g)$ which is asymptotically conic at infinity and non-trapping, where $u$ is a solution to the Schrödinger equation $iu_t + {1/2} Δ_M u = 0$. The exponent $H^{1/4}(M)$ is sharp, by scaling considerations. In particular our result covers asymptotically flat non-trapping manifolds. Our argument is based on the interaction Morawetz inequality introduced by Colliander et al., interpreted here as a positive commutator inequality for the tensor product $U(t,z',z'') := u(t,z') u(t,z'')$ of the…
We identify the compactness threshold for optimizing sequences of the Airy-- Strichartz inequality as an explicit multiple of the sharp constant in the Strichartz inequality. In particular, if the sharp constant in the Airy--Strichartz inequality is strictly smaller than this multiple of the sharp constant in the Strichartz inequality, then there is an optimizer for the former inequality. Our result is valid for the full range of Airy--Strichartz inequalities (except the endpoints) both in the diagonal and off-diagonal cases.
We prove a sharpened version of the Strichartz inequality for radial solutions of the Schrödinger equation in $\mathbb{R}^2\times \mathbb{R}$. We establish an improved upper bound for functions that nearly extremize the inequality, with a negative second term that measures the distance from the initial data to Gaussians.
In this paper, we investigate a stochastic Hardy-Littlewood-Sobolev inequality. Due to the stochastic nature of the inequality, the relation between the exponents of intgrability is modified. This modification can be understood as a regularization by noise phenomenon. As a direct application, we derive Strichartz estimates for the white noise dispersion which enables us to address a conjecture from [3].
We prove wellposedness of the Cauchy problem for the nonlinear Schrodinger equation for any defocusing power nonlinearity on a domain of the plane with Dirichlet boundary conditions. The main argument is based on a generalized Strichartz inequality on manifolds with Lipschitz metric.
Let $u:\R \times \R^n \to \C$ be the solution of the linear Schrödinger equation $iu_t + Δu =0$ with initial data $u(0,x) = f(x)$. In the first part of this paper we obtain a sharp inequality for the Strichartz norm $\|u(t,x)\|_{L^{2k}_tL^{2k}_x(\R \times\R^n)}$, where $k\in \Z$, $k \geq 2$ and $(n,k) \neq (1,2)$, that admits only Gaussian maximizers. As corollaries we obtain sharp forms of the classical Strichartz inequalities in low dimensions (works of Foschi and Hundertmark - Zharnitsky) and also sharp forms of some Sobolev-Strichartz inequalities. In the second part of the paper we expres…
We prove a Strichartz inequality for a system of orthonormal functions, with an optimal behavior of the constant in the limit of a large number of functions. The estimate generalizes the usual Strichartz inequality, in the same fashion as the Lieb-Thirring inequality generalizes the Sobolev inequality. As an application, we consider the Schrödinger equation in a time-dependent potential and we show the existence of the wave operator in Schatten spaces.
We disprove a conjecture of Foschi, regarding extremizers for the Strichartz inequality with data in the Sobolev space $\dot{H}^{1/2}\times\dot{H}^{-1/2}(\mathbb R^d)$, for even $d\ge 2$. On the other hand, we provide evidence to support the conjecture in odd dimensions, and refine his sharp inequality in $\mathbb R^{1+3}$, adding a term proportional to the distance of the initial data from the set of extremizers. The proofs use the conformal compactification of the Minkowski space-time given by the Penrose transform.
We obtain Strichartz estimates for the fractional heat equations by using both the abstract Strichartz estimates of Keel-Tao and the Hardy-Littlewood-Sobolev inequality. We also prove an endpoint homogeneous Strichartz estimate via replacing $ L^{\infty}_{x}(\mathbb{R}^{n})$ by $BMO_{x}(\mathbb{R}^{n})$ and a parabolic homogeneous Strichartz estimate. Meanwhile, we generalize the Strichartz estimates by replacing the Lebesgue spaces with either Besov spaces or Sobolev spaces. Moreover, we establish the Strichartz estimates for the fractional heat equations with a time dependent potential of an…
We prove here essentially sharp linear and bilinear Strichartz type estimates for the wave equations on Minkowski space, where we assume the initial data possesses additional regularity with respect to fractional powers of the usual angular momentum operators. In this setting, the range of (q,r) exponents vastly improves over what is available for the wave equations based on translation invariant derivatives of the initial data and the dispersive inequality. Two proofs of this result are given.
The endpoint Strichartz estimate $\| e^{itΔ} f \|_{L^2_t L^\infty_x(\R \times \R^2)} \lesssim \|f\|_{L^2_x(\R^2)}$ is known to be false by the work of Montgomery-Smith, despite being only ``logarithmically far'' from being true in some sense. In this short note we show that (in sharp constrast to the $L^p_{t,x}$ Strichartz estimates) the situation is not improved by passing to a bilinear setting; more precisely, if $P, P'$ are non-trivial smooth Fourier cutoff multipliers then we show that the bilinear estimate $$\| (e^{itΔ} P f) (e^{itΔ} P' g) \|_{L^2_t L^\infty_x(\R \times \R^2)} \lesssim \|…
In this paper, we will establish the best constants for certain classes of weighted Moser-Trudinger inequalities on the entire Euclidean spaces $\mathbb{R}^N$. We will also prove the existence of maximizers of these sharp weighted inequalities. The class of functions considered here are not necessarily spherically symmetric. Our inequality in Theorem 1.1 improves the earlier one where such type of inequality was only considered for spherically symmetric functions by M. Ishiwata, M. Nakamura, H. Wadade in \cite{INW} (except in the case $s\not=0$). Since $\int_{\mathbb{R}^N}Φ_N(α|u|^{N/(N-1)})\f…
In this paper we study the existence of maximizers for two families of interpolation inequalities, namely a generalized Gagliardo-Nirenberg inequality and a new inequality involving the Riesz energy. Two basic tools in our argument are a generalization of Lieb's Translation Lemma and a Riesz energy version of the Brézis--Lieb lemma.
We study the well-posedness of the Cauchy problem with Dirichlet or Neumann boundary conditions associated to an H 1 -critical semilinear wave equation on a smooth bounded 2D domain Ω. First, we prove an appropriate Strichartz type estimate using the $L^q$ spectral projector estimates of the Laplace operator. Our proof follows Burq-Lebeau-Planchon [5]. Then, we show the global well-posedness when the energy is below or at the threshold given by the sharp Moser-Trudinger inequality. Finally, in the supercritical case, we prove an instability result using the finite speed of propagation and a qu…
We prove all the maximizers of the sharp Hardy-Littlewood-Sobolev inequality are smooth. More generally, we show all the nonnegative critical functions are smooth, radial with respect to some points and strictly decreasing in the radial direction. In particular, this resolves all the cases left open by previous works of Chen, Li and Ou on the corresponding integral systems.
Eigenfunctions of the fractional Schrödinger operators in a domain $\mathcal{D}$ are considered, and a relation between the supremum of the potential and the distance of a maximizer of the eigenfunction from $\partial\mathcal{D}$ is established. This, in particular, extends a recent result of Rachh and Steinerberger to the fractional Schrödinger operators. We also propose a fractional version of the Barta's inequality and also generalize a celebrated Lieb's theorem for fractional Schrödinger operators. As applications of above results we obtain a Faber-Krahn inequality for non-local Schrödinge…
In this article we study the Schrödinger equation associated with Harmonic oscillator in the form of Strichartz type inequality. We give simple proofs for Strichartz type inequalities using purely the $L^2 \to L^p$ operator norm estimates of the spectral projections associated harmonic oscillator proved in \cite{KT}. Our Strichartz type estimates are sharp in sense of regularity of initial data.
Gaussians Do Not Always Maximize Mixed-Norm Strichartz Inequalities for the Schrödinger Equation
IMPA – Instituto de Matemática Pura e Aplicada(巴西纯数学与应用数学研究所);Center for Mathematical Analysis, Geometry and Dynamical Systems & Departamento de Matemática Instituto Superior Técnico Universidade de Lisboa(里斯本大学高等技术学院数学系及数学分析、几何与动力系统中心)
We show that, possibly after a compactification of spacetime, constant functions are local maximizers of the Tomas-Stein adjoint Fourier restriction inequality for the cone and paraboloid in every dimension, and for the sphere in dimension up to 60. For the cone and paraboloid we work from the PDE framework, which enables the use of the Penrose and the Lens transformations, which map the conjectured optimal functions into constants.
We study existence of maximizer for the Trudinger-Moser inequality with general nonlinearity of the critical growth on $R^2$, as well as on the disk. We derive a very sharp threshold nonlinearity between the existence and the non-existence in each case, in asymptotic expansions with respect to growth and decay of the function. The expansions are explicit, using Apéry's constant. We also obtain an asymptotic expansion for the exponential radial Sobolev inequality on $R^2$.
The goal of this review is to explain some recent results regarding generalizations of the Stein-Tomas (and Strichartz) inequalities to the context of trace ideals (Schatten spaces).
We study the dispersive properties of the linear vibrating plate (LVP) equation. Splitting it into two Schrödinger-type equations we show its close relation with the Schrödinger equation. Then, the homogeneous Sobolev spaces appear to be the natural setting to show Strichartz-type estimates for the LVP equation. By showing a Kato-Ponce inequality for homogeneous Sobolev spaces we prove the well-posedness of the Cauchy problem for the LVP equation with time-dependent potentials. Finally, we exhibit the sharpness of our results. This is achieved by finding a suitable solution for the stationary …
Let $0<σ<n/2$ and $H=(-Δ)^σ+V(x)$ be Schrödinger type operators on $\mathbb R^n$ with a class of scaling-critical potentials $V(x)$, which include the Hardy potential $a|x|^{-2σ}$ with a sharp coupling constant $a\ge -C_{σ,n}$ ($C_{σ,n}$ is the best constant of Hardy's inequality of order $σ$). In the present paper we consider several sharp global estimates for the resolvent and the solution to the time-dependent Schrödinger equation associated with $H$. In the case of the subcritical coupling constant $a>-C_{σ,n}$, we first prove {\it uniform resolvent estimates} of Kato--Yajima type for all …
We apply the borderline Sobolev inequalities of Bourgain-Brezis to the vorticity equation and Navier-Stokes equation in 2D. We take the initial vorticity to be in the space of functions of Bounded variation(BV). We obtain the subsequent vorticity to be in the space of functions of bounded variation, uniformly for small time, and the velocity vector to be uniformly bounded for small time. Such a conclusion cannot follow for initial vorticity taken to be just a measure or in L^1 from the Lamb-Oseen vortex example. Secondly we apply an improved Strichartz inequality obtained earlier by the first …
For an appropriate class of convex functions $ϕ$, we study the Fourier extension operator on the surface $\{(y, |y|^2+ϕ(y)):y\in\mathbb{R}^2\}$ equipped with projection measure. For the corresponding extension inequality, we compute optimal constants and prove that extremizers do not exist. The main tool is a new comparison principle for convolutions of certain singular measures that holds in all dimensions. Using tools of concentration-compactness flavor, we further investigate the behavior of general extremizing sequences. Our work is directly related to the study of extremizers and optimal …
We investigate a class of sharp Fourier extension inequalities on the planar curves $s=|y|^p$, $p>1$. We identify the mechanism responsible for the possible loss of compactness of nonnegative extremizing sequences, and prove that extremizers exist if $1<p<p_0$, for some $p_0>4$. In particular, this resolves the dichotomy of Jiang, Pausader & Shao concerning the existence of extremizers for the Strichartz inequality for the fourth order Schrödinger equation in one spatial dimension. One of our tools is a geometric comparison principle for $n$-fold convolutions of certain singular measures in $\…
In this paper we study sharp estimates for the Schrödinger operator via the framework of orthogonal polynomials. We use spherical harmonics and Gegenbauer polynomials to prove a new weighted inequality for the Schrödinger equation that is maximized by radial functions. We use Hermite and Laguerre polynomial expansions to produce sharp Strichartz estimates for even exponents. In particular, for radial initial data in dimension 2, we establish an interesting connection of the Strichartz norm with a combinatorial problem about words with four letters.
In this paper, we consider exterior problem of the critical semilinear wave equation in three space dimensions with variable coefficients and prove global existence of smooth solutions. Similar to the constant coefficients case, we show that the energy cannot concentrate at any point $(t,x)\in(0,\infty)\timesΩ$. For that purpose, following Ibrahim and Majdoub \cite{Ibrahim}, we use a geometric multiplier close to the well-known Morawetz multiplier used in the constant coefficients case. Then we use comparison theorem from Riemannian Geometry to estimate the error terms. Finally, using Strichar…
We study the existence and nonexistence of maximizers for variational problem concerning to the Moser--Trudinger inequality of Adimurthi--Druet type in $W^{1,N}(\mathbb R^N)$ \[ MT(N,β, α) =\sup_{u\in W^{1,N}(\mathbb R^N), \|\nabla u\|_N^N + \|u\|_N^N\leq 1} \int_{\mathbb R^N} Φ_N(β(1+α\|u\|_N^N)^{\frac1{N-1}} |u|^{\frac N{N-1}}) dx, \] where $Φ_N(t) =e^{t} -\sum_{k=0}^{N-2} \frac{t^k}{k!}$, $0\leq α< 1$ both in the subcritical case $β< β_N$ and critical case $β=β_N$ with $β_N = N ω_{N-1}^{\frac1{N-1}}$ and $ω_{N-1}$ denotes the surface area of the unit sphere in $\mathbb R^N$. We will show th…
Consider the metric cone $X=C(Y)=(0,\infty)_r\times Y$ with the metric $g=\mathrm{d}r^2+r^2h$ where the cross section $Y$ is a compact $(n-1)$-dimensional Riemannian manifold $(Y,h)$. Let $Δ_g$ be the Friedrich extension positive Laplacian on $X$ and let $Δ_h$ be the positive Laplacian on $Y$, and consider the operator $\LL_V=Δ_g+V_0 r^{-2}$ where $V_0\in\CC^\infty(Y)$ such that $Δ_h+V_0+(n-2)^2/4$ is a strictly positive operator on $L^2(Y)$. In this paper, we prove the global-in-time Strichartz estimates without loss for the wave equation associated with the operator $\LL_V$ which verifies\ci…
We consider the inhomogeneous biharmonic nonlinear Schrödinger equation $$ i u_t +Δ^2 u+λ|x|^{-b}|u|^αu = 0, $$ where $λ=\pm 1$ and $α$, $b>0$. In the subctritical case, we improve the global well-posedness result obtained in \cite{GUZPAS} for dimensions $N=5,6,7$ in the Sobolev space $H^2(\mathbb{R}^N)$. The fundamental tools to establish our results are the standard Strichartz estimates related to the linear problem and the Hardy-Littlewood inequality. Results concerning the energy-critical case, that is, $α=\frac{8-2b}{N-4}$ are also reported. More precisely, we show well-posedness and a st…