Abstract
This paper is a survey article of results and arguments from authors’ papers (Ruzhansky and Sugimoto in Proc. Lond. Math. Soc. 105:393–423, 2012; Ruzhansky and Sugimoto in Smoothing properties of non-dispersive equations; Ruzhansky and Sugimoto in Smoothing properties of inhomogeneous equations via canonical transforms), and describes a new approach to global smoothing problems for dispersive and non-dispersive evolution equations based on ideas of comparison principle and canonical transforms. For operators a(D x ) of order m satisfying the dispersiveness condition ∇a(ξ)≠0, the smoothing estimate
is established, while it is known to fail for general non-dispersive operators. Especially, time-global smoothing estimates for the operator a(D x ) with lower order terms are the benefit of our new method. For the case when the dispersiveness breaks, we suggest a form
which is equivalent to the usual estimate in the dispersive case and is also invariant under canonical transformations for the operator a(D x ). It does continue to hold for a variety of non-dispersive operators a(D x ), where ∇a(ξ) may become zero on some set. It is remarkable that our method allows us to carry out a global microlocal reduction of equations to the translation invariance property of the Lebesgue measure.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
Mathematics Subject Classification (2010)
13.1 Introduction
This survey article is a collection of results and arguments from authors’ papers [18, 19], and [20].
Let us consider the following Cauchy problem to the Schrödinger equation:
By Plancherel’s theorem, the solution \(u(t,x)=e^{it\triangle_{x}}\varphi(x)\) preserves the L 2-norm of the initial data φ, that is, we have \({\Vert {u(t,\cdot)}\Vert }_{L^{2}({\mathbb{R}}^{n}_{x})}={\Vert {\varphi }\Vert }_{L^{2}({\mathbb{R}}^{n})}\) for any fixed time \(t\in {\mathbb{R}}\). But if we integrate the solution in t, we get an extra gain of regularity of order 1/2 in x. For example we have the estimate
for \(u=e^{it\varDelta _{x}}\varphi\), where \({ \langle{x} \rangle}=\sqrt{1+|x|^{2}}\), and (a sharper version of) this estimate was first given by Kenig, Ponce and Vega [12]. This type of estimate is called a smoothing estimate, and its local version was first proved by Sjölin [23], Constantin and Saut [6], and Vega [26]. We remark that, historically, such a smoothing estimate was first shown to Korteweg-de Vries equation
and Kato [10] proved that the solution u=u(t,x) (\(t,x\in {\mathbb{R}}\)) satisfies
Similar smoothing estimates have been observed for generalised equations
which come from equations of fundamental importance in mathematical physics as their principal parts:
-
a(ξ)=|ξ|2 ⋯ Schrödinger
$$i\partial_tu-\varDelta _xu=0 $$ -
\(a(\xi)=\sqrt{|\xi|^{2}+1}\) ⋯ Relativistic Schrödinger
$$i\partial_tu+\sqrt{-\varDelta _x+1} u=0 $$ -
a(ξ)=ξ 3 (n=1) ⋯ Korteweg-de Vries (shallow water wave)
$$\partial_tu+\partial_x^3u+u \partial_xu=0 $$ -
a(ξ)=|ξ|ξ (n=1) ⋯ Benjamin-Ono (deep water wave)
$$\partial_tu-\partial_x|D_x|u+u \partial_xu=0 $$ -
\(a(\xi)=\xi_{1}^{2}-\xi_{2}^{2}\) (n=2) ⋯ Davey-Stewartson (shallow water wave of 2D)
$$\begin{cases} i\partial_tu-\partial_x^2u+\partial_y^2u=c_1|u|^2u+c_2u\partial_x v \\ \partial_x^2 v-\partial_y^2 v=\partial_x|u|^2 \end{cases} $$ -
\(a(\xi)=\xi_{1}^{3}+\xi_{2}^{3}, \xi_{1}^{3}+3\xi^{2}_{2}, \xi_{1}^{2}+\xi_{1}\xi_{2}^{2}\) ⋯ Shrira (deep water wave of 2D)
-
a(ξ)=quadratic form (n≥3) ⋯ Zakharov-Schulman (interaction of sound wave and low amplitudes high frequency wave)
There has already been a lot of literature on this subject from various points of view. See, Ben-Artzi and Devinatz [2, 3], Ben-Artzi and Klainerman [4], Chihara [5], Hoshiro [7, 8], Kato and Yajima [11], Kenig, Ponce and Vega [12–16], Linares and Ponce [17], Simon [22], Sugimoto [24, 25], Walther [27, 28], and many others. We note that for a given operator A the following are equivalent to each other based on classical works by Agmon [1] and Kato [9]:
-
Smoothing estimate
$${\bigl \Vert {A e^{-it\varDelta _x}\varphi(x)}\bigr \Vert } _{L^2{ ({{\mathbb{R}}_t\times {\mathbb{R}}^n_x} )}}\le C{ \Vert {\varphi }\Vert }_{L^2{ ({{\mathbb{R}}^n_x} )}} \quad\mbox{where }A=A(X,D_x), $$ -
Restriction estimate
$${\bigl \Vert { \widehat{A^*f}_{|S^{n-1}_\rho} }\bigr \Vert }_{L^2{ ({S^{n-1}_\rho} )}} \le C\sqrt{\rho} {\Vert {f}\Vert }_{L^2({\mathbb{R}}^n)}, \quad\mbox{where } S^{n-1}_\rho={ \bigl\{{\xi; |\xi|=\rho} \bigr\} }\ (\rho>0), $$ -
Resolvent estimate
$$\sup_{\operatorname{Im}\zeta>0}{\bigl \vert {{ \bigl({R(\zeta)A^*f,A^*f} \bigr)}} \bigr \vert } \leq C {\Vert {f}\Vert }^2_{L^2({\mathbb{R}}^n)},\quad \mbox{where } R(\zeta)={ ({-\triangle-\zeta} )}^{-1} . $$
Most of the literature so far use the above equivalence to show smoothing estimates for dispersive equations by showing restriction or resolvent estimates instead.
But here we develop a completely different strategy. We investigate smoothing estimates by using methods of comparison and canonical transform which are quite efficient for this problem:
-
1.
Comparison principle ⋯ comparison of symbols implies that of estimates,
-
2.
Canonical transform ⋯ transform an equation to another simple one.
They work not only for all the dispersive equations (that is, the case ∇a≠0) but also for some non-dispersive equations, and induce smoothing estimates of an invariant form. Smoothing estimates for inhomogeneous equations can be also discussed by a similar treatment. We will explain them in due order.
13.2 Comparison Principle
Here we list theorems exemplifying the comparison principle, which have been established in Sect. 2 in [18]:
Theorem 1
(1D case)
Let \(f,g\in C^{1}({\mathbb{R}})\) be real-valued and strictly monotone. If \(\sigma,\tau\in C^{0}({\mathbb{R}})\) satisfy
then we have
for all \(x\in {\mathbb{R}}\).
Theorem 2
(2D case)
Let \(f(\xi,\eta), g(\xi,\eta)\in C^{1}({\mathbb{R}}^{2})\) be real-valued and strictly monotone in \(\xi\in {\mathbb{R}}\) for each fixed \(\eta\in {\mathbb{R}}\). If \(\sigma,\tau\in C^{0}({\mathbb{R}}^{2})\) satisfy
then we have
for all \(x\in {\mathbb{R}}\).
Theorem 3
(Radially Symmetric case)
Let \(f,g\in C^{1}({\mathbb{R}}_{+})\) be real-valued and strictly monotone. If \(\sigma,\tau\in C^{0}({\mathbb{R}}_{+})\) satisfy
then we have
for all \(x\in {\mathbb{R}}^{n}\).
13.3 Canonical Transforms
Next we will review the idea of canonical transforms discussed in Sect. 4 in [18]. It is based on the so-called Egorov’s theorem.
Let \(\psi:\varGamma \to\widetilde{\varGamma }\) be a C ∞-diffeomorphism between open sets \(\varGamma \subset {\mathbb{R}}^{n}\) and \(\widetilde{\varGamma }\subset {\mathbb{R}}^{n}\). We always assume that
for some C>0. We set formally
The operators I ψ can be justified by using cut-off functions γ∈C ∞(Γ) and \(\widetilde{\gamma}=\gamma\circ\psi^{-1}\in C^{\infty}(\widetilde {\varGamma })\) which satisfy \(\operatorname{supp}\gamma\subset \varGamma \), \(\operatorname{supp}\widetilde{\gamma}\subset\widetilde{\varGamma }\). We set
In the case that \(\varGamma , \widetilde{\varGamma }\subset {\mathbb{R}}^{n}\setminus0\) are open cones, we may consider the homogeneous functions ψ and γ which satisfy \(\operatorname{supp}\gamma\cap {\mathbb{S}}^{n-1}\subset \varGamma \cap {\mathbb{S}}^{n-1}\) and \(\operatorname{supp}\widetilde{\gamma}\cap {\mathbb{S}}^{n-1}\subset\widetilde{\varGamma }\cap {\mathbb{S}}^{n-1}\), where \({\mathbb{S}}^{n-1}={ \{{\xi\in{{\mathbb{R}}^{n}}: |\xi|=1} \}}\). Then we have the expressions for compositions
and also the formula
We also introduce the weighted L 2-spaces. For a weight function w(x), let \(L^{2} ({\mathbb{R}}^{n};w)\) be the set of measurable functions \(f:{{\mathbb{R}}^{n}}\to {\mathbb{C}}\) such that the norm
is finite. Then, on account of the relations (2), we obtain the following fundamental theorem (Theorem 4.1 in [18]):
Theorem 4
Assume that the operator I ψ,γ defined by (1) is \(L^{2}({\mathbb{R}}^{n};w)\)-bounded. Suppose that we have the estimate
for all φ such that \(\operatorname{supp}\widehat{\varphi}\subset \operatorname{supp}\widetilde{\gamma}\), where \(\widetilde{\gamma}=\gamma\circ\psi^{-1}\). Assume also that the function
is bounded. Then we have
for all φ such that \(\operatorname{supp}\widehat{\varphi}\subset \operatorname{supp}\gamma\), where a(ξ)=(σ∘ψ)(ξ).
Note that \(e^{ita(D_{x})}\varphi(x)\) and \(e^{it\sigma(D_{x})}\varphi(x)\) are solutions to
respectively. Theorem 4 means that smoothing estimates for the equation with σ(D x ) implies those with a(D x ) if the canonical transformations which relate them are bounded on weighted L 2-spaces.
As for the \(L^{2}({\mathbb{R}}^{n};w)\)-boundedness of the operator I ψ,γ , we have criteria for some special weight functions. For \(\kappa \in {\mathbb{R}}\), let \(L^{2}_{\kappa }({\mathbb{R}}^{n})\) be the set of measurable functions f such that the norm
is finite. Then we have the following mapping properties (Theorems 4.2, 4.3 in [18]).
Theorem 5
Let \(\varGamma , \widetilde{\varGamma }\subset {\mathbb{R}}^{n}\setminus0\) be open cones. Suppose |κ|<n/2. Assume ψ(λξ)=λψ(ξ), γ(λξ)=γ(ξ) for all λ>0 and ξ∈Γ. Then the operator I ψ,γ defined by (1) is \(L^{2}_{\kappa }({\mathbb{R}}^{n})\)-bounded.
Theorem 6
Suppose \(\kappa \in {\mathbb{R}}\). Assume that all the derivatives of entries of the n×n matrix ∂ψ and those of γ are bounded. Then the operator I ψ,γ defined by (1) are \(L^{2}_{\kappa }({\mathbb{R}}^{n})\)-bounded.
13.4 Smoothing Estimates for Dispersive Equations
We consider smoothing estimates for solutions \(u(t,x)=e^{ita(D_{x})}\varphi(x)\) to general equations
Let a m (ξ) be the principal term of a(ξ) satisfying
We assume that a(ξ) is dispersive in the following sense:
or, otherwise, we assume
Example 1
\(a(\xi)=\xi_{1}^{3}+\cdots+\xi_{n}^{3}+\xi_{1}\) satisfies (L).
The dispersiveness means that the classical orbit, that is, the solution of the Hamilton-Jacobi equations
does not stop, and the singularity of \(u(t,x)=e^{ita(D_{x})}\varphi(x)\) travels to infinity along this orbit. Hence we can expect the smoothing, and indeed we have the following result (Theorem 5.1, Corollary 5.5 in [18]):
Theorem 7
Assume (H) or (L). Suppose m≥1 and s>1/2. Then we have
Remark 1
Theorem 7 with polynomials a(ξ) follows immediately from a sharp version of local smoothing estimate proved by Theorem 4.1 of Kenig, Ponce and Vega [12], and any polynomial a(ξ) which satisfies the estimate in Theorem 7 has to be dispersive, that is ∇a m (ξ)≠0 (ξ≠0) (see Hoshiro [8]). Theorem 7 with a(ξ)=|ξ|2 and n≥3 was also stated by Ben-Artzi and Klainerman [4], and with the case (H) and m>1 by Chihara [5] in different contexts.
13.5 Proof by New Methods
We explain how to prove Theorem 7 under the condition (H) by our new method. The main strategy is that we obtain estimates for low dimensional model cases from some trivial estimate by the comparison principle, and reduce general case to such model cases by the method of canonical transforms.
13.5.1 Low Dimensional Model Estimates
By the comparison principle, we can show the equivalence of low dimensional estimates of various type. In the 1D case, we have (for l,m>0)
for all \(x\in {\mathbb{R}}\). Here \(\operatorname{supp}\widehat{\varphi}\subset[0,+\infty)\) or (−∞,0].
In the 2D case, we have (for l,m>0)
for all \(x\in {\mathbb{R}}\). On the other hand, in 1D case, we have trivially
for all \(x\in {\mathbb{R}}\). Using the equality (5), the right hand sides of (3) and (4) with l=1 can be estimated, and we have for all \(x\in {\mathbb{R}}\):
-
(1D Case)
$${\bigl \Vert {|D_x|^{(m-1)/2}e^{it|D_x|^m}\varphi(x)}\bigr \Vert }_{L^2({\mathbb{R}}_t)} \leq C{\Vert {\varphi} \Vert }_{L^2({\mathbb{R}}_x)}, $$ -
(2D Case)
$${\bigl \Vert {|D_y|^{(m-1)/2}e^{itD_x|D_y|^{m-1}}\varphi(x,y)} \bigr \Vert }_{L^2({\mathbb{R}}_t\times {\mathbb{R}}_y)} \leq C{\Vert {\varphi} \Vert }_{L^2{ ({{\mathbb{R}}^2_{x,y}} )}}. $$
Remark 2
In the case m=2, these estimates were proved by Kenig, Ponce & Vega [12] (1D case) and Linares & Ponce [17] (2D case).
The following is a straightforward consequence from these estimates:
Proposition 1
Suppose m>0 and s>1/2. Then for n≥1 we have
and for n≥2 we have
where D x =(D 1,…,D n ).
13.5.2 Reduction to Model Estimates
On account of the method of canonical transform (Theorem 4), smoothing estimates for dispersive equations (Theorem 7) can be reduced to low dimensional model estimates (Proposition 1) by the canonical transformation if we find a homogeneous change of variable ψ such that
We show how to select such ψ under the assumption (H). The argument for the case (L) is similar. By microlocalisation and rotation, we may assume that the initial data φ satisfies \(\operatorname{supp}\hat{\varphi}\subset \varGamma \), where \(\varGamma \subset {\mathbb{R}}^{n}\setminus0\) is a sufficiently small conic neighbourhood of e n =(0,…,0,1). Furthermore, we have Euler’s identity
and the dispersiveness ∇a(e n )≠0 implies the following two cases:
-
(I)
∂ n a(e n )≠0 ⋯ (elliptic). By Euler’s identity, we have a(e n )≠0. Hence, in this case, we may assume a(ξ)>0 (ξ∈Γ), ∂ n a(e n )≠0.
-
(II)
∂ n a(e n )=0 ⋯ (non-elliptic). By assumption ∇a(e n )≠0, there exits j≠n such that ∂ j a(e n )≠0. Hence, in this case, we may assume ∂ 1 a(e n )≠0.
In the elliptic case (I), we take
Then we have a(ξ)=(σ∘ψ)(ξ), and ψ is surely a change of variables on Γ since
where E n−1 is the identity matrix. In the non-elliptic case (II), we take
Then we have again a(ξ)=(σ∘ψ)(ξ) and
Thus, we successfully showed Theorem 7 in both cases.
13.6 Non-dispersive Case
Now we consider what happens if the equation does not satisfy the dispersiveness assumption ∇a(ξ)≠0 (\(\xi\in {\mathbb{R}}^{n}\)). All the precise results and arguments in this section are to appear in our forthcoming paper [19].
Although we cannot have smoothing estimates (see Remark 1), such case appears naturally in physics. For example, let us consider a coupled system of Schrödinger equations
which represents a linearised model of wave packets with two modes. Assume that this system is diagonalised and regard it as a single equations for the eigenvalues:
Then there could exist points ξ such that ∇a(ξ)=0 because of the lower order terms b(ξ), c(ξ). Another interesting examples are Shrira equations, in which case:
Although \(a(\xi)=\xi_{1}^{3}+\xi_{2}^{3}\) satisfies assumption (H), \(a(\xi)=\xi_{1}^{3}+3\xi^{2}_{2}\) and \(a(\xi)=\xi_{1}^{2}+\xi_{1}\xi_{2}^{2}\) do not satisfy assumption (L) because ∇a(0)=0.
We suggest an estimate which we expect to hold for non-dispersive equations:
and let us call it invariant estimate. This estimate has a number of advantages:
-
in the dispersive case ∇a(ξ)≠0, it is equivalent to Theorem 7;
-
it is invariant under canonical transformations for the operator a(D x );
-
it does continue to hold for a variety of non-dispersive operators a(D x ), where ∇a(ξ) may become zero on some set and when the usual estimate fails;
-
it does take into account zeros of the gradient ∇a(ξ), which is also responsible for the interface between dispersive and non-dispersive zone (e.g. how quickly the gradient vanishes).
13.6.1 Secondary Comparison
By using comparison principle again to the smoothing estimates obtained from the comparison principle, we can have new estimates. This is a powerful tool to induce the invariant estimates (6) for non-dispersive equations. For example, we have just obtained the estimate
(Theorem 7 with a(ξ)=|ξ|m) from comparison principle and canonical transformation. If we set g(ρ)=ρ m, τ(ρ)=ρ (m−1)/2, then we have \(|\tau(\rho)|/|g'(\rho)|^{1/2}=1/\sqrt{m}\). Hence by the comparison result again for the radially symmetric case (Theorem 3), we have
Theorem 8
Suppose s>1/2. Let \(f\in C^{1}({\mathbb{R}}_{+})\) be real-valued and strictly monotone. If \(\sigma\in C^{0}({\mathbb{R}}_{+})\) satisfy
then we have
From this secondary comparison, we obtain immediately the following invariant estimate since a radial function a(ξ)=f(|ξ|) always satisfies |∇a(ξ)|=|f′(|ξ|)|.
Theorem 9
Suppose s>1/2. Let a(ξ)=f(|ξ|) and \(f\in C^{\infty}({\mathbb{R}}_{+})\) be real-valued. Then we have
Example 2
a(ξ)=(|ξ|2−1)2 is non-dispersive because
if |ξ|=0,1. But we have the invariant estimate by Theorem 9.
For the non-radially symmetric case, we compare again to the low dimensional model estimates (Proposition 1) and obtain
Theorem 10
(1D secondary comparison)
Suppose s>1/2. Let \(f\in C^{1}({\mathbb{R}})\) be real-valued and strictly monotone. If \(\sigma\in C^{0}({\mathbb{R}})\) satisfies
then we have
Theorem 11
(2D secondary comparison)
Suppose s>1/2. Let \(f\in C^{1}({\mathbb{R}}^{2})\) be real-valued and f(ξ,η) be strictly monotone in \(\xi\in {\mathbb{R}}\) for every fixed \(\eta\in {\mathbb{R}}\). If \(\sigma\in C^{0}({\mathbb{R}}^{2})\) satisfies
then we have
Example 3
By using secondary comparison for non-radially symmetric case, we have invariant estimates for Shrira equations. In fact, for \(a(\xi)=\xi_{1}^{3}+3\xi_{2}^{2}\), we have by 1D secondary comparison (Theorem 10)
for s>1/2. Hence by 〈x〉−s≤〈x k 〉−s (k=1,2) we have
and hence we have
For \(a(\xi)=\xi_{1}^{2}+\xi_{1}\xi_{2}^{2}\), we have by 2D secondary comparison (Theorem 11)
for s>1/2, hence we have similarly
13.6.2 Non-dispersive Case Controlled by Hessian
We will show that in the non-dispersive situation the rank of ∇2 a(ξ) still has a responsibility for smoothing properties.
First let us consider the case when dispersiveness (L) is true only for large ξ:
Theorem 12
Suppose n≥1, m≥1, and s>1/2. Let \(a\in C^{\infty}({{\mathbb{R}}^{n}})\) be real-valued and assume that it has finitely many critical points. Assume (L′) and
Then we have
Example 4
\(a(\xi)=\xi_{1}^{4}+\cdots+\xi_{n}^{4}+|\xi|^{2}\) satisfies assumptions in Theorem 12.
We outline the proof of Theorem 12. For the region where ∇a(ξ)≠0, we can use a smoothing estimate for dispersive equations. Near the points ξ where ∇a(ξ)=0, there exists a change of variable ψ by Morse’s lemma such that a(ξ)=(σ∘ψ)(ξ) where σ(η) is a non-degenerate quadratic form, and satisfies dispersiveness (H). Hence the estimate can be reduced to the dispersive case by the method of canonical transformation.
Next we consider the case when a(ξ) is homogeneous (of oder m). Then, by Euler’s identity, we have
hence
Therefore assumption in Theorem 12 does not make any sense in this case, but we can have the following result if we use the idea of canonical transform again:
Theorem 13
Suppose n≥2 and s>1/2. Let \(a\in C^{\infty}({{\mathbb{R}}^{n}}\setminus0)\) be real-valued and satisfy a(λξ)=λ 2 a(ξ) (λ>0, ξ≠0). Assume that
Then we have
Example 5
\({ a(\xi)=\frac{\xi_{1}^{2}\xi_{2}^{2}}{\xi_{1}^{2}+\xi_{2}^{2}} +\xi^{2}_{3}+\cdots+\xi_{n}^{2}}\) satisfies the assumptions in Theorem 13. In the case n=2, this is an illustration of a smoothing estimate for the Cauchy problem for an equation like
which is regarded as a mixture of Davey-Stewartson and Benjamin-Ono type equations.
13.7 Concluding Remarks
13.7.1 Summary
Finally we summarise what is explained in this article in a diagram below. It is remarkable that all the results of smoothing estimates so far is derived from just the translation invariance of Lebesgue measure:
-
Trivial estimate \({\Vert {\varphi(x+t)}\Vert }_{L^{2}({\mathbb{R}}_{t})}={\Vert {\varphi }\Vert }_{L^{2}{ ({{\mathbb{R}}_{x}} )}}\)
$$\Downarrow \quad \mbox{(comparison principle)} $$ -
Low dimensional model estimates (Proposition 1)
$$\Downarrow \quad \mbox{(canonical transform)} $$ -
Smoothing estimates for dispersive equations (Theorem 7)
$$\Downarrow \quad \mbox{(secondary comparison \& canonical transform)} $$ -
Invariant estimates for non-dispersive equations at least for
- ∗:
-
radially symmetric a(ξ)=f(|ξ|), \(f\in C^{1}({\mathbb{R}}_{+})\),
- ∗:
-
Shrira equation \(a(\xi)=\xi_{1}^{3}+3\xi^{2}_{2}, \xi_{1}^{2}+\xi_{1}\xi_{2}^{2}\),
- ∗:
-
non-dispersive a(ξ) controlled by its Hessian.
13.7.2 Smoothing Estimates for Inhomogeneous Equations
We finish this article by mentioning some results for inhomogeneous equations. Let us consider the solution
to the equation
Although smoothing estimates for such equation are necessary for nonlinear applications (see [21] for example), there are considerably less results on this topic available in the literature. But the method of canonical transform also works to this problem, and we will list here some recent achievement given in our forthcoming paper [20]. The following result is a counter part of Theorem 7. Especially, this kind of time-global estimate for the operator a(D x ) with lower order terms are the benefit of our new method:
Theorem 14
Assume (H) or (L). Suppose n≥2, m≥1, and s>1/2. Then we have
The proof of Theorem 14 is carried out by reducing it to model estimates below via canonical transform:
Proposition 2
Suppose n=1 and m>0. Let \(a(\xi)\in C^{\infty}{ ({{\mathbb{R}}\setminus0} )}\) be a real-valued function which satisfies a(λξ)=λ m a(ξ) for all λ>0 and ξ≠0. Then we have
for all \(x\in {\mathbb{R}}\). Suppose n=2 and m>0. Then we have
for all \(y\in {\mathbb{R}}\).
Remark 3
Proposition 2 with the case n=1 is a unification of the results by Kenig, Ponce and Vega who treated the cases a(ξ)=ξ 2 (p. 258 in [14]), a(ξ)=|ξ|ξ (p. 160 in [15]), and a(ξ)=ξ 3 (p. 533 in [13]).
Since we unfortunately do not know the comparison principle for inhomogeneous equations, we gave a direct proof to Proposition 2 in [20].
References
Agmon, S.: Spectral properties of Schrödinger operators and scattering theory. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (4) 2, 151–218 (1975)
Ben-Artzi, M., Devinatz, A.: The limiting absorption principle for partial differential operators. Mem. Am. Math. Soc. 66 (1987)
Ben-Artzi, M., Devinatz, A.: Local smoothing and convergence properties of Schrödinger type equations. J. Funct. Anal. 101, 231–254 (1991)
Ben-Artzi, M., Klainerman, S.: Decay and regularity for the Schrödinger equation. J. Anal. Math. 58, 25–37 (1992)
Chihara, H.: Smoothing effects of dispersive pseudodifferential equations. Commun. Partial Differ. Equ. 27, 1953–2005 (2002)
Constantin, P., Saut, J.C.: Local smoothing properties of dispersive equations. J. Am. Math. Soc. 1, 413–439 (1988)
Hoshiro, T.: Mourre’s method and smoothing properties of dispersive equations. Commun. Math. Phys. 202, 255–265 (1999)
Hoshiro, T.: Decay and regularity for dispersive equations with constant coefficients. J. Anal. Math. 91, 211–230 (2003)
Kato, T.: Wave operators and similarity for some non-selfadjoint operators. Math. Ann. 162, 258–279 (1966)
Kato, T.: On the Cauchy problem for the (generalized) Korteweg-de Vries equation. In: Studies in Applied Mathematics. Adv. Math. Suppl. Stud., vol. 8, pp. 93–128. Academic Press, New York (1983)
Kato, T., Yajima, K.: Some examples of smooth operators and the associated smoothing effect. Rev. Math. Phys. 1, 481–496 (1989)
Kenig, C.E., Ponce, G., Vega, L.: Oscillatory integrals and regularity of dispersive equations. Indiana Univ. Math. J. 40, 33–69 (1991)
Kenig, C.E., Ponce, G., Vega, L.: Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle. Commun. Pure Appl. Math. 46, 527–620 (1993)
Kenig, C.E., Ponce, G., Vega, L.: Small solutions to nonlinear Schrödinger equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 10, 255–288 (1993)
Kenig, C.E., Ponce, G., Vega, L.: On the generalized Benjamin-Ono equation. Trans. Am. Math. Soc. 342, 155–172 (1994)
Kenig, C.E., Ponce, G., Vega, L.: On the Zakharov and Zakharov-Schulman systems. J. Funct. Anal. 127, 204–234 (1995)
Linares, F., Ponce, G.: On the Davey-Stewartson systems. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 10, 523–548 (1993)
Ruzhansky, M., Sugimoto, M.: Smoothing properties of evolution equations via canonical transforms and comparison principle. Proc. Lond. Math. Soc. 105, 393–423 (2012). doi:10.1112/plms/pds006
Ruzhansky, M., Sugimoto, M.: Smoothing properties of non-dispersive equations. Preprint
Ruzhansky, M., Sugimoto, M.: Smoothing properties of inhomogeneous equations via canonical transforms. Preprint
Ruzhansky, M., Sugimoto, M.: Structural resolvent estimates and derivative nonlinear Schrödinger equations. Commun. Math. Phys. 314, 281–304 (2012)
Simon, B.: Best constants in some operator smoothness estimates. J. Funct. Anal. 107, 66–71 (1992)
Sjölin, P.: Regularity of solutions to the Schrödinger equation. Duke Math. J. 55, 699–715 (1987)
Sugimoto, M.: Global smoothing properties of generalized Schrödinger equations. J. Anal. Math. 76, 191–204 (1998)
Sugimoto, M.: A smoothing property of Schrödinger equations along the sphere. J. Anal. Math. 89, 15–30 (2003)
Vega, L.: Schrödinger equations: pointwise convergence to the initial data. Proc. Am. Math. Soc. 102, 874–878 (1988)
Walther, B.G.: A sharp weighted L 2-estimate for the solution to the time-dependent Schrödinger equation. Ark. Mat. 37, 381–393 (1999)
Walther, B.G.: Regularity, decay, and best constants for dispersive equations. J. Funct. Anal. 189, 325–335 (2002)
Acknowledgements
The authors were supported by the Daiwa Anglo-Japanese Foundation. The first author was also supported by the EPSRC Leadership Fellowship EP/G007233/1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Ruzhansky, M., Sugimoto, M. (2013). Recent Progress in Smoothing Estimates for Evolution Equations. In: Reissig, M., Ruzhansky, M. (eds) Progress in Partial Differential Equations. Springer Proceedings in Mathematics & Statistics, vol 44. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00125-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-00125-8_13
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00124-1
Online ISBN: 978-3-319-00125-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)