Abstract
For a function ϕ satisfying some suitable growth conditions, consider the general dispersive equation defined by \(\bigl\{ \scriptsize{ \begin{array}{l} i\partial_{t}u+\phi(\sqrt{-\Delta})u=0,\quad (x,t)\in\mathbb {R}^{n}\times\mathbb{R}, \\ u(x,0)=f(x), \quad f\in\mathcal{S}(\mathbb{R}^{n}). \end{array} }\bigr. \) (∗) In the present paper, we give some global \(L^{2}\) estimate for the maximal operator \(S_{\phi}^{*}\), which is defined by \(S^{\ast}_{\phi}f(x)= \sup_{0< t<1} |S_{t,\phi}f(x)|\), \(x\in\mathbb{R}^{n}\), where \(S_{t,\phi}f\) is a formal solution of the equation (∗). Especially, the estimates obtained in this paper can be applied to discuss the properties of solutions of the fractional Schrödinger equation, the fourth-order Schrödinger equation and the beam equation.
Similar content being viewed by others
1 Introduction and main results
Suppose \(f\in\mathcal{S}(\mathbb{R}^{n})\), the Schwartz class on \(\mathbb{R}^{n}\), denote
where \(\hat{f}(\xi)=\int_{\mathbb{R}^{n}}e^{-i\xi\cdot x}f(x)\, dx\). It is well known that \(u(x,t):=S_{t}f(x)\) is the solution of the Schrödinger equation
In 1979, Carleson [1] proposed a problem: if \(f\in H^{s}(\mathbb{R}^{n})\) for which s does
where \(H^{s}(\mathbb{R}^{n})\) (\(s\in\mathbb{R}\)) denotes the non-homogeneous Sobolev space, which is defined by
Carleson first studied this problem for dimension \(n=1\) in [1]. He proved that the convergence (1.2) holds for \(f\in H^{s}(\mathbb{R})\) with \(s \geq\frac{1}{4}\). This result is sharp, which was shown by Dahlberg and Kenig [2]. See Table 1 for the results on the convergence (1.2) when \(f\in H^{s}(\mathbb{R}^{n})\).
Moreover, the convergence (1.2) fails if \(s<\frac {1}{4}\) (see [2] for \(n=1\) and [4] for \(n\ge2\)). Recently, Bourgain [10] showed that the necessary condition of convergence (1.2) is \(s\geq\frac{1}{2}-\frac{1}{n}\) when \(n>4\).
It is well known that the pointwise convergence (1.2) is related closely to the local estimate of the local maximal operator \(S^{\ast}\) defined by
Naturally, the maximal estimates have been well studied associated with the following oscillatory integral:
which is the solution of the fractional Schrödinger equation:
Define the local maximal operator associated with the family of operators \(\{S_{t,a}\}_{0< t<1}\) by
Obviously, the following estimate (1.4) can be applied to discuss the pointwise convergence problem on the solution of Schrödinger equation (1.3):
which is called the global \(L^{2}\) estimate of the maximal operator \(S^{\ast}_{a}\) sometimes. These estimates have also independent interest since they reveal global regularity properties of the corresponding oscillatory integrals. Table 2 shows some main results in studying (1.4).
On the other hand, in 1990, Prestini [16] proved that, if \(f\in H^{s}(\mathbb{R}^{n})\) (\(n\geq2\)) is a radial function, then the local maximal estimate
holds if and only if \(s\ge\frac{1}{4}\). In 1997, Sjölin [17] proved (1.4) holds for \(a>1\) and \(s>\frac{a}{4}\). In 2012, Walther [18] showed (1.4) holds for \(0< a<1\) and \(s>\frac{a}{4}\).
In the present paper, we will discuss some global \(L^{2}\) maximal estimates like (1.4) for a local maximal operator \(S^{\ast}_{\phi}\) associated with the operator family \(\{S_{t,\phi}\}_{t\in\mathbb{R}}\). Let us first give some definitions as follows: Suppose the function \(\phi: \mathbb{R}^{+}\rightarrow\mathbb{R}\) satisfies:
-
(K1)
there exists \(l_{1}\geq0\) such that \(|\phi(r)|\lesssim r^{l_{1}}\) for all \(0< r<1\);
-
(K2)
there exists \(m_{1}\in\mathbb{R}\) such that \(|\phi (r)|\lesssim r^{m_{1}}\) for all \(r\geq1\);
-
(K3)
there exists \(m_{2}\in\mathbb{R}\) such that \(|\phi^{\prime }(r)|\lesssim r^{m_{2}-1}\) for all \(r\geq1\);
-
(K4)
there exists \(m_{3}\in\mathbb{R}\) such that \(|\phi^{\prime \prime}(r)|\sim r^{m_{3}-2}\) for all \(r\geq1\);
-
(K5)
there exists \(m_{4}\in\mathbb{R}\) such that \(|\phi^{ (3)}(r)|\lesssim r^{m_{4}-3}\) for all \(r\geq1\).
The operator family \(\{S_{t,\phi}\}_{t\in\mathbb{R}}\) is defined by
where \(f\in\mathcal{S}(\mathbb{R}^{n})\) and the local maximal operator \(S^{\ast}_{\phi}\) associated with \(\{ S_{t,\phi}\}_{t\in\mathbb{R}}\) is defined by
Now we state our main results in this paper as follows.
Theorem 1.1
For \(n= 1\) and ϕ satisfies (K1)-(K5) with \(l_{1}\geq0\), \(m_{i}\in\mathbb{R}\) (\(1\le i\le4\)), and \(m_{2}=m_{3}\geq m_{4}\). If \(f\in H^{s}(\mathbb{R})\) with \(s>\frac{m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac{-m_{2}}{2}\) for \(m_{2}\leq0\), then
Theorem 1.2
For \(n\geq2\) and ϕ satisfying (K1)-(K5) with \(l_{1}\geq 0\), \(m_{i}\in\mathbb{R}\) (\(1\le i\le4\)), and \(m_{2}=m_{3}\geq m_{4}\). If \(f\in H^{s}(\mathbb{R}^{n})\) is radial with \(s>\frac{m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac{-m_{2}}{2}\) for \(m_{2}\leq0\), then
Now let us turn to the other result obtained in the present paper, which involves the functions class formed by the radial function and the functions in \({\mathscr{A}}_{k}\), the set of all solid spherical harmonics of degree k. It is well known (see [19], p.151) that there exists a direct sum decomposition
The subspace \(\mathfrak{D}_{k}\) is the space of all finite linear combinations of functions of the form \(f(|x|)P(x)\), where f ranges over the radial functions and P over \({\mathscr{A}}_{k}\) such that \(f(|\cdot|)P(\cdot)\in L^{2}(\mathbb{R}^{n})\).
Fix \(k\geq0\) and let \(P_{1},P_{2},\ldots,P_{a_{k}}\) denote an orthonormal basis in \({\mathscr{A}}_{k}\). Every element in \(\mathfrak {D}_{k}\) can be written in the following form:
and
Denote by \(\mathcal{H}_{0}(\mathbb{R}^{n})\) the class of all radial functions in \(\mathcal{S}(\mathbb{R}^{n})\), and \(\mathcal{H}_{k}\) (\(k\in\mathbb{N}\)) the set of functions defined by (1.9) with \(f_{j}\in \mathcal{H}_{0}(\mathbb{R}^{n})\) and \(P_{j}\in{\mathscr{A}}_{k}\) for \(j=1,2,\ldots,a_{k}\). Sjölin obtained the following result (see [20], p.397).
Theorem A
Suppose that \(n\geq2\), \(a>1\), and \(f\in\mathcal{H}_{k}\) (\(k\ge 0\)). If \(s>\frac{a}{4}\) then (1.4) holds.
We give the global \(L^{2}\) estimate of the maximal operator \(S^{\ast }_{\phi}\) for \(f\in\mathcal{H}_{k}\).
Theorem 1.3
For \(n\geq2\) and ϕ satisfies (K1)-(K5) with \(l_{1}\geq0\), \(m_{i}\in\mathbb{R}\) (\(1\le i\le4\)), and \(m_{2}=m_{3}\geq m_{4}\). If \(f\in \mathcal{H}_{k}\) (\(k\ge0\)) with \(s>\frac{m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac{-m_{2}}{2}\) for \(m_{2}\leq0\), then (1.8) holds.
Note that
gives a formal solution of the following general dispersive equation with initial data function f:
Hence, the inequalities (1.7) and (1.8) imply the convergence almost everywhere of the solution of (1.10) in one dimension and higher dimension, respectively.
The proofs of Theorems 1.1-1.3 are given in Sections 2-4, respectively. In the last section, we will give some examples of (1.10).
2 Proof of Theorem 1.1
2.1 Proof of Theorem 1.1 based on Lemma 2.2
In this subsection, we give the proof of Theorem 1.1 by using Lemma 2.2, which will be proved in the next subsection.
Choose a nonnegative function \(\varphi\in C_{0}^{\infty}(\mathbb {R})\) such that \(\operatorname{supp}\varphi\subset\{\xi: \frac{1}{2}<|\xi|<2\}\) and
Set \(\varphi_{0}(\xi)=1-\sum_{k=1}^{\infty} \varphi(2^{-k}\xi)\) and \(\psi(\xi)=\sum_{k=1}^{\infty} \varphi(2^{-k}\xi)\). It follows that \(\varphi_{0}\in C_{0}^{\infty}(\mathbb{R})\). Rewrite
Denote
and
Therefore, by (2.1), we obtain
By (2.2) and Minkowski’s inequality, we get
Now let us recall a result which will be used in our proof of Theorem 1.1.
Lemma 2.1
(see [18])
Assume that the functions \(\omega_{1}\) and \(\omega_{2}\) belong to \(L^{2}(\mathbb{R})\) and that the function m satisfies the following assumption: there is a number C independent of \((t,\xi)\) such that
Then there is a number C independent of f such that
We first prove that if \(s>\frac{m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac {-m_{2}}{2}\) for \(m_{2}\leq0\), then
For \(g\in\mathcal{S}(\mathbb{R})\) and \(\operatorname{supp}\hat{g}\subseteq\{\xi,|\xi|<2\}\), \(s>\frac {m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac{-m_{2}}{2}\) for \(m_{2}\leq0\) and \(0< t<1\), let
where \(m(t,\xi)=(2\pi)^{-1}e^{it\phi(|\xi|)} (1+|\xi|^{2})^{-s/2}\). Define the maximal operator \(R^{\ast}_{0}\) by
On the one hand, it is obvious that \(|m(t,\xi)|\leq\chi_{(0,1)}(t)\) for \(\xi\in\mathbb{R}\) and \(0< t<1\). On the other hand, by
it follows that
By the condition (K1), \(|\phi(|\xi|)|\leq C\max\{|\phi(1)|,1\}\leq C\) for \(0\leq|\xi|<1\). By (K2), we have, for \(|\xi|\geq1\),
Hence, combining with (2.5) we get, for \(\xi\in\mathbb{R}\),
where C is independent of \((t,\xi)\). It follows that \(m(t,\xi)\) satisfies the assumptions of Lemma 2.1. Therefore, when \(s>\frac{m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac {-m_{2}}{2}\) for \(m_{2}\leq0\), we obtain
We have
where \(\mathcal{F}^{-1}\) denotes the Fourier inverse transform. Note that
Thus, by (2.7) and (2.6), we have
which is just (2.4). Now we define the operator \(R_{N}\) by
where \(t(x)\) is a measurable function in \(\mathbb{R}\) with \(0< t(x)<1\).
Lemma 2.2
Suppose that ϕ satisfies the conditions in Theorem 1.1. If \(s>\frac{m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac{-m_{2}}{2}\) for \(m_{2}\leq0\), then there exist \(\delta>0\) and \(C>0\), such that, for all \(N\ge2\),
The proof of Lemma 2.2 will be given in the next subsection. Now we finish the proof of Theorem 1.1 by using Lemma 2.2. By linearizing the maximal operator, we have, for some real-valued function \(t(x)\),
By (2.9) and (2.10), for \(k\geq1\), we have
From this we get
Summing up the estimates of (2.3), (2.4), and (2.11), we have
Therefore, to finish the proof of Theorem 1.1, it remains to show Lemma 2.2.
2.2 The proof of Lemma 2.2
Write
where \(f\in\mathcal{S}(\mathbb{R})\) and \(p_{N}(x,\xi)=e^{it(x)\phi (|\xi|)}\varphi(\frac{\xi}{N})N^{-s}\). Take the function \(\rho\in C_{0}^{\infty}(\mathbb{R})\) such that \(\rho(x)=1\) if \(|x|<1\), and \(\rho(x)=0\) if \(|x|\geq2\), and set \(\psi=1-\rho\). Denote
and
For \(N\geq2\), \(M>1\), and \(0<\varepsilon<1\), the corresponding operators \(R_{N,M}\) and \(R_{N,M,\varepsilon}\) are defined by
and
Obviously, both of the operators \(R_{N,M}\) and \(R_{N,M,\varepsilon}\) are bounded on \(L^{2}(\mathbb{R})\). On the other hand, it is easy to see that the adjoint operator \(R'_{N,M,\varepsilon}\) of \(R_{N,M,\varepsilon}\) is given by
and it follows that
where \(R'_{N,M}\) denotes the adjoint operator of \(R_{N,M}\). Since
and
By (2.13), (2.14), and a similar calculation as [3], p.708, we have
Therefore, invoking (2.12) and by Fatou’s lemma, we obtain
It is easy to check that the constant C is independent of N and M. Now define
and
We have the following conclusion.
Lemma 2.3
Let \(J_{N}\) be defined as above, ϕ satisfies the conditions in Theorem 1.1. If \(s>\frac {m_{2}}{4}\) for \(m_{2}>0\) or \(s>\frac{-m_{2}}{2}\) for \(m_{2}\leq0\), then there exist \(\delta, C>0\), such that, for all \(N\ge2\),
Below we first finish the proof of Lemma 2.2 by applying Lemma 2.3, whose proof will be given in the next subsection. By (2.16) and (2.17), invoking Hölder’s inequality and Young’s inequality, we have
From this we get
Thus, \(\|R_{N,M}g\|_{2}\leq CN^{-\delta}\|g\|_{2}\) by duality, where C is independent of N and M. Letting \(M\rightarrow\infty\), we obtain
It follows that (2.9) holds, and we complete the proof of Lemma 2.2 based on Lemma 2.3.
2.3 The proof of Lemma 2.3
Now we verify the estimate (2.17). We need the following results.
Lemma 2.4
(Van der Corput’s lemma; see [21], p.309)
Let \(\psi\in C_{0}^{\infty}(\mathbb{R})\) and \(\phi\in C^{\infty}(\mathbb{R})\) satisfy \(|\phi^{\prime\prime}(\xi)|>\lambda>0\) on the support of ψ. Then
Lemma 2.5
([22])
Let I denote an open integral in \(\mathbb {R}\). For \(g\in C_{0}^{\infty}(I)\) and the real-valued function \(F\in C^{\infty}(I)\) with \(F^{\prime}\neq0\), if \(k\in\mathbb{N}\), then
where \(h_{k}\) is a linear combination of functions of the form
with \(0\leq s \leq k\), \(0\leq r \leq k\), and \(2\leq j_{q} \leq k+1\).
We now return to the proof of Lemma 2.3. Recall that
Performing a change of variable, we have
where \(x\in\mathbb{R}\), \(-1<\omega<1\), \(N\geq2\), and \(G(\xi)=\varphi ^{2}(\xi)\). It is obvious that, for all \(x\in\mathbb{R}\), \(-1<\omega<1\), and \(N\geq2\),
Below we give more estimates of \(|I_{N}(x,\omega)|\).
Step 1: The other estimates of \(I_{N}(x,\omega)\).
By the condition (K3), there exist \(m_{2}\in\mathbb{R}\) and \(C_{1}>0\) such that \(|\phi^{\prime}(r)|\leq C_{1} r^{m_{2}-1}\) for \(r\geq1\). Denote
Now we give the following estimates of \(I_{N}(x,\omega)\) for \(x\in \mathbb{R}\), \(-1<\omega<1\), and \(N\geq2\):
Let \(F(\xi)=Nx\xi+\omega\phi(N|\xi|)\). We have
and
Noting \(N|\xi|>1\) by \(N\geq2\) and \(\frac{1}{2}<|\xi|<2\), by (K3) we get
When \(|\omega|<\frac{N|x|}{2C_{3}N^{m_{2}}}\) (equivalently, \(C_{3} N^{m_{2}}|\omega|< \frac{1}{2}N|x|\)), we have
Therefore,
Since ϕ satisfies (K4) and (K5) with \(m_{4}\leq m_{3}=m_{2}\), we have
By the fact \(\frac{N^{m_{2}}|\omega|}{ N|x|} \leq\frac{1}{2C_{3}}\) and Lemma 2.5 for \(k=2\) and (2.20), (2.21), we get
from which follows the first estimate in (2.19). On the other hand, since ϕ satisfies (K4) with \(m_{3}=m_{2}\), we get, for \(\frac{1}{2}<|\xi|<2\),
Note that \(\|G\|_{\infty}\leq C\) and \(\|G^{\prime}\|_{1}\leq C\) on the support of φ. By Lemma 2.4 and noting that \(|\omega|\ge\frac{N|x|}{2C_{3}N^{m_{2}}}\) (equivalently, \(C_{3} N^{m_{2}}|\omega|\ge\frac{1}{2}N|x|\)), we have
This is just the second estimate in (2.19).
Step 2: Proof of Lemma 2.3 for \(s>\frac{m_{2}}{4}\) (\(m_{2}>0\)).
We now prove (2.17) for the case \(s>\frac{m_{2}}{4}\) (\(m_{2}>0\)). Since \(m_{2}>0\), \(N\geq2\), and \(2C_{3}>1\), we write
The estimate of \(E_{1}\) is simple. Since \(|I_{N}(x,\omega)|\leq C N^{1-2s}\) by (2.18), by the definition of \(J_{N}\), we see that
As for \(E_{2}\), we first prove that if \(\frac{1}{N}<|x|\leq 2C_{3}N^{m_{2}-1}\), then
By the definition of \(J_{N}\), to prove (2.23) it suffices to show that, if \(\frac{1}{N}<|x|\leq2C_{3}N^{m_{2}-1}\) and \(|\omega|<1\), then
In fact, if \(|\omega|<\frac{N|x|}{2C_{3}N^{m_{2}}}\), by the first estimate in (2.19) and \(N|x|>1\), then
If \(|\omega|\geq\frac{N|x|}{2C_{3}N^{m_{2}}}\), by the second estimate in (2.19), we obtain
Thus (2.24) holds and so (2.23). Hence, by (2.23), we get
Finally, we consider \(E_{3}\). We first show that if \(|x|>2C_{3}N^{m_{2}-1}\), then
In fact, if \(|x|>2C_{3}N^{m_{2}-1}\) and \(|\omega|<1\), then \(|x|>2C_{3}N^{m_{2}-1}|\omega|\). Equivalently, \(|\omega|<\frac{N|x|}{2C_{3}N^{m_{2}}}\). Thus, by the first inequality in (2.19), we obtain
and (2.26) follows from this. By (2.26), we obtain
Since \(m_{2}>0\), by (2.22), (2.25), and (2.27), we have
where \(2\delta=2s-\frac{m_{2}}{2}>0\) since \(s>\frac{m_{2}}{4}\) and \(m_{2}>0\).
Step 3: Proof of Lemma 2.3 for \(s>\frac{-m_{2}}{2}\) (\(m_{2}\leq0\)).
First we consider the case where \(2C_{3}N^{m_{2}-1}>\frac{1}{N}\). Write
Since \(m_{2}\leq0\), by (2.22), (2.25), and (2.27), we have
where \(2\delta=2s+m_{2}>0\) since \(s>\frac{-m_{2}}{2}\) and \(m_{2}\leq 0\). On the other hand, if \(2C_{3}N^{m_{2}-1}\leq\frac{1}{N}\), we have
Since \(m_{2}\leq0\), by (2.22) and (2.27), we have
where \(2\delta=2s+m_{2}>0\) by \(s>\frac{-m_{2}}{2}\) and \(m_{2}\leq0\). Thus, we complete the proof of Lemma 2.3.
3 The proof of Theorem 1.2
Assume \(n\geq2\). Let f be radial and belong to \(\mathcal{S}(\mathbb {R}^{n})\); we need to show that
holds for \(s>\frac{m_{2}}{4}\) if \(m_{2}>0\) or \(s>\frac{-m_{2}}{2}\) if \(m_{2}<0\).
Let \(t(x)\) is a measurable radial function with \(0< t(x)<1\). Denote
Recall the Bessel function \(J_{m}(r)\) is defined by
Since f is radial,
Therefore,
Here \(Tf(u)=Tf(x)\) if \(u=|x|\) and \(\hat{f}(r)=\hat{f}(\xi)\) if \(r=|\xi|\). By linearizing the maximal operator and using polar coordinates, to prove (3.1) it suffices to prove that
Denote
By (3.2) and (3.4), it follows that
Let
Thus, we have
By (3.5), to prove (3.3) it suffices to prove that
holds for \(s>\frac{m_{2}}{4}\) (\(m_{2}>0\)) or \(s>\frac{-m_{2}}{2}\) (\(m_{2}\leq0\)). Let us recall a well-known estimate of \(J_{m}\).
Lemma 3.1
([19], p.158)
\(J_{m}(r)=\sqrt{\frac{2}{\pi r}}\cos(r-\frac{\pi m}{2}-\frac{\pi}{4})+O(r^{-\frac{3}{2}})\) as \(r\rightarrow\infty\). In particular, \(J_{m}(r)=O(r^{-\frac{1}{2}})\) as \(r\rightarrow\infty\).
By Lemma 3.1, we may get
where \(b_{1}\) and \(b_{2}\) are the constants depending on n. In fact, by Lemma 3.1, as \(t\rightarrow\infty \), we have
It follows that, as \(t\rightarrow\infty\), we have
where
and
It follows that, when \(t>1\), we have
On the other hand, by the definition of the Bessel function
we have \(|J_{m}(t)|\leq C t^{m}\) for \(m>-\frac{1}{2}\) and \(t>0\). Thus, \(|J_{m}(t)|\leq C t^{-\frac{1}{2}}\) when \(m>-\frac{1}{2}\) and \(0< t<1\). Since \(n\geq2\), so \(|J_{\frac{n}{2}-1}(t)|\leq C t^{-\frac{1}{2}}\) for \(0< t<1\). Therefore, when \(0< t<1\), we have
It follows from (3.8) and (3.9) that (3.7) holds. Invoking (3.7), we have
where
and
From [17], pp.59-61, we have
and
Thus, to prove (3.6), it remains to estimate \(D_{1}\) and \(D_{2}\). Denote \(\hat{h}(r)=g(r) (1+r^{2})^{-\frac{s}{2}}\chi_{(0,\infty)}\), and we get
and
Therefore, we have
Since ϕ satisfies the conditions in Theorem 1.1, by the results of Theorem 1.1, when \(s>\frac{m_{2}}{4}\) (\(m_{2}>0\)) or \(s>\frac{-m_{2}}{2}\) (\(m_{2}\leq0\)), we have
Since \(u>0\) and by (3.13) and (3.14), for \(i=1,2\), we have
Thus, (3.6) follows from (3.10), (3.11), (3.12), and (3.15). We hence complete the proof of Theorem 1.2.
4 The proof of Theorem 1.3
In this case \(k=0\), Theorem 1.3 follows from Theorem 1.2. Hence we only give the proof of Theorem 1.3 for \(k\geq1\). We first recall a well-known result.
Lemma 4.1
([19], p.158)
Suppose \(n\geq2\) and \(f\in L^{2}(\mathbb{R}^{n})\cap L^{1}(\mathbb {R}^{n})\) has the form \(f(x)=f_{0}(|x|)P(x)\), where \(P(x)\) is a solid spherical harmonic of degree k, then \(\hat{f}\) has the form \(\hat{f}(x)=F_{0}(|x|)P(x)\), where
where \(J_{m}\) denotes the Bessel function.
Let us return to the proof of Theorem 1.3. First we show that, for \(f\in\mathcal{H}_{k}\) (\(k\geq1\)),
In fact, \(f(x)=\sum_{j=1}^{a_{k}}f_{j}(|x|)P_{j}(x)\) where \(f_{j}\) are radial functions in \(\mathcal{S}(\mathbb{R}^{n})\) and \(\{P_{j}\} _{1}^{a_{k}}\) is an orthonormal basis in \({\mathscr{A}}_{k}\). By Lemma 4.1 we get
where
By (4.2) and noting that \(\{P_{1},P_{1},\ldots ,P_{a_{k}}\}\) is an orthonormal basis in \({\mathscr{A}}_{k}\), we have
which is just (4.1). On the other hand, by (4.2), we have
Applying Lemma 4.1, we get
where \(s=|x|>0\). Therefore, we have
Denote by \(\mathscr{F}_{n}\) the Fourier transform in \(\mathbb{R}^{n}\). Then \({F}_{j}=i^{-k}\mathscr{F}_{n+2k}f_{j}\). Note that for a radial function \(h\in\mathcal{S}(\mathbb{R}^{n+2k})\), its Fourier transform is
Now we define the operator \(S_{t,\phi}^{n+2k}\) on the set of all radial function in \(\mathcal{S}(\mathbb{R}^{n+2k})\) by
Obviously, \(S_{t,\phi}^{n+2k}h\) is still a radial function. Then
where we may see \(S_{t,\phi}^{n+2k}f_{j}(|x|)\) as a function on \(\mathbb{R}^{n}\), since \(S_{t,\phi}^{n+2k}f_{j}\) is a radial function. Denote
Then by (4.5) and (4.6), we obtain
Using the notation \(v=|x|\) and \(r=|\xi|\), by (4.7), we have
Using the representation of polar coordinates and noting (4.6), we obtain
where \(\omega_{n-1}\) and \(\omega_{n+2k-1}\) denote the area of the unit sphere in \(\mathbb{R}^{n}\) and \(\mathbb{R}^{n+2k}\), respectively. Applying Theorem 1.2, when \(s>\frac{m_{2}}{4}\) (\(m_{2}>0\)) or \(s>\frac{-m_{2}}{2}\) (\(m_{2}\leq 0\)), we have
Note that \(\mathscr{F}_{n+2k}f_{j}=i^{k}F_{j}\), and we get
Therefore, by (4.8), (4.9), (4.10), (4.11), and (4.1), we obtain
Thus, we complete the proof of Theorem 1.3.
5 Some applications
We now give some examples to show that (1.10) includes some well-known equations.
Example 1
Let \(\phi(r)=r^{2}\), then (1.10) is the classical Schrödinger equation (1.1).
Example 2
Let \(\phi(r)=r^{a}\) (\(a>0\), \(a\neq1\)), then (1.10) is the fractional Schrödinger equation (1.3). In this case, \(\phi(r)\) satisfies (K1)-(K5) with \(l_{1}=m_{1}=m_{2}=m_{3}=m_{4}=a\).
Example 3
Let \(\phi(r)=r^{2}+r^{4}\), then (1.10) is the fourth-order Schrödinger equation:
In this case, \(\phi(r)\) satisfies (K1) with \(l_{1}=2\geq0\), (K2)-(K5) with \(m_{1}=m_{2}=m_{3}=m_{4}=4>0\).
Example 4
Recall the definition of the beam equation:
Note that the solution of (5.2) can be formally written as the real part of
Thus, taking \(\phi(r)=\sqrt{1+r^{4}}\), we see that \(\phi(r)\) satisfies (K1) with \(l_{1}=0\geq0\), (K2)-(K5), with \(m_{1}=m_{2}=m_{3}=m_{4}=2>0\), and the solution of (5.2) is the real part of
References
Carleson, L: Some analytical problems related to statistical mechanics. In: Euclidean Harmonic Analysis. Lecture Notes in Math., vol. 779, pp. 5-45. Springer, Berlin (1979)
Dahlberg, B, Kenig, C: A note on the almost everywhere behaviour of solutions to the Schrödinger equation. In: Harmonic Analysis. Lecture Notes in Math., vol. 908, pp. 205-209. Springer, Berlin (1982)
Sjölin, P: Regularity of solutions to the Schrödinger equation. Duke Math. J. 55, 699-715 (1987)
Vega, L: Schrödinger equations: pointwise convergence to the initial data. Proc. Am. Math. Soc. 102, 874-878 (1988)
Bourgain, J: A remark on Schrödinger operators. Isr. J. Math. 77, 1-16 (1992)
Moyua, A, Vargas, A, Vega, L: Schrödinger maximal function and restriction properties of the Fourier transform. Int. Math. Res. Not. 16, 793-815 (1996)
Tao, T, Vargas, A: A bilinear approach to cone multipliers. II. Applications. Geom. Funct. Anal. 10, 216-258 (2000)
Tao, T: A sharp bilinear restrictions estimate for paraboloids. Geom. Funct. Anal. 13, 1359-1384 (2003)
Lee, S: On pointwise convergence of the solutions to Schrödinger equations in \(\mathbb{R}^{2}\). Int. Math. Res. Not. 2006, Article ID 32597 (2006)
Bourgain, J: On the Schrödinger maximal function in higher dimension. Proc. Steklov Inst. Math. 280, 46-60 (2013)
Cowling, M: Pointwise behavior of solutions to Schrödinger equations. In: Harmonic Analysis. Lecture Notes in Math., vol. 992, pp. 83-90. Springer, Berlin (1983)
Carbery, A: Radial Fourier multipliers and associated maximal functions. In: Recent Progress in Fourier Analysis. North-Holland Math. Stud., vol. 111, pp. 49-56. North-Holland, Amsterdam (1985)
Kenig, C, Ponce, G, Vega, L: Well-posedness of the initial value problem for the Korteweg-de Vries equation. J. Am. Math. Soc. 4, 323-347 (1991)
Sjölin, P: Global maximal estimates for solutions to the Schrödinger equation. Stud. Math. 110, 105-114 (1994)
Walther, B: Estimates with global range for oscillatory integrals with concave phase. Colloq. Math. 91, 157-165 (2002)
Prestini, E: Radial functions and regularity of solutions to the Schrödinger equation. Monatshefte Math. 109, 135-143 (1990)
Sjölin, P: \(L^{p}\) Maximal estimates for solutions to the Schrödinger equations. Math. Scand. 81, 35-68 (1997)
Walther, B: Global range estimates for maximal oscillatory integrals with radial test functions. Ill. J. Math. 56, 521-532 (2012)
Stein, EM, Weiss, G: Introduction to Fourier Analysis on Euclidean Spaces. Princeton University Press, Princeton (1971)
Sjölin, P: Spherical harmonics and maximal estimates for the Schrödinger equation. Ann. Acad. Sci. Fenn., Math. 30, 393-406 (2005)
Stein, EM: Oscillatory integrals in Fourier analysis. In: Beijing Lectures in Harmonic Analysis. Ann. Math. Stud., vol. 112, pp. 307-355. Princeton University Press, Princeton (1986)
Sjölin, P: Convolution with oscillating kernels. Indiana Univ. Math. J. 30, 47-55 (1981)
Acknowledgements
The authors would like to express their deep gratitude to the anonymous referees for their careful reading of the manuscript and their fruitful comments and suggestions. The work is supported by NSF of China (Nos. 11371057, 11471033), SRFDP of China (No. 20130003110003), and the Fundamental Research Funds for the Central Universities of China (No. 2014KJJCA10).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
YD participated in the design of the study and in the discussions of all results. YN participated in the discussions of all results and drafted the manuscript. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ding, Y., Niu, Y. Global \(L^{2}\) estimates for a class of maximal operators associated to general dispersive equations. J Inequal Appl 2015, 199 (2015). https://doi.org/10.1186/s13660-015-0722-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0722-4