Abstract
We study the Cauchy problem for the half wave Schrödinger equation introduced by Xu [9]. There are some well-posedness results for the equation, however there is no ill-posedness result. We focus on the scale critical space and obtain the ill-posedness in the super-critical or at the critical space under certain condition. The proofs in the super-critical space are based on the argument established by Christ, Colliander and Tao [4]. More precisely, we analyze dispersionless equation with smooth initial data, namely the Schwartz function and it is locally well-posed in some weighted Sobolev space. We construct the solution for the half wave Schrödinger equation by using the solution for the dispersionless equation and we can exploit the norm inflation or the decoherence properties. For the critical space, we use the standing wave solution, which was proved the existence by Bahri, Ibrahim and Kikuchi [1].
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider the Cauchy problem for the following equation:
where \(|D_y| = (-\partial _y^2)^{\frac{1}{2}}, \mu = \pm 1, p > 1\). (1.1) with \(\mu = 1, p = 3\) is firstly considered by Xu [9] on the cylinder \((x, y) \in \mathbb {R} \times \mathbb {T}\). In [9], large time behavior for (1.1), namely the modified scattering for small regular solution is derived. For the case \(\mu = -1\) and \(1< p < 5\), Bahri, Ibrahim and Kikuchi [1] proved existence and the stability of the ground states \(Q_{\omega }(x, y)\) with \(\omega > 0\) which satisfy
They also found the traveling wave solutions \(e^{i\omega t} Q_{\omega , v}(x, y-vt), \omega > 0, v \in \mathbb {R}\) exist and derived the behavior of \(Q_{\omega , v}\) in \(H^{1, 0}(\mathbb {R}^2)\) or \(L^2(\mathbb {R}^2)\) as the velocity v tends to 1. See the definition of \(H^{s_1, s_2}(\mathbb {R}^2)\) in the following section. Here \(Q_{\omega , v}\) is a solution to the following equation:
Concerning the Cauchy problem, [1] showed the local well-posedness in the scale sub-critical space, namely \(H^{0, s}(\mathbb {R}^2)\) with \(\frac{1}{2}< s < 1\) and \(1 < p \leqslant 5\) by the standard fixed point argument (see section 2 for the definition of scale sub-critical space)Footnote 1. The following Strichartz estimate is a key role to show local well-posedness: For \(S(t):= e^{it(\partial _x^2 - |D_y|)}\) and \(s > \frac{1}{2}\), there exists \(C > 0\) such that
So far there is no result for lower regularity space, for instance the energy space \(E:= H^{1, 0}(\mathbb {R}^2) \cap H^{0, \frac{1}{2}}(\mathbb {R}^2)\) equipped with the norm
In Theorem 1.1 below, we find that for \(p > 5\) the ill-posedness (norm inflation) holds in E since E is the super-critical space in this case. However for \(1< p < 5\) (resp. \(p = 5\)), E is the sub-critical (resp. scale-critical) space and we do not obtain any result yet. We explain some difficulties to show well-posedness in E for \(1 < p \leqslant 5\). The first one is the restriction of regularity with respect to y variable, namely \(s > \frac{1}{2}\) for the above Strichartz estimate. We do not know whether the Strichartz estimate hold or not for \(s = \frac{1}{2}\). If we neglect the term \(\partial _x^2 u\) and x variable, (1.1) is nothing but the half wave equation and it is ill-posed in \(H^s(\mathbb {R})\) for \(s < \frac{1}{2}\) and \(p = 3\) (see e.g. Theorem 1.3 [3]). For the delicate case \(s = \frac{1}{2}\), one may apply the argument in the cubic Szegő equation [6] or the half wave equation [8]. However, for instance (1.1) with \(p = 3\), the Yudovich argument, which was applied to show uniqueness of the solution for Szegő equation [6] or the half wave equation [8], is difficult to apply. In fact, we cannot replace the right-hand side of the following inequality X by the energy space E. For \(q \in [2, \infty ), u \in X = H^{\frac{1}{2}, \frac{1}{2}}(\mathbb {R}^2)\ \text {or} \ H^1(\mathbb {R}^2)\), there exists \(C > 0\) such that the following holds:
This is the second difficulty. Moreover, the Gagliardo-Nirenberg inequality (Lemma 2.1 [1]):
holds only for \(1< q < 5\). However, we need \(q \rightarrow \infty \) to show the uniqueness. These are the main reasons why we cannot apply the standard technique. Thus the Cauchy problem (1.1) in E for \(1 < p \leqslant 5\) is an interesting open problem.
The aim of this paper is to investigate the ill-posedness for (1.1) in the super-critical (resp. at the critical) space \(H^{s_1, s_2}\) for \(\mu = \pm 1\) (resp. \(\mu = -1\)) since there is no ill-posedness result. The first statement is the norm inflation in the super-critical space.
Theorem 1.1
Let \(p > 1\) be an odd integer and \(\mu = \pm 1\). Suppose that either \(s_1, s_2 \geqslant 0\) except for \(s_1 = s_2 = 0\) and \(s_1 + 2s_2 < \frac{3}{2}-\frac{2}{p-1}\) or \(s_1, s_2 \leqslant -\frac{1}{2}\). Then for any \(\varepsilon > 0\) there exist a solution u for (1.1) and \(t > 0\) such that \(u(0) \in \mathcal {S}(\mathbb {R}^2)\),
If \(p > 1\) is not an odd integer, then the same conclusion holds provided that there exists an integer \(k > 1\) such that \(p \geqslant k+1\) and either \(s_1, s_2 \geqslant 0\) except for \(s_1 = s_2 = 0\) and \(s_1 + 2s_2 < \frac{3}{2} - \frac{2}{p-1}\) or \(s_1, s_2 \leqslant -\frac{1}{2}\).
The second result is the decoherence in \(H^{s_1, s_2}\) with non-positive \(s_1, s_2\). Here, the decoherence means that the flow map is not uniformly continuous at time 0 in \(H^{s_1, s_2}\).
Theorem 1.2
Let \(p > 1\) be an odd integer and \(\mu = \pm 1\). For any \(s_1, s_2 \leqslant 0\), there exist the constants \(C > 0\) such that the following estimates (1.2)–(1.4) hold. For any \(0< \delta , \varepsilon < 1\) and \(t > 0\) there exist solutions for (1.1) with initial data \(u_1(0), u_2(0) \in \mathcal {S}(\mathbb {R}^2)\) such that
If \(p > 1\) is not an odd integer, then the same conclusion holds provided that there exists an integer \(k > \frac{3}{2}\) such that \(p \geqslant k + 1\) and \(s_1, s_2 \leqslant 0\).
The proofs for Theorems 1.1 and 1.2 are based on the work of Christ, Colliander and Tao [4] (Theorems 2, 1). In [4], they proved the norm inflation and the decoherence for the Schrödinger equation and the wave equation with power type nonlinearity \(\mu |u|^{p-1}u, \mu = \pm 1\), by regarding the nonlinearity as the main term and the linear dispersive part as the perturbation. To show the decoherence for the Schrödinger equation, the Galilean invariance parameter plays a crucial role. Using this idea with suitable modification (since (1.1) has different dispersion in x and y variable), we can obtain the ill-posedness for (1.1). We remark that we consider the ill-posedness in the super-critical space in Theorems 1.1 and 1.2 and in Theorem 1.2 more regularity (or weight) k is needed than in Theorem 1 [4].
The third main result is also the decoherence, and we consider at the scale critical space with non-negative \(s_1, s_2\).
Theorem 1.3
Let \(1< p < 5\) and \(\mu = -1\). For any \(s_1, s_2 \geqslant 0, s_1 + 2s_2 = \frac{3}{2} - \frac{2}{p-1}, 0< \delta , \varepsilon < 1\) and \(t > 0\) there exist solutions for (1.1) with initial data \(u_1(0), u_2(0) \in H^{s_1, s_2}(\mathbb {R}^2)\) such that (1.3) and (1.4) hold in Theorem 1.2.
We note that in Theorem 1.3, we only consider the focusing nonlinearity \(\mu = -1\) and \(1< p < 5\) since we use the standing wave solutions for (1.1) with \(\mu = -1\) obtained by [1].
Let us introduce an organization of this paper. In section 2, we give some notations and lemmas (Lemmas 2.1, 2.2). By the usual energy method, we obtain Lemma 2.1, namely local well-posedness for (2.2) (the equation with small dispersion parameter \(\nu \)) with regular initial data. In section 3, we prove the norm inflation in the super-critical space. In section 4, we prove the decoherence. We apply Lemma 2.2 together with the scaling to show the decoherence occurs in a very short time. Finally in section 5, we prove the decoherence at the critical space for the focusing case.
2 Preliminaries
\(\hat{f}\) denotes the Fourier transform of f with respect to the spatial variable x and y. We define the anisotropic Sobolev spaces \(H^{s_1, s_2}(\mathbb {R}^2) = (1 - \partial _x^2)^{-\frac{s_1}{2}} (1 - \partial _y^2)^{-\frac{s_2}{2}} L^2(\mathbb {R}^2)\) and \(\dot{H}^{s_1, s_2} = (-\partial _x^2)^{-\frac{s_1}{2}} (-\partial _y^2)^{-\frac{s_2}{2}} L^2(\mathbb {R}^2) \) with norms
(1.1) is scale-invariant under the transformation
for all \(\lambda > 0\). If \(s_1, s_2\) satisfy
then we have \(\Vert u_{\lambda }(0)\Vert _{\dot{H}^{s_1, s_2}} = \Vert u_0\Vert _{\dot{H}^{s_1, s_2}}\). We call \(H^{s_1, s_2}\) scale criticalFootnote 2 if \(s_1, s_2\) satisfy (2.1) and super-critical if \(s_1, s_2\) satisfy
Similarly the scale sub-critical space \(H^{s_1, s_2}\) be such that \(s_1, s_2\) satisfy
\(\mathcal {H}^{k, k}\) denotes the weighted Sobolev space endowed with the norm
Let \(\phi _0 = aw, a \in [\frac{1}{2}, 1]\) and the Schwartz function \(w \in \mathcal {S}(\mathbb {R}^2)\) be given and let \(\phi = \phi ^{(a, \nu )}(t, x, y)\) satisfies
where \(0 < \nu \ll 1, \mu = \pm 1\). By letting \(\nu \rightarrow 0\), (2.2) approaches
The solution \(\phi = \phi ^{(0)}\) for (2.3) can be expressed as
For \(\frac{1}{2} \leqslant a \leqslant 1, 0 < \lambda \ll 1, v \in \mathbb {R}\) we set
Then \(u = u^{(a, \nu , \lambda , v)}\) satisfies
The following lemma will be applied in the proof of Theorems 1.1, 1.2.
Lemma 2.1
(Lemma 2.1 [4]) Let \(p \geqslant 1, k > 1\) and let \(\phi ^{(0)}(t)\) satisfies (2.4). If p is not an odd integer, then we also assume \(p \geqslant k + 1\). Then there exist \(C, c > 0\) depending on p, k such that the following holds: For sufficiently small \(0 < \nu \leqslant c\) and \(T = c|\log \nu |^c\), there exists a solution \(\phi (t) \in C^1([-T, T]; \mathcal {H}^{k, k})\) of (2.2) satisfying
for all \(|t| \leqslant c|\log \nu |^c\).
Proof
Let \(\phi = \phi ^{(0)} + \psi \) where \(\phi , \phi ^{(0)}\) satisfy (2.2), (2.4) respectively. Then \(\psi \) satisfies
To show (2.6) we need to prove
for \(0 \leqslant T \leqslant c|\log \nu |^c\). For simplicity, let \(t \geqslant 0\). The energy inequality gives
From (2.4), \(\phi _0 \in \mathcal {S}(\mathbb {R}^2)\) and
we obtain
We show
where \(F: \mathbb {C} \rightarrow \mathbb {C}\), \(F(z):= \mu |z|^{p-1} z\). For \(j = 0, 1,..., k\), we see
Thus the chain rule, the Leibnitz rule and (2.9) imply
for each \(0 \leqslant j \leqslant k\), where \(\alpha _1,..., \alpha _r\) range over all finite collections of non-negative integers with \(1 \leqslant r \leqslant k+1\) and \(\alpha _1 +... + \alpha _r \leqslant k\). Thus (2.11) follows from the Hölder inequality and the Sobolev inequality. Collecting (2.8), (2.10) and (2.11),
where \(C > 0\) depends on k. Under the a priori assumption \(\Vert \psi (t)\Vert _{\mathcal {H}^{k, k}} \leqslant 1\), the above inequality becomes
By the Gronwall inequality and \(\psi (0) = 0\), we have
when \(0 \leqslant t \leqslant c|\log \nu |^c\) for suitably chosen c and sufficiently small \(\nu > 0\). Then (2.7) follows and the a priori assumption \(\Vert \psi (t)\Vert _{\mathcal {H}^{k, k}} \leqslant 1\) is attained. Hence we obtain the desired result. \(\square \)
We prepare the following lemma for the proof of Theorem 1.2.
Lemma 2.2
(Lemma 3.1 [4]) Let \(0 \ne w \in \mathcal {S}(\mathbb {R}^2)\) and \(s_1, s_2 < 0\). Suppose that \(p, k, \phi = \phi ^{(a, \nu )}, \phi ^{(0)}\) be given in Lemma 2.1. Also assume that \(|v| \geqslant 1, \frac{1}{2} \leqslant a, a' \leqslant 2\) and \(0 < \nu \leqslant \lambda \ll 1\). Then for \(u^{(a, \nu , \lambda , v)}\) given by (2.5) there exist \(C, c > 0\) such that the followings hold:
whenever \(|t| \leqslant c|\log \nu |^c \lambda ^2\).
Proof
From (2.5), we have
By Lemma 2.1, for \(0 < \nu \leqslant c\) there exists the solution \(\phi (t, x, y) = \phi ^{(a, \nu )}(t, x, y)\) to (2.2) with initial data \(\phi ^{(a, \nu )}(0, x, y) = aw(x, y),\, 0 \ne w \in \mathcal {S}(\mathbb {R}^2)\). From \(\frac{1}{2} \leqslant a \leqslant 2\) and \(s_1, s_2 < 0\) we have
for all \(N < \infty \) since \(w \in \mathcal {S}(\mathbb {R}^2)\). In the last step we use \(\nu \leqslant \lambda \). Hence (2.12) follows. (2.13) is clear from \(u^{(a, \nu , \lambda , v)}(0) - u^{(a', \nu , \lambda , v)}(0) = (a - a')u^{(1, \nu , \lambda , v)}(0)\) and (2.12).
Finally we prove (2.14) below. From (2.5),
Here
Hence from \(\nu \leqslant \lambda \) and \(s_2 < 0\) we have
By Lemma 2.1, (2.9) and \(s_2 < 0\), we have
for \(|t| \leqslant c|\log \nu |^c\). On the other hand,
Collecting (2.16) and (2.17), we see
when \(\left| \frac{t}{\lambda ^2} \right| \leqslant c|\log \nu |^c\). Then
Hence from \(s_1 < 0\) and \(|v| \geqslant 1\), we obtain (2.14).
\(\square \)
3 Norm inflation
In this section, we prove Theorem 1.1. We consider either (i) \(s_1, s_2 \geqslant 0\) except for \(s_1 = s_2 = 0\) and \(s_1 + 2s_2 < \frac{3}{2}-\frac{2}{p-1}\) or (ii) \(s_1, s_2 \leqslant -\frac{1}{2}\). In addition we assume that \(0 < \lambda \leqslant \nu \ll 1\).
Proof of Theorem 1.1
We see from \(\phi ^{(a, \nu )}(0, x, y) = aw(x, y), 0 \ne w \in \mathcal {S}(\mathbb {R}^2)\) that
Hence if \(\lambda \leqslant \nu \), then
Thus if \(\lambda \leqslant \nu \), then
Taking \(\lambda = \nu ^{\sigma }, \sigma := \frac{\frac{3}{2} - s_1 -2s_2 + \delta }{\frac{3}{2} - \frac{2}{p-1} - s_1 - 2s_2} > 1\) and \(\delta > 0\) be such that \(\nu ^{\delta } = \varepsilon \), then we have
Similarly from \([u^{(a, \nu , \lambda , 0)}(\lambda ^2 t)](\xi , \eta ) = \lambda ^{-\frac{2}{p-1}} \left( \frac{\lambda }{\nu } \right) ^3 \widehat{\phi }^{(a, \nu )} \left( t, \frac{\lambda }{\nu }\xi , \frac{\lambda ^2}{\nu ^2}\eta \right) \), \(s_1, s_2 \geqslant 0\) except for \(s_1 = s_2 = 0\) and \(\lambda \leqslant \nu \), we see
We estimate \(\Vert \phi ^{(a, \nu )}(t)\Vert _{H^{s_1, s_2}}\) below. If we can show
then we apply Lemma 2.1 and obtain \(\Vert \phi ^{(a, \nu )}(t)\Vert _{H^{s_1, s_2}} \sim t^{s_1+s_2}\). This leads to
when \(\nu \ll 1\) and \(1 \ll t \leqslant c|\log \nu |^c\). (3.2) is confirmed by the same manner as in the proof of Theorem 2 (page 17 [4]). Indeed, from
and
for all integers \(j_1, j_2 \geqslant 0\) if p is an odd integer, and all \(j_1, j_2\) satisfying \(0 \leqslant j_1 + j_2 \leqslant p-1\) otherwise, we have
Under the assumptions of \(s_1, s_2, k, p\) in Theorem 1.1, we have (3.2).
Next, we prove the case \(s_1, s_2 \leqslant -\frac{1}{2}\). From (3.1) and if \(\Vert \mathcal {F}_x[w](\xi , \cdot )\Vert _{H^{s_2}} \sim O(|\xi |^{\kappa })\) as \(\xi \rightarrow 0\) for some \(\kappa > - s_1 - \frac{1}{2}\), then from \(\lambda \leqslant \nu \),
This yields \(\Vert u^{(a, \nu , \lambda , 0)}(0)\Vert _{H^{s_1, s_2}} \leqslant C\varepsilon \). We will show that for any \(\varepsilon > 0\), it holds \(\Vert u^{(a, \nu , \lambda , 0)}(\lambda ^2)\Vert _{H^{s_1, s_2}} > \frac{1}{\varepsilon }\) for sufficiently small \(0 < \lambda \leqslant \nu \). We check the case \(s_1, s_2 < -\frac{1}{2}\) at first.
is equivalent to \(|\widehat{\phi }^{(a, 0)}(1, 0, 0)| \geqslant C\). Here \(\phi ^{(a, 0)}(1)\) is rapidly decreasing, hence by continuity we see for \(|\xi |, |\eta | \leqslant c\) with \(0 < c \ll 1\) that
By \(|\xi |, |\eta | \leqslant c \ll 1\), the Cauchy-Schwarz inequality and Lemma 2.1, we obtain
Collecting (3.4) and (3.5), we have
for \(|\xi |, |\eta | \leqslant c\) and sufficiently small \(\nu > 0\). From (2.5), we compute
If \(|\xi | \leqslant c\frac{\nu }{\lambda }, |\eta | \leqslant c\frac{\nu ^2}{\lambda ^2}\), then by (3.6), we have \(|\widehat{u}^{(a, \nu , \lambda , 0)}(\lambda ^2, \xi , \eta )| \geqslant C\lambda ^{-\frac{2}{p-1}}\left( \frac{\lambda }{\nu } \right) ^3\). From this and \(s_1, s_2 < -\frac{1}{2}\), we see
If \(\lambda \leqslant \nu \), then \(\left( \frac{\lambda }{\nu } \right) ^{\frac{3}{2}+s_1+2s_2} \rightarrow \infty \) as \(\nu \rightarrow 0\) since \(s_1 + 2s_2 < -\frac{3}{2}\). Thus the claim follows by taking \(\nu \) sufficiently small depending on \(\varepsilon \). We consider the case \(s_1 = s_2 = -\frac{1}{2}\) secondly. From (3.7), \(\lambda \leqslant \nu \) and
we obtain
Thus the desired result follows. It remains to show the claim when \(s_1 = -\frac{1}{2}, s_2 < -\frac{1}{2}\) or \(s_1 < -\frac{1}{2}, s_2 = -\frac{1}{2}\). These cases are handled in a similar way, hence we omit the detail.
\(\square \)
4 Decoherence
In this section, we prove Theorem 1.2.
Proof of Theorem 1.2
Firstly, we consider the case \(s_1, s_2 < 0\). Set \(\lambda ^{-\frac{2}{p-1}} \left( \frac{\lambda }{\nu } \right) ^{\frac{3}{2}} |v|^{s_1} = \varepsilon \), \(\lambda = \nu ^{\sigma }\) such that \(0 < \varepsilon , \sigma \ll 1\) and \(\sigma \) will be fixed later. This condition is equivalent to \(|v| = \nu ^{\frac{1}{s_1}\left( \frac{3}{2}(1-\sigma ) + \frac{2\sigma }{p-1} \right) } \cdot \varepsilon ^{\frac{1}{s_1}}\), namely |v| grows negative power of \(\nu \). From (2.12) and (2.13) we obtain
Taking \(\delta = \varepsilon |a - a'|\) then we obtain (1.2) and (1.3). There exists some \(T = T(a, a') > 0\) such that
Here \(C > 0\) is independent of \(a, a'\) and fix this T. By Lemma 2.1, for all \(0 < T \leqslant c|\log \nu |^c\)
where \(\phi ^{(a, 0)}(t)\) is defined in (3.3). From (4.1) and (4.2), we have
provided \(s_2 < 0\) and \(\nu > 0\) is sufficiently small. From (2.14), if \(0 < T \leqslant c|\log \nu |^c\), then we have
We set \(\lambda = \nu ^{\sigma }\) with sufficiently small \(\sigma > 0\) such that
as \(\nu \rightarrow 0\). Indeed, if \(s_1 < 0\) and \(k > \frac{3}{2}\) we see \(k - \frac{3(s_1+k)}{2s_1}> -\frac{9}{4}s_1 > 0\). Therefore
As \(\nu \rightarrow 0\), we have \(\lambda = \nu ^{\sigma } \rightarrow 0\), hence \(\lambda ^2 T \rightarrow 0\). Therefore we conclude (1.4). Secondly we check the case \(s_1 = s_2 = 0\). We see
when \(t \geqslant C|a - a'|^{-1}\). If \(\nu > 0\) is sufficiently small and \(C|a-a'|^{-1} \leqslant t \leqslant c|\log \nu |^c\), then (2.6) gives
We see
Of course it holds that
Therefore the claim follows for the case \(s_1 = s_2 = 0\). The cases \(s_1 = 0\) and \(s_2 < 0\) or \(s_1 < 0\) and \(s_2 = 0\) would be similar, hence we omit the proof.
\(\square \)
5 Decoherence at the critical regularity for focusing case
In this section, we consider (1.1) with \(\mu = -1\) (focusing case):
For \(1< p < 5\), there exists the standing wave for (5.1), namely \(u(t, x, y) = e^{i\beta t} Q_{\beta }(x, y), \beta > 0\). Here \(Q_{\beta }\) satisfies the following equation (see (1.5) [1]):
We note that
Proof of Theorem 1.3
We set two solutions \(u_1, u_2\) for (5.1) as
where \(\beta _j > 0, j= 1, 2\). From (5.2), (5.3), change of variables and \(s_1 + 2s_2 = \frac{3}{2} - \frac{2}{p-1}\) we see
as \(\frac{\beta _2}{\beta _1} \rightarrow 1\). Hence (1.3) follows. Finally, we check (1.4).
Similar to the above argument, we see \(\Vert u_i(t)\Vert _{\dot{H}^{s_1, s_2}} = \Vert Q_1\Vert _{\dot{H}^{s_1, s_2}}\) for \(i = 1, 2\).
If we take \(\beta _1 = n^2 + n, \beta _2 = n^2, t = \frac{\pi }{n}\) for\(n \in \mathbb {N}\), then we obtain
since \(s_1 + 2s_2 = \frac{3}{2} - \frac{2}{p-1}\). Therefore
Hence (1.4) follows. \(\square \)
Notes
We can also obtain the local well-posedness in \(H^{1, 0}(\mathbb {R}^2) \cap H^{0, s}(\mathbb {R}^2), s > \frac{1}{2}\) for (1.1), \(\mu = \pm 1, p = 3\).
The energy space \(H^{1, 0}(\mathbb {R}^2) \cap H^{0, \frac{1}{2}}(\mathbb {R}^2)\) is scale critical when \(p = 5\).
References
Bahri, Y., Ibrahim, S., Kikuchi, H.: Remarks on solitary waves and Cauchy problem for half-wave-Schrödinger equations. Commun. Contemp. Math. 23(5), Paper No. 2050058 (2021)
Birnir, B., Kenig, C.E., Ponce, G., Svanstedt, N., Vega, L.: On the ill-posedness of the IVP for the generalized Korteweg-de Vries and nonlinear Schrödinger equations. J. Lond. Math. Soc. Ser. 53, 551–559 (1996)
Choffrut, A., Pocovnicu, O.: Ill-posedness of the cubic nonlinear half-wave equation and other fractional NLS on the real line. Int. Math. Res. Not. IMRN (3), 699–738 (2018)
Christ, M., Colliander, J., Tao, T.: Ill-posedness for nonlinear Schrödinger and wave equations. arXiv:math/0311048 (2003)
Christ, M., Colliander, J., Tao, T.: Asymptotics, frequency modulation, and low regularity ill-posedness for canonical defocusing equations. Am. J. Math. Ser. 125(6), 1235–1293 (2003)
Gérard, P., Grellier, S.: The cubic Szegő equation. Ann. Sci. Éc. Norm. Supér. (4) 43(5), 761–810 (2010)
Judovič, V.I.: Non-stationary flows of an ideal incompressible fluid. Ž. Vyčisl. Mat i Mat. Fiz. 3, 1032–1066 (1963)
Krieger, J., Lenzmann, E., Raphaël, P.: Nondispersive solutions to the \(L^2\)- critical half-wave equation. Arch. Ration. Mech. Anal. Ser. 209(1), 61–129 (2013)
Xu, H.: Unbounded Sobolev trajectories and modified scattering theory for a wave guide nonlinear Schrödinger equation. Math. Z. Ser. 286(1–2), 443–489 (2017)
Acknowledgements
The author would like to appreciate the referee for useful comments. The author is also grateful to Prof. Yoshio Tsutsumi for carefully proofreading the manuscript. Furthermore, the author would like to thank Prof. Hiroaki Kikuchi and Dr. Masayuki Hayashi JSPS Research Fellow for many useful discussions and for teaching me the property of the standing wave and the traveling wave solutions of this equation. The author was supported by JSPS KAKENHI Grant Number JP20J00874.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kato, I. Ill-posedness for the Half wave Schrödinger equation. Math. Z. 306, 72 (2024). https://doi.org/10.1007/s00209-024-03452-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-024-03452-5