Abstract
We consider the pointwise convergence problem for the solution of Schrödinger-type equations along directions determined by a given compact subset of the real line. This problem contains Carleson’s problem as the simplest case and was studied in general by Cho et al. We extend their result from the case of the classical Schrödinger equation to a class of equations which includes the fractional Schrödinger equations. To achieve this, we significantly simplify their proof by completely avoiding a time localization argument.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(d\ge 1\), \(a>0\) and consider the fractional Schrödinger equation
It is well-known that for a sufficiently nice initial data f, the solution can be written as
where \(\widehat{f}(\xi ):=\int _{\mathbb {R}^d}e^{-ix\cdot \xi }f(x)\,dx\). When \(a=2\), this is the standard Schrödinger equation from quantum mechanics. The general case arose in recent years in physical models and turns out to be a fundamental equation in fractional quantum mechanics (fQM), and may be traced back to work of Laskin [20, 21]. Motivated by this, the fractional Schrödinger equation and related nonlinear models have been the subject of numerous recent papers (see, for example, [5, 7, 13,14,15,16, 18, 23]). From a rather different viewpoint, certain nonlinear equations were the subject of study in recent work of Ionescu and Pusateri [17] and arise from models of water waves. In addition, the fractional Schrödinger equation is a model case in studies of more general dispersive equations; see, for example, [8, 19].
Associated with the fractional Schrödinger equation, it is natural to try to determine the minimum level of regularity s which guarantees that the limit
holds whenever \(f\in H^s(\mathbb {R}^d)\). Here, \(H^s(\mathbb {R}^d)\) is the Sobolev space of order s whose norm is given by
and \(\Gamma _x\subset \mathbb {R}^d\times [-1,1]\) is a convergence domain corresponding to each \(x\in \mathbb {R}^d\).
The classical case, known widely as Carleson’s problem, is concerned with the case of vertical lines \(\Gamma _x=\{x\}\times \{0\}\). Here, when \(d=1\) and \(a>1\) it is known that (1) holds if and only if \(s\ge \frac{1}{4}\); see the work of Carleson [3] and Dahlberg and Kenig [10] for the case \(a=2\), and also see the work of Sjölin [27] for general \(a>1\). The higher dimensional case \(d\ge 2\) has been subject to a recent flurry of activity. When \(a=2\), Bourgain [2] showed that \(s\ge \frac{1}{2}-\frac{1}{2(d+1)}\) is necessary for (1) for \(d\ge 2\), and Du et al. [11] and Du and Zhang [12] have shown \(s>\frac{1}{2}-\frac{1}{2(d+1)}\) is sufficient for (1) for \(d=2\) and \(d\ge 3\), respectively (for important earlier contributions see, for example, papers by Vega [29], Lee [22] and Bourgain [1]). For, \(a>1\), Cho and Ko [4] proved analogous result that (1) holds if \(s>\frac{1}{2}-\frac{1}{2(d+1)}\) and \(d\ge 2\). In addition, we also note that Prestini [24] showed that for \(d\ge 2\), \(a>1\) and f radial, (1) holds if and only if \(s\ge \frac{1}{4}\). Results are also available for \(0<a\le 1\) (see, for example, [9, 25, 30]) but these cases are of a rather different nature and from now on we focus entirely on the case \(a>1\).
Non-tangential convergence corresponds to the case
where \(\mathbb {B}\subset \mathbb {R}^d\) is a given euclidean ball which is centered at the origin, that is, \(\Gamma _x\) is a conical region with vertex at (x, 0) and aperture determined by the radius of \(\mathbb {B}\). In this case, it is known that (1) with \(a>1\) holds if and only if \(s>\frac{d}{2}\). The sufficiency part of this claim follows easily by a well-known argument using Sobolev embedding and the delicate necessity part has been proved by Sjögren and Sjölin in [26] (strictly speaking, the case \(a=2\) was considered in [26] but their argument extends to \(a>1\) without difficulty).
When \(d=1\), the classical case and the non-tangential case were unified in a natural way by Cho et al.[6] who proved that (1) holds in the case
when \(a=2\) and \(s>\frac{1}{4}+\frac{\beta (\Theta )}{4}\). Here, \(\Theta \subset \mathbb {R}\) is a given compact set and \(\beta (\Theta )\) denotes the upper Minkowski dimension of \(\Theta \). We note that establishing the necessity of the condition \(s>\frac{1}{4}+\frac{\beta (\Theta )}{4}\) is an interesting but still open problem. Our main goal in this paper is to improve the result in [6] by extending to a class of equations which includes the fractional Schrödinger equation for \(a>1\). We define the evolution operator \(S_t\) on appropriate input functions by
Here, \(\Phi :\mathbb {R}\rightarrow \mathbb {R}\) is a \(C^2\) function which satisfies for some \(C_1>0\),
for all \(|\xi |\ge 1\). Moreover, for some \(C_2>0\),
for all \(|\xi |\ge 1\). It is trivial to verify that \(\Phi (\xi )=|\xi |^a\) satisfies these conditions when \(a>1\).
Our main result is the following.
Theorem 1
Let \(\Theta \subset \mathbb {R}\) be compact and suppose \(\Phi \in C^2(\mathbb {R})\) satisfies (2) and (3). For any \(q\in [1,4]\) and \(s>\frac{1}{4}+\frac{\beta (\Theta )}{4}\), there exists a constant \(C_{q,s}\) such that
whenever \(f\in H^s(\mathbb {R}).\)
By standard arguments, we thus obtain the associated pointwise convergence.
Corollary 2
Let \(\Theta \subset \mathbb {R}\) be compact and suppose \(\Phi \in C^2(\mathbb {R})\) satisfies (2) and (3). If \(s>\frac{1}{4}+\frac{\beta (\Theta )}{4}\), then
whenever \(f\in H^s(\mathbb {R})\).
Theorem 1 improves the result in [6] in two respects; the class of evolution operators has been widened from the case \(\Phi (\xi )=|\xi |^2\) to those satisfying (2) and (3), and our maximal estimates are valid for \(q\in [1,4]\) (the estimate in [6] was proved in only the cases \(q\in [1,2]\)). While the proof in [6] may be modified in a straightforward way to go beyond the classical case \(\Phi (\xi )=|\xi |^2\) to a certain extent, it seems to us to be difficult to handle case \(\Phi (\xi )=|\xi |^a\) with a close to 1. Indeed, the argument in [6] rests on a certain widely used time localization argument which becomes increasingly weak as a approaches 1. To overcome this significant obstacle, we remove the use of the time localization lemma; this simplification to the proof has allowed us to handle the case \(\Phi (\xi )=|\xi |^a\) for any \(a>1\). Further explanation of this point will follow our proof of Theorem 1 in Sect. 3. Prior to that, we prepare for the proof of Theorem 1 in Sect. 2.
2 Preliminaries
2.1 Notation
Associated with the operator \(S_t\) given above by
and a fixed compact set \(\Theta \subset \mathbb {R}\), we define the maximal operator \(M_\Theta \) by
Also, we recall that the upper Minkowski dimension of \(\Theta \) is defined by
where \(N(\Theta ,\delta )\) denotes the smallest number of \(\delta \)-intervals which cover \(\Theta \).
We will use the following notation frequently:
-
\(I=[-1,1]\).
-
\(q'=\frac{q}{q-1}\): Hölder conjugate of \(q\in [1,\infty ]\).
-
\(A\lesssim B\): \(A\le CB\) for some constant \(C>0\).
-
\(A\gtrsim B\): \(A\ge CB\) for some constant \(C>0\).
-
\(A\sim B\): \(C^{-1}B\le A\le CB\) for some constant \(C>0\).
-
\(L^p_xL^q_tL^r_\theta \): The Lebesgue space with norm
$$\begin{aligned} \Vert F\Vert _{L_x^pL_t^qL_\theta ^r}=\left( \int \left( \int \left( \int |F(x,t,\theta )|^r\,d\theta \right) ^{\frac{q}{r}}\,dt\right) ^{\frac{p}{q}}\,dx\right) ^{\frac{1}{p}}, \end{aligned}$$where the domains of integration will be clear from the context.
2.2 Useful Lemmas
The following lemmas will be crucial for the oscillatory integral estimates in the proof of Theorem 1. Applying these lemmas appropriately essentially allows us to avoid the time localization lemma, which is used in [6].
Lemma 3
(van der Corput’s lemma) Let \(-\infty<a<b<\infty \), \(\phi \) be a sufficiently smooth real-valued function and \(\psi \) be a bounded smooth complex-valued function. Suppose we have \(|\phi ^{(k)}(x)|\ge 1\) for all \(x \in [a,b]\). If \(k=1\) and \(\phi '\) is monotonic on (a, b), or simply \(k\ge 2\), then there exists a constant \(C_k\) such that
for all \(\lambda > 0\).
For a proof of van der Corput’s lemma, we refer the reader to [28].
Lemma 4
Let \(1\le q\le 4\). There exists a constant \(C_q\) such that
where the integrals are taken over \((x,t), (x',t')\in I \times I\).
Proof
Denoting \(G(x)=\Vert g(x,\cdot )\Vert _{L^1}\) and \(H(x')=\Vert h(x',\cdot )\Vert _{L^1}\),
By the Hardy et al. inequality,
where the last inequality is obtained by Hölder’s inequality since \(\frac{4}{3}\le q'\) from our assumption. \(\square \)
3 Proof of Theorem 1
Proof of Theorem 1
We fix \(q\in [2,4]\). The case \(q \in [1,2)\) follows immediately by Hölder’s inequality.
The proof begins with a reduction to the case where f is frequency-localised to a large annulus and \(\theta \) belongs to an interval of an appropriately small length. This reduction to the forthcoming Proposition 5 essentially follows the argument in [6]; our main novelty is the proof of Propositon 5.
Suppose \(\psi _0\in C_0^\infty (I)\) and \(\psi \in C_0^\infty ((-2,-\frac{1}{2})\cup (\frac{1}{2},2))\) give rise to a standard dyadic partition of unity \(\psi _0(\xi )+\sum _{k\ge 1}\psi _{k}\equiv 1\), where \(\psi _{k}=\psi (\frac{\cdot }{2^{k-1}})\). For each \(0\le k\in \mathbb {Z}\), the frequency localization operator \(P_{k}\) is defined by \(\widehat{P_{k}f}(\xi )=\psi _k(\xi )\widehat{f}(\xi )\).
Then,
The first term is relatively easy to estimate. In fact,
for \(s\ge 0\), and thereby this term can be easily handled.
For the remaining terms, first note that for each \(k \ge 1\), there exists a finite collection of intervals \(\{\Omega _{k,j}\}_{j=1}^{N_k}\) which satisfies
where \(|\Omega _{k,j}|\le 2^{-\frac{qk}{4}}\) for each j and \(N_k=N(\Theta ,2^{-\frac{qk}{4}})\) is the smallest number of \(2^{-\frac{qk}{4}}\)-intervals which cover \(\Theta \). (The reason for the choice of scale \(2^{-\frac{qk}{4}}\) will become clear as we proceed.) For \(x\in I\),
therefore
Now, we shall introduce the following crucial proposition.
Proposition 5
Let \(2\le q\le 4\), \(k\ge 1\) and \(\Omega \) be an interval with \(|\Omega |\le 2^{-\frac{qk}{4}}\). Then, there exists a constant \(C_q\) such that
holds for all \(f\in L^2(\mathbb {R})\).
Proof of Proposition 5
Set \(\lambda =2^k\) and
where \(\chi =\chi _{I\times I \times \Omega }\). Then (6) follows from
since
by Plancherel’s theorem. Let us consider the dual form of (7), which is
where
Then,
Here, we denote \(w=(x,t,\theta )\in W\) and \(w'=(x',t',\theta ')\in W\), where \(W:=I\times I \times \Omega \). Also,
and
Thus, (8) follows from
3.1 The Term \(A_1\)
Let us start with an estimate of \(A_1\). Since
holds from (2), we are allowed to apply Lemma 3 to get
By using Lemma 4, it follows that
3.2 The Term \(A_2\)
Next, we shall consider \(A_2\). In this case, we firstly observe the following key relationship:
Indeed,
Similarly, the other way holds, too.
Now, let us observe that for all \((w,w')\in V_2\), we have
Before proving (10), we note that
immediately follows by using Lemma 4 as before.
To see (10), let us split \(K_\lambda \) into \(B_1\) and \(B_2\) as follows
where
and
For \(B_1\), we have
where we have used the fact that \(q \le 4\). From (2) and the intermediate value theorem, \(\Phi ''(\xi )\) is single-signed on \((-\infty , -1]\) and \([1,\infty )\), which guarantees that \(\Phi '(\xi )\) is monotone on these intervals. Hence, \(U_1\) consists of at most two intervals. Invoking Lemma 3,
On the other hand, for \(B_2\), it follows from (3) that
Then, by using Lemma 3, we obtain
Therefore, (10) holds.
3.3 The Term \(A_3\)
It remains to show
Trivially,
so by the dual form of Young’s convolution inequality
Here, we have used the fact that \(q \ge 2\). Therefore, we conclude that
as claimed. \(\square \)
By the definition of the upper Minkowski dimension, for small \(\varepsilon >0\) there is a constant \(C_\varepsilon > 0 \) depending on \(\varepsilon \) such that
Thus, if we also let \(\widehat{\tilde{P_k}f}=\tilde{\psi _k}\widehat{f}\), where \(\tilde{\psi }\in C_0^\infty ((-4,-\frac{1}{4})\cup (\frac{1}{4},4))\) with \(\tilde{\psi }\equiv 1\) on \((-2,-\frac{1}{2})\cup (\frac{1}{2},2)\), then
Therefore, for arbitrary \(\varepsilon >0\),
holds, which ends the proof. \(\square \)
Remarks
The crucial component in the above proof of Theorem 1 is Proposition 5. The corresponding result in [6] (Lemma 3.1), stated for \(q=2\) and \(\Phi (\xi ) = |\xi |^2\), is established through the following steps: \(TT^*\) argument, the time localization lemma, Schur’s lemma and then an oscillatory integral argument. Following this approach in the case \(\Phi (\xi ) = |\xi |^a\), one may extend by simple modification to the range \(a \ge \frac{3}{2}\). However, the time localization lemma reduces to the case of time intervals of length \(\lambda ^{1-a}\), and for a close to 1 this causes certain technical difficulties in the estimation of the oscillatory integrals which arise; in particular, the relationship (9) breaks down if we follow their argument as it stands. In order to overcome the significant technical difficulty, we removed the use of the time localization lemma and replaced this with appropriate decompositions of the domain \(W \times W\).
References
Bourgain, J.: On the Schrödinger maximal function in higher dimension. Tr. Mat. Inst. Steklova 280, 46–60 (2013)
Bourgain, J.: A note on the Schrödinger maximal function. J. Anal. Math. 130, 393–396 (2016)
Carleson, L.: Some analytic problems related to statistical mechanics. In: Euclidean harmonic analysis (Proc. Sem., Univ. Maryland, College Park, MD., 1979). Lecture Notes in Math. 779, 5–45 (1980)
Cho, C.H., Ko, H.: A note on maximal estimates of generalized Schrödinger equation, arXiv:1809.03246
Cho, C.H., Koh, Y., Seo, I.: On inhomogeneous Strichartz estimates for fractional Schrödinger equations and their applications. Discrete Contin. Dyn. Syst. 36, 1905–1926 (2016)
Cho, C.H., Lee, S., Vargas, A.: Problems on pointwise convergence of solutions to the Schrödinger equation. J. Fourier Anal. Appl. 18, 972–994 (2012)
Cho, Y., Lee, S.: Strichartz estimates in spherical coordinates. Indiana Univ. Math. J. 62, 991–1020 (2013)
Constantin, P., Saut, J.-C.: Local smoothing properties of dispersive equations. J. Am. Math. Soc. 1, 413–439 (1988)
Cowling, M.G.: Pointwise behavior of solutions to Schrödinger equations, In: Harmonic Analysis (Cortona, 1982). Lecture Notes in Math. 992, 83–90 (1983)
Dahlberg, B.E.J., Kenig, C.E.: A note on the almost everywhere behavior of solutions to the Schrödinger equation. In: Harmonic Analysis (Minneapolis, MN 1981). Lecture Notes in Math. 908, 205–209 (1982)
Du, X., Guth, L., Li, X.: A sharp Schrödinger maximal estimate in \(\mathbb{R}^2\). Ann. Math. 186, 607–640 (2017)
Du, X., Zhang, R.: Sharp \(L^2\) estimate of Schrödinger maximal function in higher dimensions. Ann. Math. 189, 837–861 (2019)
Guo, B., Huo, Z.: Global well-posedness for the fractional nonlinear Schrödinger equation. Commun. Partial Differ. Equ. 36, 247–255 (2011)
Guo, Z., Li, L., Nakanishi, K., Yan, L.: On the boundary Strichartz estimates for wave and Schrödinger equations. J. Differ. Equ. 265, 5656–5675 (2018)
Guo, Z., Wang, Y.: Improved Strichartz estimates for a class of dispersive equations in the radial case and their applications to nonlinear Schrödinger and wave equations. J. Anal. Math. 124, 1–38 (2014)
Hong, Y., Sire, Y.: On fractional Schrödinger equations in Sobolev spaces. Commun. Pure Appl. Anal. 14, 2265–2282 (2015)
Ionescu, A.D., Pusateri, F.: Nonlinear fractional Schrödinger equations in one dimension. J. Funct. Anal. 266, 139–176 (2014)
Ke, Y.: Remark on the Strichartz estimates in the radial case. J. Math. Anal. Appl. 387, 857–861 (2012)
Kenig, C.E., Ponce, G., Vega, L.: Oscillatory integrals and regularity of dispersive equations. Indiana Univ. Math. J. 40, 33–69 (1991)
Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298–305 (2000)
Laskin, N.: Fractional Schrödinger equation. Phys. Rev. E 66, 056108 (2002)
Lee, S.: On pointwise convergence of the solutions to Schrödinger equations in \(\mathbb{R}^2\). Int. Math. Res. Not. 2006, 1–21 (2006)
Pausader, B.: The cubic fourth-order Schrödinger equation. J. Funct. Anal. 256, 2473–2517 (2009)
Prestini, E.: Radial functions and regularity of solutions to the Schrödinger equation. Monatsh. Math. 109, 135–143 (1990)
Rogers, K.M., Villarroya, P.: Sharp estimates for maximal operators associated to the wave equation. Ark. Mat. 46, 143–151 (2008)
Sjögren, P., Sjölin, P.: Convergence properties for the time dependent Schrödinger equation. Ann. Acad. Sci. Fenn. AI Math. 14, 13–25 (1989)
Sjölin, P.: Regularity of solutions to the Schrödinger equation. Duke Math. J. 55, 699–715 (1987)
Stein, E.M.: Harmonic Analysis. Princeton University Press, Princeton (1994)
Vega, L.: Schrödinger equations: pointwise convergence to the initial data. Proc. Am. Math. Soc. 102, 874–878 (1988)
Walther, B.G.: Maximal estimates for oscillatory integrals with concave phase. Contemp. Math. 189, 485–495 (1995)
Acknowledgements
The author would like to thank his advisor Neal Bez for the constant encouragement and many interesting discussions. The author would also like to thank the anonymous referees for their very helpful comments which have greatly improved the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Shiraki, S. Pointwise Convergence Along Restricted Directions for the Fractional Schrödinger Equation. J Fourier Anal Appl 26, 58 (2020). https://doi.org/10.1007/s00041-020-09760-8
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00041-020-09760-8