Abstract
We consider semiclassically scaled, weakly nonlinear Schrödinger equations with external confining potentials and additional angular-momentum rotation term. This type of model arises in the Gross–Pitaevskii theory of trapped, rotating quantum gases. We construct asymptotic solutions in the form of semiclassical wave packets, which are concentrated in both space and in frequency around an classical Hamiltonian phase-space flow. The rotation term is thereby seen to alter this flow, but not the corresponding classical action.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Semiclassical wave packets are a well-known tool in the approximate description of quantum mechanics as \({\varepsilon }\simeq \hbar \rightarrow 0\). The latter represents a singular limiting regime which leads to highly oscillatory solutions in the corresponding Schrödinger dynamics, cf. [5] for a general introduction. In an attempt to overcome this issue, one seeks a representation for the exact quantum mechanical wave function \(\psi ^{\varepsilon }\) via
Here, \(q(t) \in {\mathbb {R}}^d\) and \(p(t)\in {\mathbb {R}}^d\) denote the mean position and momentum at time \(t\in {\mathbb {R}}\), whereas \(S(t)\in {\mathbb {R}}\) is a purely time-dependent phase proportional to the classical action. Finally, the amplitude function \(v(t, y)\in \mathbb C\) describes slowly varying changes due to dispersive effects within the dynamics. The right hand side of (1.1) corresponds to a wave function which is well-localized (at scale \(\sqrt{\varepsilon }\)) both in space and in frequency (or momentum). In particular, for wave functions of the form (1.1) the following three quantities
are all of order \({\mathcal {O}}(1)\), as \({\varepsilon }\rightarrow 0\).
It is known that the amplitude v satisfies a homogenized, i.e., \({\varepsilon }\)-independent, Schrödinger-type equation with an effective quadratic potential (see the derivation below). A popular ansatz for the solution v of this homogenized equation is that of a Gaussian function, which can be shown to be propagated exactly. In this case, wave packets of the form (1.1) comprise semiclassically scaled coherent states which minimize the Heisenberg uncertainty relation, cf. [16]. Coherent states allow to approximately describe the full quantum dynamics of \(\psi ^{\varepsilon }\) via a system of ordinary differential equations for q, p, and the matrices used to parametrize the Gaussian function v, see [10, 11]. This makes this type of approximation particularly interesting for numerical simulations, where one seeks to represent general states \(\psi ^{\varepsilon }(t,\cdot )\in L^2({\mathbb {R}}^d)\) by a (well chosen) superposition of such Gaussian wave packets, see [15, 19] for a general overview of this topic. One should note, however, that the derivation of the aforementioned ordinary differential equations can be rather involved, in particular if the Hamiltonian operator governing the dynamics of \(\psi ^{\varepsilon }\) has a complicated expression.
Motivated by the mean-field description of trapped rotating quantum gases, the aim of this paper is to show how to use semi-classical wave packets in the context of (weakly nonlinear) Schrödinger equations with external scalar potential and additional angular momentum rotation term. To this end, we consider the following Gross–Pitaevskii equation with rotation
Here \((t,x)\in {\mathbb {R}}\times {\mathbb {R}}^d\) with \(d=2\) or 3, respectively, \(\lambda \in {\mathbb {R}}\) denotes a coupling constant, which allows for both focusing and defocusing nonlinearities, and \(\alpha = \alpha (d)>0\) is a parameter used to ensure the critical strength of the nonlinearity (see below). The operator \(\Omega \cdot L\) describes the rotation around a given axis \(\Omega \in {\mathbb {R}}^d\), where
is the quantum mechanical angular momentum operator. In addition, V(x) denotes some external potential, for which we shall impose:
Assumption 1.1
The potential \(V\in C^{\infty }({\mathbb {R}}^d;{\mathbb {R}})\) is smooth and sub-quadratic, i.e.,
A typical example, for such a potential is that of a harmonic confinement, i.e., \(V(x) = \frac{1}{2}|x|^2\), which is often used to describe the electromagnetic trapping of experimental Bose-Einstein condensates.
We further assume that the initial data \(\psi _{0}^{{\varepsilon }}\) is given in the form of a localized wave packet, i.e.,
where \(v_0\in \Sigma ^3\), but not necessarily Gaussian. Here, and in the following we shall denote the natural energy space associated with (1.2) by
In the next two sections, we shall show how to rigorously derive the dynamical equations needed to construct an approximation of the solution to (1.2) in the form (1.1), first in the linear case \(\lambda =0\), and second in the case of a critical nonlinearity, i.e., \(\lambda \not =0\) and \(\alpha = \alpha _\textrm{crit}\), where
The assumption \(\alpha = \alpha _{\textrm{crit}}\) thereby ensures that nonlinear effects are present in the dynamics of the slowly varying amplitude v, while for \(\alpha >\alpha _{\textrm{crit}}\) the problem becomes effectively linearizable. Of course, \(\alpha _{\textrm{crit}}>0\) means that the nonlinearity in (1.2) formally vanishes in the limit \({\varepsilon }\rightarrow 0\), which is why we call it a weakly nonlinear regime. As we shall see, the approximation in the linear case will hold up to Ehrenfest time-scales \(t\sim {\mathcal {O}}(\ln \frac{1}{{\varepsilon }})\), whereas in the (weakly) nonlinear case, we will need to restrict ourselves to time-scales \(t\sim {\mathcal {O}}(1)\). In the case \(\lambda =0\) and \(v_0\) given by a Gaussian, we shall show how to adapt the system of ordinary differential equations governing such wave packets to the case with rotation.
2 The linear case
In this section, we shall study the case \(\lambda =0\), i.e., we consider
where \(\psi _0^{\varepsilon }\) is given in the form (1.3). In order to understand how the rotation term influences the dynamics, we first notice that the linear Hamiltonian H can be seen as the \({\varepsilon }\)-quantization of the following classical Hamiltonian phase-space function \(H:{\mathbb {R}}^{2d}\rightarrow {\mathbb {R}}\):
The corresponding Hamiltonian trajectories for a particle with position \(q(t)\in {\mathbb {R}}^d\) and momentum \(p(t) \in {\mathbb {R}}^d\) are therefore given by
Lemma 2.1
(Classical dynamics) Let \((q_0, p_0)\in {\mathbb {R}}^d\times {\mathbb {R}}^d\) and V satisfy Assumption 1.1. Then, (2.2) has a unique global, smooth solution \((q,p)\in C^{\infty }({\mathbb {R}};{\mathbb {R}}^d)^2\), which grows at most exponentially.
Proof
The local well-posedness of the solution can be inferred from the fact that V is smooth. From (2.2), we see that q solves the following ordinary differential equation:
Multiply both sides by \(\dot{q}\),
We can see that \(|\Omega \wedge q|^2\lesssim \langle q\rangle ^2,\) and \(V(q)\lesssim \langle q\rangle ^2\) by Assumption 1.1, so
which shows that
Plugging this into (2.2) yields the same estimate for p(t). \(\square \)
Remark 2.2
The system (2.2) has already been studied in [2] in the case of a purely harmonic, but not necessarily isotropic, confinement potential \(V(x)=\sum _{j=1}^d \gamma _j x_j^2\). It is shown that in this case there are indeed initial data for which the solution grows exponentially forward or backward in time, and thus the classical dynamics is no longer trapped within a bounded phase-space region.
Next, we compute the Lagrangian L(q, p) corresponding to H(q, p), via
using the fact that \(\Omega \cdot (q\wedge p)=p\cdot (\Omega \wedge q)\). One can see that L(q, p) is indeed of the same form as in the case without rotation. In particular, we shall define the associated action function to be as usual, i.e.,
The latter will be used to determine the purely t-dependent part of the phase of our wave packets.
Remark 2.3
An alternative way to express the Hamiltonian dynamics with rotation is to introduce the canonical momentum \(\pi (t):=p(t)+\Omega \wedge q(t)\), and compute
Using this, (2.2) can be rewritten in the following form:
This system has been used to describe rotating solutions of mean-field models for self-gravitating classical particles, see [18].
Having derived the classical dynamics in the case with rotation, we can now turn to the derivation of the semiclassical approximation. To this end, we first change the unknown \(\psi ^{{\varepsilon }}\) into a new function \(u^{{\varepsilon }}\), via
where q(t) and p(t) are solutions to (2.2), and S(t) is defined by (2.3). Plugging this ansatz into equation (2.1) and assuming sufficient smoothness, we obtain, after some lengthy computations, that
where we denote
and we also find
In here, the fact that S(t) is given by (2.3) is essential. Recalling that p, q are assumed to be solutions to (2.2), we see that, indeed, \(R_2\equiv 0\), whereas \(R_3\) simplifies to
In order for \(u^{\varepsilon }\) to be a solution to (2.1), we therefore have to guarantee that
which is equivalent to imposing
Here, \(v_0\) is the initial amplitude induced by (1.3), and \(\mathcal {V}^{\varepsilon }\) is a time-dependent potential given by
By formally passing to the limit \({\varepsilon }\rightarrow 0\) in this expression, we observe that
i.e., a harmonic potential with \(Q_V(t)=\nabla ^2 V(q(t))\), the Hessian matrix of V. Note that Assumption 1.1 implies that \(Q_V\in C^\infty _{\textrm{b}}({\mathbb {R}}; {\mathbb {R}}^{2d})\).
We therefore expect that \(u^{\varepsilon }\) is asymptotically close (in an appropriate norm) to v, defined to be the solution of the following, \({\varepsilon }\)-independent effective amplitude equation:
We shall briefly study the existence of solutions v to this equation. The corresponding time-dependent classical Hamiltonian function
is smooth and sub-quadratic in \((y,\xi )\in {\mathbb {R}}^{2d}\) and therefore fits within the framework of [14], where the fundamental solution of the associated Schrödinger propagator is constructed (see also the appendix).
Lemma 2.4
(from [14]) Let \(d=2,3\), \(v_0\in \Sigma ^k\) and V satisfy Assumption 1.1. Then, for all \(k\in {\mathbb {N}}\), equation (2.8) has a unique global solution \(v \in C({\mathbb {R}}, \Sigma ^k)\), satisfying
In addition, there exists a \(C_{k,d}>0\), such that
We can now state the main approximation result of this section.
Proposition 2.5
(Linear wave packets with rotation) Let \(d=2\) or 3, \(v_0\in \Sigma ^3\) and V satisfy Assumption 1.1. Consider the semiclassical wave packet given by
where \(v \in C({\mathbb {R}}, \Sigma ^3)\) is a solution to (2.8), S(t) is the action defined in (2.3) and \((q,p)\in C^{\infty }({\mathbb {R}};{\mathbb {R}}^d)^2\) solve the Hamiltonian equations (2.2). Then, there exists a constant \(C>0\) and independent of \({\varepsilon }\in (0,1]\), such that
In particular, there exists \(c>0\) independent of \({\varepsilon }\), such that, as \({\varepsilon }\rightarrow 0:\)
Proof
The proof follows along the same as in [7]. We first notice that since V is smooth and sub-quadratic, a Taylor-expansion shows
We can define the error term \(r^{{\varepsilon }}(t,y)=u^{{\varepsilon }}(t,y)-v(t,y)\), and obtain that \(r^{{\varepsilon }}\) solves the following equation
with vanishing initial data \(r^{{\varepsilon }}(0,y)=0\). Since the right hand side of (2.11) is given by self-adjoint operators acting on \(r^{\varepsilon }\) plus a source term, a standard energy estimate shows that
We note that
in view of Lemma 2.4. We therefore obtain
The result then follows from the fact that the wave packet rescaling (2.5) leaves the \(L^2\)-norm invariant, and thus
\(\square \)
Remark 2.6
The time-scale \(t\sim {\mathcal {O}}(\log \frac{1}{{\varepsilon }})\) is called the Ehrenfest-time. It is known to be the longest possible time-scale until which one can hope to establish an effective semi-classical approximation, in general, cf. [17]. Under stronger assumptions on \(v_0\), it is possible to generalize the above approximation result to hold in stronger \(\Sigma ^k\) norms up to Ehrenfest-time.
A particular class of global solutions v to (2.8) is obtained for (complex-valued) Gaussian initial data. More precisely, by following the ideas of Hagedorn [10], we consider initial data of the form
where the matrices \(A_0\) and \(B_0\) satisfy the following properties:
We shall now show that such Gaussian wave packets are indeed propagated by equation (2.8).
Corollary 2.7
(Gaussian wave packets) Let \(v \in C({\mathbb {R}}, \Sigma ^k)\) be the solution to (2.8), with \(v_0\) given by (2.12)–(2.13). Then, for all time \(t\in {\mathbb {R}}\), v is given by
provided A(t) and B(t) solve the following ordinary differential equations
where \(R_{\Omega }\) is a skewed-symmetric matrix, given by
In addition, (2.15) guarantees that A(t) and B(t) satisfy (2.13) for all \(t\in {\mathbb {R}}\).
Proof
We first assume that A and B satisfy (2.13) for all \(t\in {\mathbb {R}}\) and plug the Gaussian ansatz (2.14) into (2.8). After another lengthy computation we find that v solves (2.8), if and only if the matrices A and B satisfy:
In a first step, this implies
where \(\Lambda \) is any matrix such that \({{\,\textrm{Tr}\,}}(\Lambda )=0\). By choosing \(\Lambda =i[R_{\Omega },\,A]A^{-1}\) this fact is guaranteed and we directly obtain the first equation of (2.15). Using the right hand side of this equation as the new expression for \(\dot{A}\), we find, in a second step, the following condition for B:
In fact, since
we have \(y^{\top }\big (BA^{-1}R_{\Omega }+R_{\Omega }BA^{-1}\big )y=0\), which means that (2.17) simplifies to
which is guaranteed to hold, provided B satisfies the second equation of (2.15).
To prove that A(t) and B(t) satisfy (2.13), we employ the same argument as in [10, Lemma 2.1]: We first define two functions
and note that
as \(R_{\Omega }\) is skewed-symmetric and \(Q_V(t)\) is symmetric. Hence,
For any \(z\in {\mathbb {C}}\), we thus have
which equals zero only if \(z=0\). Thus, \(\ker {A(t)}=\ker {B(t)}=\{0\}\), i.e., A(t) and B(t) are invertible.
Similarly, we infer that \(\dot{G}(t)=0\), and thus \(G(t) = G(0)\), where
since \(B_{0}A_{0}^{-1}\) is symmetric. Hence, \(A^\top (t)B(t)=B^\top (t)A(t)\), which shows that \(B(t)A(t)^{-1}\) is symmetric. Finally, since \(F(t)=2\mathbb I\), we have
and thus \(\textrm{Re}\big (BA^{-1}\big )=(AA^*)^{-1}\). This also proves that \(\textrm{Re}(BA^{-1})\) is strictly positive definite. \(\square \)
Remark 2.8
One might wonder, why we chose a commutator in equation (2.16), when any other \(\Lambda \) with trace equal to zero would also be a possibility. However, the commutators are a natural choice in view of the following fact: Let
be two new matrices obtained by conjugating A and B with time-dependent rotation matrices. Then, one checks that \(A_\Omega \), \(B_\Omega \) solve
which implies that \(A_\Omega \), \(B_\Omega \) also have all the properties (2.13). The system (2.18) is identical to the one originally derived by Hagedorn, provided \({Q}_{V, \Omega } = Q_V\). The latter is true for potentials V which are symmetric with respect to the rotation axis \(\Omega \), since in this case \([R_\Omega , V]=0\). This reflects the well-known fact that solutions v to (nonlinear) Schrödinger equations with angular momentum term are related to solutions \({\tilde{v}}\) of the same equation but without angular momentum term, via the following time-dependent unitary transformation
see [1, 2] for more details. Acting with change of variables onto the Gaussian ansatz (2.14), one can see that the latter remains Gaussian, provided A and B are replaced by \(A_\Omega \) and \(B_\Omega \), respectively.
3 Extension to the weakly nonlinear case
In this section, we shall show how to extend the construction of semi-classical wave packets to the case of weakly nonlinear Schrödinger equations with rotation. We thereby follow the ideas of [7] and only consider the critical case, where \(\alpha = 1+\frac{d}{2}\). We consequently are interested in
for \(d=2\) or 3, and initial data \(\psi _0^{\varepsilon }\) given in the form (1.3). Rewriting the unknown \(\psi ^{\varepsilon }\) in terms of \(u^{\varepsilon }\) as given by (2.5), we notice that \(|\psi ^{\varepsilon }|^2 \sim {\varepsilon }^{-d/2}\) and thus, by following the same steps as in the linear case, we (formally) arrive at the corresponding amplitude equation with cubic nonlinearity, i.e.,
Remark 3.1
If we had chosen a subcritical \(\alpha > 1+\frac{d}{2}\), the nonlinearity would not appear in (3.2), and thus the situation is very similar to the one in our previous section. The supercritical case \(\alpha < 1+\frac{d}{2}\), however, is much more involved and the only rigorous results available to date are for the case of (nonlocal) Hartree nonlinearities, cf. [3].
Equation (3.2) falls within the class of models studied in [1], and local existence of solutions is guaranteed for smooth initial data. More precisely, we have:
Lemma 3.2
(Local Existence) Let \(v_0\in \Sigma ^k\) with \(k>d/2\). There exists \(T_{\textrm{crit}}\in (0,+\infty ]\) and a unique maximal solution \(v\in C([0,T_{\textrm{crit}});\Sigma ^k)\) to (3.2), such that \(\Vert v(t,\cdot ) \Vert _{L^2} = \Vert v_0 \Vert _{L^2}\). The solution is maximal in the sense that if \(T_{\textrm{crit}}<\infty \), then
Remark 3.3
In general, \(T_{\textrm{crit}}<+\infty \), in particular in the focusing case \(\lambda <0\) where the appearance of finite-time blow-up is a possibility, see [1]. The change of variable (2.19) allows one to map solutions to (3.2) onto solutions of NLS without rotation term, but with time-dependent, sub-quadratic potentials, for which the long time behavior is studied in [4].
Our main result in this section is as follows:
Theorem 3.4
(Weakly nonlinear wave packets) Let \(d=2\) or 3, \(v_0\in \Sigma ^3\) and V satisfy Assumption 1.1. Let S be the classical action (2.3) and
be a semiclassical wave packet concentrated, as before, along the trajectories (2.2), but with an amplitude \(v\in C([0,T_{\textrm{crit}});\Sigma ^3)\) given by the maximal solution to the nonlinear equation (3.2). Then, for any \(T<T_{\textrm{crit}}\), we have
Even in cases where the maximal life-span of solutions to (3.2) is \(T_{\textrm{crit}} = +\infty \), it is not clear whether this nonlinear approximation result extends up to Ehrenfest times \(t\sim {\mathcal {O}}( \log \frac{1}{{\varepsilon }})\). With considerably more effort, however, it was shown in [7] that time-scales of order \(t\sim {\mathcal {O}}(\log \log \frac{1}{{\varepsilon }})\) can be reached in the critical case. Here, we only treat the case of finite, macroscopic times \(t\sim {\mathcal {O}}(1)\), in the interest of giving a short and not too technical proof which relates to the linear case in a transparent way.
Proof
As in the linear case, we denote the remainder by \(r^{{\varepsilon }}(t,y)=u^{{\varepsilon }}(t,y)-v(t,y)\), and first note that the unknown \(u^{{\varepsilon }}\) defined via (2.5) solves
where \({\mathcal {V}}^{{\varepsilon }}\) is given by (2.7). We recall the definition of \(\Delta ^{{\varepsilon }}_{V}(t,y)\) given by (2.10) and consequently infer that \(r^{{\varepsilon }}\) is the solution to
subject to initial data \(r^{{\varepsilon }}(0,y)=0\).
Next, we denote by \(U_\Omega ^{\varepsilon }(t, s)\) the \(L^2\)-unitary operator furnishing the Schrödinger dynamics associated with the time-dependent Hamiltonian
By applying Duhamel’s formula to (3.4), we obtain
In view of the results described in the Appendix, the propagator \(U_\Omega ^{\varepsilon }(t,s)\) allows for \({\varepsilon }\)-independent local in-time dispersive estimates. Recall from [12] that (q, r) is an admissible Strichartz pair associated with the space-time norm \(L^q_tL^r_x\), if \(2\leqslant r\leqslant \frac{2d}{d-2}\,(\text {resp. }2\leqslant r< \infty \text { if } d=2),\) and
Define \(I=[t,t+\tau ]\), with \(t\ge 0\), \(\tau >0\), and let
such that (q, r) is admissible. In addition, we put
being the Hölder conjugates of (q, r). The Strichartz estimates derived in [12] then imply
For the last term, we have the following pointwise estimate
By Hölder’s inequality,
Since amplitude functions \(u^{{\varepsilon }}\) and v solve evolutionary equations within the same class of nonlinear Schrödinger type models with smooth and sub-quadratic potentials, Lemma 3.2 yields that both \(u^{{\varepsilon }},v\in C([0,T];\Sigma ^{k})\). Hence, we have
for any operator \(P\in \{\textrm{Id},\, \nabla ,\, x\}\).
Next, we recall the Gagliardo–Nirenberg inequality, i.e.,
Applying this to v yields
and same is true for \(u^{{\varepsilon }}\). Hence,
Thus, (3.7) can be reduced to
Now, fix \(\tau < 1\) to be sufficiently small, and repeat this estimate a finite number of times to cover [0, T]. This yields
Next, applying Strichartz estimates again, with a second admissible pair \((q_1,r_1)=(\infty , 2)\) on \(J=[0,t]\) for \(0\leqslant t\leqslant T\),
Using the pointwise estimate (3.6) and repeating the steps (3.7)–(3.9), we obtain
where the last inequality follows by Taylor expansion, just like in the linear case. The above estimate is readily observed to be of Gronwall type, which consequently yields
and thus
By recalling the fact that the wave-packet rescaling (2.5) leaves the \(L^2\)-norm invariant, the proof is complete. \(\square \)
Data availability
No datasets were generated or analyzed during the current study.
References
Antonelli, P., Marahrens, D., Sparber, C.: On the Cauchy problem for nonlinear Schrödinger equations with rotation. Discrete Contin. Dyn. Syst. 32(3), 703–715 (2012)
Arbunich, J., Nenciu, I., Sparber, C.: Stability and instability properties of rotating Bose-Einstein condensates. Lett. Math. Phys. 109(6), 1415–1432 (2019)
Cao, P., Carles, R.: Semiclassical wave-packet dynamics for Hartree equations. Rev. Math. Phys. 23, 933–967 (2011)
Carles, R.: Nonlinear Schrödinger equation with time dependent potential. Commun. Math. Sci. 9(4), 937–964 (2011)
Carles, R.: Semi-classical analysis for nonlinear Schrödinger equations-WKB analysis, focal points, coherent states. World Scientific Publishing (2021)
Carles, R., Dinh, V.D., Hajaiej, H.: On stability of rotational 2D binary Bose-Einstein condensates. Ann. Fac. Sci. Toulouse Math. (6) 32(1), 81–124 (2023)
Carles, R., Fermanian-Kammerer, C.: Nonlinear coherent states and Ehrenfest time for Schrödinger equation. Comm. Math. Phys. 301, 443–472 (2011)
D’Amico, M.: Fundamental solutions and smoothness in Schrödinger problems with applications to quantum fluids. Ph.D. thesis, Gran Sasso Science Institute, (2017).
Fujiwara, D.: Remarks on the convergence of the Feynman path integrals. Duke Math. J. 47(3), 559–600 (1980)
Hagedorn, G.A.: Semiclassical quantum mechanics. I. The \(\hbar \rightarrow 0\) limit for coherent states. Comm. Math. Phys. 71(1), 77–93 (1980)
Heller, E.J.: Frozen Gaussians: a very simple semiclassical approximation. J. Chem. Phys. 75(6), 2923–2931 (1981)
Keel, M., Tao, T.: Endpoint Strichartz estimates. Amer. J. Math. 120(5), 955–980 (1998)
King, N., Ohsawa, T.: Hamiltonian dynamics of semiclassical Gaussian wave-packets in electromagnetic potentials. J. Phys. A 53(10), 105201 (2020)
Kitada, H.: On a construction of the fundamental solution for Schrödinger equations. J. Fac. Sci. Univ. Tokyo Sec. IA Math. 27, 193–226 (1980)
Lasser, C., Lubich, C.: Computing quantum dynamics in the semiclassical regime. Acta Numer. 29, 229–401 (2020)
Robert, D., Combescure, M.: Coherent states and applications in mathematical physics, theoretical and mathematical physics. Springer Verlag (2021)
Schubert, R., Vallejos, R.O., Toscano, F.: How do wave packets spread? Time evolution on Ehrenfest time scales. J. Phys. A: Math. Theor. 45, 215307 (2012)
Schulze, A.: Existence of axially symmetric solutions to the Vlasov-Poisson system depending on Jacobi’s. Commun. Math. Sci. 6(3), 711–727 (2008)
Zhou, Z.: Numerical approximation of the Schrödinger equation with the electromagnetic field by the Hagedorn wave-packets. J. Comput. Phys. 272, 386–407 (2014)
Author information
Authors and Affiliations
Contributions
Both authors contributed in equal parts to research developed in this manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
C. Sparber has been supported by the MPS Simons foundation through award no. 851720.
On the existence of Strichartz estimates
On the existence of Strichartz estimates
We briefly discuss the existence of \({\varepsilon }\)-independent Strichartz estimates for the propagator \(U_\Omega ^{\varepsilon }(t,s)\) associated with the Hamiltonian \(H^{\varepsilon }_\Omega (t)\) as given by (3.5). To this end, we first consider the case without rotation \(\Omega = 0\), i.e., we study solutions
to the non-autonomous Schrödinger equation
where we recall from (2.7) that
One seeks to construct a strongly continuous map \((t,s) \mapsto U^{\varepsilon }(t, s)\) which is unitary on \(L^2({\mathbb {R}}^d)\), and which satisfies \(U^{\varepsilon }(t,t) = \textrm{Id}\),
Under our hypothesis on the potential V, this can be done using the approach developed in [9] (see also [8] for a detailed revisit of this technique). Indeed, Assumption 1.1 implies that \(\mathcal {V}^{\varepsilon }\) is a real-valued \(C^\infty \)-function, such that \(\mathcal {V}^{\varepsilon }\in L^2_t L^\infty _{\textrm{loc}, x}\) and, for any fixed \(t\in {\mathbb {R}}\), \(\mathcal {V}^{\varepsilon }(t,\cdot )\) is sub-quadratic in space. A short computation also shows that
which in view of Lemma 2.1 and Assumption 1.1 implies that for \(t\in [0,T]\):
In particular, \(M>0\) is \({\varepsilon }\)-independent.
The propagator \(U^{\varepsilon }(t,s)\) can thus be constructed, using Fujiwara’s time-slicing approach, from an associated family of parametrices given by
where \(S^{\varepsilon }\) is the associated classical action, cf. [8, Chapter 1.5]. For small enough \(\delta > 0\) and \(0<|t-s|<\delta \), this oscillatory integral defines a bounded operator
where the constant \(\gamma >0\) only depends on \(\delta \) and M defined in (A.2) above. Thus, also \(\gamma >0\) is seen to be \({\varepsilon }\)-independent. Taking a partition of the time-interval [s, t] and an associated iterated integral operator induced by \(E^{\varepsilon }(t,s)\), one obtains the propagator \(\{ U^{\varepsilon }(t,s)\,: t,s \in [-T,T]\} \) by taking the size of the partition step to zero (in an appropriate sense), cf. [8, Chapter 1.6] for full details. In particular, \(U^{\varepsilon }(t,s)\) inherits the dispersive properties of \(E^{\varepsilon }(t,s)\) in the sense that
where \(C=C(\delta , M)>0\). The general theory developed in [12] shows that this short-time dispersive estimate is sufficient to imply the existence of local in-time Strichartz estimates for the propagator \(U^{\varepsilon }(t,s)\), and thus for the solution \(u^{\varepsilon }\) to (A.1).
Finally, we note that by applying the time-dependent change of variables (2.19) to \(u^{\varepsilon }\), i.e., by defining
we obtain the solution \(u^{\varepsilon }_\Omega \) to a Schrödinger equation with rotation
where \(\mathcal {V}^{\varepsilon }_\Omega (t,y) = \mathcal {V}^{\varepsilon }\big (t,e^{tR_{\Omega }}y\big )\). Since \(R_\Omega \) is the generator of an orthogonal time-dependent rotation, this change of variables leaves every \(L^p({\mathbb {R}}^d)\)-norm of \(u^{\varepsilon }\) invariant and guarantees that \(\mathcal {V}^{\varepsilon }_\Omega \) is of the same class as \(\mathcal {V}^{\varepsilon }\) itself. In particular, it holds
The short-time Strichartz estimates available for solutions \(u^{\varepsilon }\) without rotation therefore directly transfer to \(u^{\varepsilon }_\Omega \), a fact which has already been recognized in [6, Remark 2.2].
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Shen, X., Sparber, C. Semiclassical wave packets for weakly nonlinear Schrödinger equations with rotation. Z. Angew. Math. Phys. 75, 171 (2024). https://doi.org/10.1007/s00033-024-02311-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-024-02311-x