Abstract
We study the phase-space concentration of the so-called generalized metaplectic operators whose main examples are Schrödinger equations with bounded perturbations. To reach this goal, we perform a so-called \({\mathcal {A}}\)-Wigner analysis of the previous equations, as started in Part I, cf. Cordero and Rodino (Appl Comput Harmon Anal 58:85–123, 2022). Namely, the classical Wigner distribution is extended by considering a class of time–frequency representations constructed as images of metaplectic operators acting on symplectic matrices \({\mathcal {A}}\in Sp(2d,\mathbb {R})\). Sub-classes of these representations, related to covariant symplectic matrices, reveal to be particularly suited for the time–frequency study of the Schrödinger evolution. This testifies the effectiveness of this approach for such equations, highlighted by the development of a related wave front set. We first study the properties of \({\mathcal {A}}\)-Wigner representations and related pseudodifferential operators needed for our goal. This approach paves the way to new quantization procedures. As a byproduct, we introduce new quasi-algebras of generalized metaplectic operators containing Schrödinger equations with more general potentials, extending the results contained in the previous works (Cordero et al. in J Math Pures Appl 99(2):219–233, 2013, J Math Phys 55(8):081506, 2014).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Cauchy problems for Schrödinger equations have been studied by a variety of authors in many different frameworks. Limiting attention to the microlocal analysis context, let us mention as a partial list of contributions [1, 16, 27, 29, 30, 33,34,35, 47].
As more recent issues, under the influence of the new time–frequency methods, we may refer to [3, 6, 8, 10,11,12,13,14, 20,21,22, 31, 38, 39, 45].
Here we propose a new approach, in terms of phase-space concentration of suitable time–frequency distributions. The basic idea in terms of Wigner distribution is not new, though. It goes back to Wigner 1932 [46] (later developed by Cohen and many other authors, see e.g. [4, 5]).
Definition 1.1
Consider \(f,g\in L^2(\mathbb {R}^d)\). The cross-Wigner distribution W(f, g) is
If \(f=g\) we write \(Wf:=W(f,f)\), the so-called Wigner distribution of f.
For a given linear operator P acting on \(L^2(\mathbb {R}^d)\) (or a more general functional space), Wigner considered an operator K on \(L^2({\mathbb {R}^{2d}})\) such that
and its kernel k
We continue the development of a theory started in the Part I [14], addressed to P pseudodifferential operators with W replaced by the more general \(\tau \)-Wigner distributions. Here the main concern is the study of Cauchy propagators for linear Schrödinger equations
with \(t\in \mathbb {R}\) and the initial condition \(u_0\in {\mathcal {S}}(\mathbb {R}^d)\) (Schwartz class) or in some modulation space as explained below. The Hamiltonian has the form
where \(Op_w(a)\) is the Weyl quantization of a real homogeneous quadratic polynomial on \({\mathbb {R}^{2d}}\) and \(Op_w(\sigma )\) is a pseudodifferential operator with a symbol \(\sigma \) in suitable modulation spaces, namely \(\sigma \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), \(s\ge 0\), \(0<q\le 1\) (see Sect. 2.2 below for the definitions) which guarantee that \(Op_{w}(\sigma )\) is bounded on \(L^2(\mathbb {R}^d)\) (and in more general spaces). This implies that the operator H in (5) is a bounded perturbation of the generator \(H_0 = Op_w(a)\) of a unitary group (cf. [42] for details).
As special instances of the Hamiltonian above we find the Schrödinger equation \(H= \Delta - V(x)\) and the perturbation of the harmonic oscillator \(H= \Delta - |x|^2 - V(x)\) with a potential \(V\in M^{\infty ,q} (\mathbb {R}^d)\). Observe that V is bounded, but not necessarily smooth.
The unperturbed case \(\sigma =0\), was already considered in [12]
The solution is given by the metaplectic operators \(u=\mu (\chi _t)u_0\), for a suitable symplectic matrix \(\chi _t\), see for example the textbooks [18, 21]. Precisely, if \(a(x,\xi )=\frac{1}{2}xAx+\xi B x+\frac{1}{2}\xi C\xi \), with A, C symmetric and B invertible, we can consider the classical evolution, given by the linear Hamiltonian system
(the factor \(2\pi \) is due to our normalization of the Fourier transform) with Hamiltonian matrix \({\mathbb {D}}:=\begin{pmatrix}B&{}C\\ -A&{}-B^T\end{pmatrix}\in \textrm{sp} (d,\mathbb {R})\). Then we have \(\chi _t=e^{t{\mathbb {D}}}\in Sp(d,{\mathbb {R}})\).
The solution to (6) is the Schrödinger propagator
and the Wigner transform with respect to the space variable x is given by
as already observed in the works of Wigner [46] and Moyal-Bartlett [37]. Hence (3) reads in this case
with k(t, z, w) given by the delta density \(\delta _{z=\chi _tw}\).
The aim of [12] was to reconsider (7) and (8) in the functional frame of the modulation spaces, in terms of the general \({\mathcal {A}}\)-Wigner transform introduced in [14], see Definition 1.3 below. The propagator of the perturbed problem (4) is a generalized metaplectic operator, as already exhibited in Theorem 4.1 [9] for symbols in the Sjöstrand class.
Here, to deal with further non-smooth potentials \(Op_w(\sigma )\) in (5), \(\sigma \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), we enlarge the class of generalized metaplectic operators, including quasi-algebras of operators, which allow better decay at infinity than the original Sjöstrand class. To quantify the decay we use the Wiener amalgam spaces \(W(C,L^p_{v_s})({\mathbb {R}^{2d}})\), which consist of the continuous functions F on \({\mathbb {R}^{2d}}\) such that
(obvious changes for \(p=\infty \)), where \(v_s(k)=(1+|k|^2)^{1/2}\).
Definition 1.2
Given \(\chi \in Sp(d,{\mathbb {R}})\), \(g\in {\mathcal {S}}(\mathbb {R}^d)\), \(0< q\le 1\), we say that a linear operator \(T:{\mathcal {S}}(\mathbb {R}^d)\rightarrow {\mathcal {S}}'(\mathbb {R}^d)\) is a generalized metaplectic operator in the class \(FIO(\chi ,q,v_s)\) if there exists a function \(H\in W(C,L^q_{v_s})({\mathbb {R}^{2d}})\), such that the kernel of T with respect to time-frequency shifts satisfies the decay condition
(where the time–frequency shifts \(\pi (z)\), \(\pi (w)\) are defined in Sect. 2.2).
We infer boundedness, quasi-algebras and spectral properties of the previous operators, see Sect. 6 below. Moreover, we shall show that they can be represented as
that is, they can be viewed as composition of metaplectic operators with Weyl operators with symbols in the modulation spaces \(M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\).
The solution \(e^{itH}u_0\) to (4) is a generalized metaplectic operator of this type for every \(t\in \mathbb {R}\), so that it enjoys the phase-space concentration of this class.
The main work of this paper relies in preparing all the instruments we need to study the Wigner kernel of \(e^{itH}\), namely k(t, z, w), \(w,z\in {\mathbb {R}^{2d}}\), such that
and possible generalizations to \({\mathcal {A}}\)-Wigner distributions, defined as follows.
Definition 1.3
Let \({\mathcal {A}}\in Sp(2d,\mathbb {R})\) be a \(4d\times 4d\) symplectic matrix. We define the metaplectic Wigner distribution associated to \({\mathcal {A}}\) by
and set \(W_{\mathcal {A}}f:= W_{\mathcal {A}}(f,f)\).
When the context requires to stress the symplectic matrix \({\mathcal {A}}\), that defines the metaplectic Wigner distribution \(W_{\mathcal {A}}\), we refer to \(W_{\mathcal {A}}\) as to \({\mathcal {A}}\)-Wigner distribution.
We shall focus on \({\mathcal {A}}\) shift-invertible, covariant symplectic matrices, see Definitions 4.5 and Subsection 4.1 and 4.2 below for definitions and properties. Furthermore we limit to \({\mathcal {A}}\) shift-invertible, covariant symplectic matrices such that the related metaplectic Wigner distribution \(W_{\mathcal {A}}\) is in the Cohen class \(Q_{\Sigma }\), namely it can be written as
where the kernel \(\Sigma _{\mathcal {A}}\) is related to \({\mathcal {A}}\) by (68), (66) below.
Let us define \(\Sigma _{{\mathcal {A}},t}(z)=\Sigma _{\mathcal {A}}(\chi _t(z))\) and denote by \({\mathcal {A}}_t\) the covariant matrix such that
Then from the results of [12] we have from the unperturbed Eq. (6), as counterpart of (8)
So we keep the action of the classical Hamiltonian flow according to the original idea of Wigner [46], provided the matrix \({\mathcal {A}}_t\) is defined as before.
We prove that the result does not change so much for the perturbed equation. Namely, under the stronger assumption \(\sigma \in S^{0}_{0,0}({\mathbb {R}^{2d}})\), we prove (see Proposition 7.4 below)
where, for every \(N\ge 0\),
is the kernel of an operator bounded on \(L^2(\mathbb {R}^d)\).
Starting from this, we may obtain the propagation result for the Wigner wave front set
see Definition 7.5 in the sequel. In particular, for \(W_{\mathcal {A}}=W=W_t\), defining as in [12, 14] \(z_0\notin {\mathcal {W}}{\mathcal {F}}f\), \(z_0\not =0\), if there exists a conic neighbourhood \(\Gamma _{z_0}\subset {\mathbb {R}^{2d}}\) of \(z_0\) such that for all \(N\ge 0\),
we obtain
The outline of this article is as follows. In Sect. 2 we establish some background and notation. In Sect. 3 we present the main properties of metaplectic Wigner distributions and introduce their related pseudodifferential operators. Different symplectic matrices give rise to different quantizations: we show the link between different quantizations (see Lemma 3.2 below) and generalize the equality in (2) to any \({\mathcal {A}}\)-Wigner distribution and \({\mathcal {A}}\)-pseudodifferential operator. This is a valuable result of its own, we believe it could be useful in the framework of operator theory and quantum mechanics. Section 4 is devoted to study subclasses of \({\mathcal {A}}\)-Wigner distributions and pseudodifferential operators: covariant, totally Wigner-decomposable and Wigner-decomposable. The last ones provide a new characterization of modulation spaces (cf. Theorem 4.9 below). Next, we show that covariant matrices belong to the Cohen class (Theorem 4.14) and compute the related kernel. As for the Wigner case, we are able to give an explicit expression of the \({\mathcal {A}}\)-Wigner when \({\mathcal {A}}\) is covariant (see Theorem 4.15). Section 5 contains a deep study of \({\mathcal {A}}\)-pseudodifferential operators on modulation spaces, which will be used in the applications to Schrödinger equations (Sect. 7). Section 6 introduces new algebras of generalized metaplectic operators and their main properties. Finally, Sect. 7 exhibits an application of the theory developed so far to Schrödinger equations.
2 Preliminaries and Notation
2.1 Test functions, tempered distributions, Fourier transform
We denote with \({\mathcal {S}}({\mathbb {R}}^d)\) the space of Schwartz functions and with \({\mathcal {S}}'({\mathbb {R}}^d)\) the space of the tempered distributions, with vector topologies given respectively by the topology of the seminorms of \({\mathcal {S}}({\mathbb {R}})\) and the weak-\(*\) topology.
We write \(\langle \cdot ,\cdot \rangle \) for the unique extension to \({\mathcal {S}}'({\mathbb {R}}^d)\times {\mathcal {S}}({\mathbb {R}}^d)\) of the sesquilinear inner product of \(L^2({\mathbb {R}}^d)\), namely
For all \(p\in (0,+\infty ]\), one has \({\mathcal {S}}({\mathbb {R}}^d)\hookrightarrow L^p({\mathbb {R}}^d)\hookrightarrow {\mathcal {S}}'({\mathbb {R}}^d)\) and if \(p\ne \infty \), \({\mathcal {S}}({\mathbb {R}}^d)\) is dense in \(L^p({\mathbb {R}}^d)\).
If f, g are complex-valued Lebesgue-measurable functions on \({\mathbb {R}}^d\), we denote with \(f\otimes g\) the function
The linear span of \({\mathcal {S}}({\mathbb {R}}^d)\otimes {\mathcal {S}}({\mathbb {R}}^d):=\{f\otimes g \, \ f,g\in {\mathcal {S}}({\mathbb {R}}^d)\}\) is dense in \({\mathcal {S}}({\mathbb {R}}^{2d})\).
If \(f,g\in {\mathcal {S}}'({\mathbb {R}}^d)\), \(f\otimes g\) is defined as the tempered distribution on \({\mathbb {R}}^{2d}\) such that
where \(\Phi ^x=\Phi (x,\cdot )\), \(x\in {\mathbb {R}}^d\), and \(\Phi ^y=\Phi (\cdot ,y)\), \(y\in {\mathbb {R}}^d\), are the sections of \(\Phi \). Again, the span of \({\mathcal {S}}'({\mathbb {R}}^d)\otimes {\mathcal {S}}'({\mathbb {R}}^d)=\{f\otimes g \, \ f,g\in {\mathcal {S}}'({\mathbb {R}}^d)\}\) is dense in \({\mathcal {S}}'({\mathbb {R}}^{2d})\).
The Fourier transform of a function \(f\in {\mathcal {S}}({\mathbb {R}}^d)\) is defined as
where \(\xi \cdot t\) denotes the real canonical inner product of \({\mathbb {R}}^d\). We name \({\mathcal {F}}\) the Fourier transform operator, mapping \(f\in {\mathcal {S}}(\mathbb {R}^d)\) into \({{\hat{f}}}\), which is a surjective isomorphism of \({\mathcal {S}}(\mathbb {R}^d)\) into itself with inverse \({\mathcal {F}}^{-1}\). It defines a unitary operator on \(L^2({\mathbb {R}}^d)\):
and, in particular, \(\Vert f\Vert _2=\Vert {{\hat{f}}}\Vert _2\), where \(\Vert \cdot \Vert _p\) denotes the \(L^p\) (quasi-)norm of \(L^p({\mathbb {R}}^d)\), \(0<p\le \infty \). If \(f\in {\mathcal {S}}'({\mathbb {R}}^d)\), the Fourier transform of f is defined as the tempered distribution \({{\hat{f}}}\) such that
If \(\Phi \in {\mathcal {S}}({\mathbb {R}}^{2d})\), we define the partial Fourier transform \({\mathcal {F}}_2\) of \(\Phi \) w.r.t. the second variable as
The operator \({\mathcal {F}}_2\) on \({\mathcal {S}}({\mathbb {R}}^{2d})\) is defined, by density, as
2.2 Short-time Fourier transform and modulation spaces
In this paper v is a continuous, positive, submultiplicative weight function on \(\mathbb {R}^d\), i.e., \( v(z_1+z_2)\le v(z_1)v(z_2)\), for all \( z_1,z_2\in {\mathbb {R}}^d\). A weight function m is in \({\mathcal {M}}_v(\mathbb {R}^d)\) if m is a positive, continuous weight function on \({\mathbb {R}}^d\) and it is v-moderate: \( m(z_1+z_2)\lesssim v(z_1)m(z_2)\). This notation means that there exists a universal constant \(C>0\) such that the inequality \(m(z_1+z_2)\le C v(z_1)m(z_2)\) holds for all \(z_1,z_2\in {\mathbb {R}}^d\).
In the following, we will work with weights on \({\mathbb {R}^{2d}}\) of the type
For \(s<0\), \(v_s\) is \(v_{|s|}\)-moderate.
In particular, we shall use the weight functions on \(\mathbb {R}^{4d}\):
For a fixed \(g\in {\mathcal {S}}({\mathbb {R}}^d)\setminus \{0\}\), the short-time Fourier transform (STFT) of \(f\in L^2({\mathbb {R}}^d)\) is defined as
For \(x,\xi \in {\mathbb {R}}^d\), we denote with \(T_x\) and \(M_\xi \) the translation and the modulation operators respectively, i.e. the unitary operators on \(L^2({\mathbb {R}}^d)\) defined as
If \(z=(x,\xi )\in {\mathbb {R}}^{2d}\), the operator \(\pi (z)=M_\xi T_x\) is called time–frequency shift. The definition of STFT can be extended to all tempered distributions: fixed \(g\in {\mathcal {S}}(\mathbb {R}^d)\setminus \{0\}\), \(f\in {\mathcal {S}}'({\mathbb {R}}^d)\)
The modulation spaces, introduced by Feichtinger in [17] and extended to the quasi-Banach setting by Galperin and Samarah [19], are now available in many textbooks, see e.g. [3, 13, 23]. We recall their definition and main properties.
Fix a non-zero window g in the Schwartz class \({\mathcal {S}}(\mathbb {R}^d)\). Consider a weight function \(m\in {\mathcal {M}}_v({\mathbb {R}^{2d}})\) and indices \(0<p,q\le \infty \). The modulation space \(M^{p,q}_m(\mathbb {R}^d)\) is the subspace of tempered distributions \(f\in {\mathcal {S}}'(\mathbb {R}^d)\) with
(natural changes with \(p=\infty \) or \(q=\infty )\). We write \(M^p_m(\mathbb {R}^d)\) for \(M^{p,p}_m(\mathbb {R}^d)\) and \(M^{p,q}(\mathbb {R}^d)\) if \(m\equiv 1\). The space \(M^{p,q}_m({\mathbb {R}}^d)\) is a (quasi-)Banach space whose definition is independent of the choice of the window g: different non-zero window functions in \({\mathcal {S}}(\mathbb {R}^d)\) yield equivalent (quasi)-norms. For \(1\le p,q\le \infty \), they are Banach spaces and the window class can be extended to the modulation space \(M^1_v(\mathbb {R}^d)\) (Feichtinger algebra). The modulation space \(M^{\infty ,1}(\mathbb {R}^d)\) coincide with the Sjöstrand’s class in [41], cf. [24].
We recall their inclusion properties:
If \(m\in {\mathcal {M}}_{v_s}\), denoting by \( {\mathcal {M}}_m^{p,q}({\mathbb {R}}^d)\) the closure of \({\mathcal {S}}({\mathbb {R}}^d)\) in the \(M^{p,q}_m\)-norm, we observe
and
2.3 The symplectic group \(Sp(d,{\mathbb {R}})\) and the metaplectic operators
We recall definitions and properties of symplectic matrices and metaplectic operators in a nutshell, referring to [21] for details.
The standard symplectic matrix J is
and the symplectic group can be defined as
where \(GL(2d,{\mathbb {R}})\) is the group of \(2d\times 2d\) real invertible matrices, \({\mathcal {A}}^T\) is the transpose of \({\mathcal {A}}\) and the matrix J is defined in (19).
The symplectic algebra \({\mathfrak {sp}}(d,{\mathbb {R}})\) is the set of \(2d\times 2d\) real matrices \({\mathcal {A}}\) such that \(e^{t {\mathcal {A}}} \in Sp(d,{\mathbb {R}})\) for all \(t\in {\mathbb {R}}\). Recall that the metaplectic representation \(\mu \) is a unitary representation of the double cover of \(Sp(d,{\mathbb {R}})\) on \(L^2(\mathbb {R}^d)\) (see, e.g., [21]). For elements of \(Sp(d,{\mathbb {R}})\) of special form we can compute the metaplectic representation explicitly. Precisely, for \(f\in L^2({\mathbb {R}}^d)\), C real symmetric \(d\times d\) matrix (\(C^T=C\)) we consider the symplectic matrix
then, up to a phase factor,
for all \(f\in L^2(\mathbb {R}^d)\). Hence the previous operator is a multiplication by the chirp
For the standard matrix J in (19),
For any \(L\in GL(d,\mathbb {R})\), we can define the symplectic matrix
and, up to a phase factor,
These operators are also called rescaling operators. The metaplectic operators enjoy a group structure with respect to the composition.
Proposition 2.1
The metaplectic group is generated by the operators \(\mu (J), \mu ({\mathcal {D}}_L)\) and \(\mu (V_C)\).
For the previous result we address the reader to [21]. The following issue will be used in the sequel.
Lemma 2.1
Consider the symplectic matrix \(V_C\) in (21). Then,
and, up to a phase factor, the metaplectic operator \(\mu (V_C^{-T})\) is a convolution operator:
with \(\Phi _{C}\) being the chirp function in (23). In particular, if the symmetric matrix C is invertible, then
Proof
Formula (27) is an easy computation. For any \(f\in L^2(\mathbb {R}^d)\), using the definition (20) we can write
For C invertible, up to a phase factor, \({\mathcal {F}}\Phi _C=|\det C| \Phi _{-C^{-1}}\), see e.g. [18], so that we obtain formula (29). \(\square \)
In particular, observe that \(V_C^T\) is obtained from \(V_C^{-T}\) in (27) by replacing the matrix C with \(-C\), so that
and, if C is invertible,
This paper deals both with the symplectic group \(Sp(d,\mathbb {R})\) of \(2d\times 2d\) matrices and \(Sp(2d,\mathbb {R})\) of \(4d\times 4d\) ones. To avoid confusions, in what follows the matrix \({\mathcal {A}}\) denotes a symplectic matrix in \(Sp(2d,\mathbb {R})\) whereas \(\chi \) a matrix in \(Sp(d,\mathbb {R})\).
Definition 2.2
A matrix \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\), with block decomposition
is a free symplectic matrix if \(\det B\ne 0\).
In this work, free symplectic matrices will be important for two main reasons. For the following Lemma, we refer to [18, Theorem 4.53] and [21, Theorem 60].
Lemma 2.2
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\). Then,
-
(i)
there exist \({\mathcal {A}}_1,{\mathcal {A}}_2\in Sp(2d,{\mathbb {R}})\) free such that \({\mathcal {A}}={\mathcal {A}}_1{\mathcal {A}}_2\);
-
(ii)
if \({\mathcal {A}}\) is free with block decomposition (32) then, for every \(F\in {\mathcal {S}}({\mathbb {R}^{2d}})\),
$$\begin{aligned} \mu ({\mathcal {A}})F(x)=(\det (B))^{-1/2}e^{-i\pi DB^{-1}x\cdot x}\int _{{\mathbb {R}^{2d}}}F(y)e^{2\pi i (B^{-1}x\cdot y-\frac{1}{2}B^{-1}Ay\cdot y)}dy. \end{aligned}$$(33)
3 Metaplectic Pseudodifferential Operators
We recall some basic examples and properties of the metaplectic Wigner distribution, for detail see cf. [14].
Example 3.1
For \(\tau \in [0,1]\), the matrix of \(Sp(2d,{\mathbb {R}})\)
defines the \(\tau \)-Wigner distribution on \(L^2(\mathbb {R}^d)\times L^2(\mathbb {R}^d)\), that is
In particular, if \(\tau =0\) and \(\tau =1\) we recover the Rihaczek and the conjugate-Rihaczek distributions, while for \(\tau =1/2\) we get the classical Wigner distribution (\(W=W_{1/2}\)) in (1).
Example 3.2
The metaplectic operator associated to the symplectic matrix
defines the STFT, namely \(W_{{{\textbf {A}}}_{{\textbf {ST}}}}(f,g)=V_gf\) in (16).
The basic continuity properties of \(W_{\mathcal {A}}\) can be summarized as follows:
Lemma 3.1
If \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\),
-
(i)
The mapping \(W_{\mathcal {A}}:L^2({\mathbb {R}}^d)\times L^2({\mathbb {R}}^d)\rightarrow L^2({\mathbb {R}}^{2d})\) is continuous;
-
(ii)
The mapping \(W_{\mathcal {A}}:{\mathcal {S}}({\mathbb {R}}^d)\times {\mathcal {S}}({\mathbb {R}}^d)\rightarrow {\mathcal {S}}({\mathbb {R}}^{2d})\) is continuous;
-
(iii)
The mapping \(W_{\mathcal {A}}:{\mathcal {S}}'({\mathbb {R}}^d)\times {\mathcal {S}}'({\mathbb {R}}^d)\rightarrow {\mathcal {S}}'({\mathbb {R}}^{2d})\) is continuous.
If \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) is a general symplectic matrix, we can write explicitly \(W_{\mathcal {A}}(f,g)\) as a FIO of type II, using Lemma 2.2.
Proposition 3.3
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) have factorization \({\mathcal {A}}={\mathcal {A}}_1{\mathcal {A}}_2\) with \({\mathcal {A}}_j\), \(j=1,2\), free with block decomposition
Then, up to a unitary factor, for every \(F\in {\mathcal {S}}({\mathbb {R}^{2d}})\),
where
and
In particular, for every \(f,g\in {\mathcal {S}}(\mathbb {R}^d)\),
Proof
Using the decomposition of Lemma 2.2 (i), we can write, for every \(F\in {\mathcal {S}}({\mathbb {R}^{2d}})\), and up to a unitary factor,
For the rest of the proof, we write
while \(dY=dyd\eta \) and \(dZ=dzd\zeta \).
Applying Lemma 2.2 (ii) twice and changing variables, up to a unitary constant,
This proves (34) and (35) follows plugging \(F=f\otimes {\bar{g}}\) in (34). \(\square \)
Moreover, we also have explicit integral formulas for metaplectic Wigner distributions in terms of their factorization via free symplectic matrices.
Corollary 3.4
Under the same notation of Proposition 3.3, up to a unitary factor and for every \(f,g\in {\mathcal {S}}(\mathbb {R}^d)\),
where the chirp \(\Phi \) is defined in (23). In particular, if \(B_1^{-1}A_1+D_2B_2^{-1}\) is invertible, then, up to a phase factor,
Proof
Using (34), we can write, for every \(F\in {\mathcal {S}}({\mathbb {R}^{2d}})\), and up to a unitary factor,
Applying Lemma 2.2 (ii) twice, up to a unitary constant,
The inner integral is worked out as
Observe that if \(B_1^{-1}A_1+D_2B_2^{-1}\) is invertible, then
Plugging (38) into (36) with \(F = f\otimes {\bar{g}}\) the assertion follows. \(\square \)
The integral expression of \(W_{\mathcal {A}}\) provided by Corollary 3.4 is useful to establish continuity properties for \(W_{\mathcal {A}}(f,g)\). In practice an explicit factorization of \({\mathcal {A}}\) via free matrices may be unknown.
Definition 3.5
Let \(a\in {\mathcal {S}}'({\mathbb {R}}^{2d})\). The metaplectic pseudodifferential operator with symbol a and symplectic matrix \({\mathcal {A}}\) is the operator \(Op_{\mathcal {A}}(a):{\mathcal {S}}({\mathbb {R}}^d)\rightarrow {\mathcal {S}}'({\mathbb {R}}^{d})\) such that
Observe that this operator is well defined by Proposition 3.1, item (iii). Moreover, when the context requires to stress the matrix \({\mathcal {A}}\) that defines \(Op_{\mathcal {A}}\), we refer to \(Op_{\mathcal {A}}\) to as the \({\mathcal {A}}\)-pseudodifferential operator with symbol a.
Remark 3.6
In principle, the full generality of metaplectic framework provides a wide variety of unexplored time–frequency representations that fit many different contexts. Namely, in Definition 3.5, the symplectic matrix \({\mathcal {A}}\) plays the role of a quantization and the quantization of a pseudodifferential operator is typically chosen depending on the the properties that must be satisfied in a given setting.
Example 3.7
Definition 3.5 in the case of \({\mathcal {A}}_{1/2,2d}\in Sp(2d,{\mathbb {R}})\) in (3.1), provides the well-known Weyl quantization for pseudodifferential operators, that we denote with \(Op_{w,2d}(a)\), i.e., for \(a\in {\mathcal {S}}({\mathbb {R}^{2d}})\),
When d is clear from the context or irrelevant, we write \(Op_w\) instead of \(Op_{w,2d}\).
In the following result, we see how the symbols of metaplectic pseudodifferential operators change when we modify the symplectic matrix.
Lemma 3.2
Consider \({\mathcal {A}},{\mathcal {B}}\in Sp(2d,{\mathbb {R}})\) and \(a,b\in {\mathcal {S}}'({\mathbb {R}}^{2d})\). Then,
Proof
Let \(f,g\in {\mathcal {S}}({\mathbb {R}}^d)\). Then,
Since the span of \({\mathcal {S}}({\mathbb {R}}^d)\otimes {\mathcal {S}}({\mathbb {R}}^d)\) is dense in \({\mathcal {S}}({\mathbb {R}}^{2d})\), we deduce that the equality between the two lines holds if and only if
which is the same as (39). \(\square \)
As a direct consequence of Lemma 3.2 we get two corollaries. The first one provides the distributional kernel of \(Op_{\mathcal {A}}\).
Corollary 3.8
Consider \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\), \(a\in {\mathcal {S}}'({\mathbb {R}^{2d}})\). Then, for all \(f,g\in {\mathcal {S}}(\mathbb {R}^d)\),
where the kernel is given by \(k_{\mathcal {A}}(a)=\mu ({\mathcal {A}}^{-1})a\).
Proof
Plug \({\mathcal {B}}=I_{4d\times 4d}\) into (39) to get (40). \(\square \)
Corollary 3.9 is a generalization of (2) for metaplectic Wigner distributions and pseudodifferential operators. For its statement, we introduce the following notation: if \(a\in {\mathcal {S}}'({\mathbb {R}^{2d}})\), \(a\otimes 1\) denotes the tempered distribution of \({\mathcal {S}}'({\mathbb {R}}^{4d})\) defined via tensor product as
Corollary 3.9
Consider \({\mathcal {A}}\in Sp(4d,{\mathbb {R}})\), \({\mathcal {B}}\in Sp(2d,{\mathbb {R}})\) and \(a\in {\mathcal {S}}'({\mathbb {R}}^{2d})\). Then, for all \({\mathcal {B}}_0\in Sp(4d,{\mathbb {R}})\), \(f,g\in {\mathcal {S}}(\mathbb {R}^d)\),
In particular,
-
(i)
if \({\mathcal {B}}_0={\mathcal {A}}_{1/2,4d}\), then
$$\begin{aligned} W_{\mathcal {A}}(Op_{\mathcal {B}}(a)f,g)=Op_{w,4d}(((\mu ({\mathcal {A}}_{1/2,2d}{\mathcal {B}}^{-1})a)\otimes 1)\circ {\mathcal {A}}^{-1})W_{\mathcal {A}}(f,g); \end{aligned}$$(43) -
(ii)
if \({\mathcal {B}}_0={\mathcal {A}}_{1/2,4d}\) and \({\mathcal {B}}={\mathcal {A}}_{1/2,2d}\), then
$$\begin{aligned} W_{\mathcal {A}}(Op_{w,2d}(a)f,g)=Op_{w,4d}((a\otimes 1)\circ {\mathcal {A}}^{-1})W_{\mathcal {A}}(f,g). \end{aligned}$$(44)
Proof
By [14, Lemma 4.1], for all \(f,g\in {\mathcal {S}}(\mathbb {R}^d)\) and \(a\in {\mathcal {S}}'({\mathbb {R}^{2d}})\),
Moreover, for all \({\mathcal {A}}\in Sp(4d,{\mathbb {R}})\),
Therefore, using Lemma 3.2, (45) and (46) respectively,
Then, by Lemma 3.2,
and we are done. \(\square \)
Remark 3.10
Formula (42) will be used in the form of (44) to deduce boundedness properties on modulation spaces for metaplectic pseudodifferential operators. However, the strength of Corollary 3.9 relies on its generality: the matrix \({\mathcal {B}}_0\) in (42) can be chosen in \(Sp(4d,{\mathbb {R}})\) arbitrarily, depending on the context.
4 Decomposability and Covariance
In this section, we focus on metaplectic Wigner distributions as well as metaplectic pseudodifferential operators that are defined in terms of symplectic matrices that satisfy decomposability and covariance properties. Explicit expressions for \(W_{\mathcal {A}}\) and \(Op_{\mathcal {A}}\) are derived from \({\mathcal {A}}\) in terms of its blocks.
4.1 Decomposability and shift-invertibility
We define decomposable metaplectic Wigner distributions directly in terms of their factorization, as follows. Let \({\mathcal {A}}\) be a symplectic matrix that factorizes as
where \({\mathcal {D}}_L\) is defined in (25) and
Up to a phase factor,
Definition 4.1
We say that \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) is a totally Wigner-decomposable (symplectic) matrix if (47) holds for some \(L\in GL(2d,{\mathbb {R}})\). If \({\mathcal {A}}\) is totally Wigner-decomposable, we say that \(W_{\mathcal {A}}\) is of the classic type.
Example 4.2
The matrices of Examples 3.1 and 3.2 are totally Wigner-decomposable with
and
respectively.
Roughly speaking, Wigner distributions of classic type are immediate generalizations of the classical time–frequency representations, such as the (cross)-Wigner distribution W and the STFT.
The following result characterizes totally Wigner-decomposable symplectic matrices in terms of their block decomposition.
Proposition 4.3
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) be a totally Wigner-decomposable matrix
having block decomposition
with \(A_{ij}\in {\mathbb {R}}^{d\times d}\) (\(i,j=1,\ldots ,4\)). Then,
-
(i)
\({\mathcal {A}}\) has the block decomposition
$$\begin{aligned} {\mathcal {A}}=\begin{pmatrix} A_{11} &{} A_{12} &{} 0_{d\times d} &{} 0_{d\times d}\\ 0_{d\times d} &{} 0_{d\times d} &{} A_{23} &{} A_{24}\\ 0_{d\times d} &{} 0_{d\times d} &{} A_{33} &{} A_{34}\\ A_{41} &{} A_{42} &{} 0_{d\times d} &{} 0_{d\times d} \end{pmatrix}; \end{aligned}$$(50) -
(ii)
L and its inverse are related to \({\mathcal {A}}\) by:
$$\begin{aligned} L=\begin{pmatrix} A_{33}^T &{} A_{23}^T\\ A_{34}^T &{} A_{24}^T \end{pmatrix}, \ \ \ L^{-1}=\begin{pmatrix} A_{11} &{} A_{12}\\ -A_{41} &{} -A_{42} \end{pmatrix}. \end{aligned}$$(51)
Proof
Let
be the block decompositions of L and \(L^{-1}\) respectively, where \(L_{ij}, L_{ij}'\in {\mathbb {R}}^{d\times d}\) (\(i,j=1,2\)). Then, the identity (47) reads as
Thus the expressions for the matrices in (i) and (ii) easily follow. \(\square \)
Remark 4.4
Under the hypothesis of Proposition 4.3, it is easy to check that the identities \(LL^{-1}=L^{-1}L=I_{2d\times 2d}\) read in terms of the blocks of L and \(L^{-1}\) as
These are exactly the block relations that \({\mathcal {A}}\) and
satisfy as symplectic matrices.
Definition 4.5
Given \({\mathcal {A}}\in Sp(2d,\mathbb {R})\), we say that \(W_{{\mathcal {A}}}\) is shift-invertible if there exists an invertible matrix \(E_{\mathcal {A}}\in GL(2d,\mathbb {R})\) such that
where
As pointed out in [12], shift-invertibility of symplectic matrices appears to be the fundamental property that a metaplectic Wigner distribution shall satisfy in order for \(W_{\mathcal {A}}(\cdot ,g)\) to replace the STFT in the definition of modulation spaces.
Lemma 4.1
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) be a totally Wigner-decomposable as in (47) and (49). The following statements are equivalent:
-
(i)
L is right-regular;
-
(ii)
the matrix
$$\begin{aligned} E_{{\mathcal {A}}}:=\begin{pmatrix} A_{11} &{} 0_{d\times d}\\ 0_{d\times d} &{} A_{23} \end{pmatrix} \end{aligned}$$(55)is invertible;
-
(iii)
\(W_{{\mathcal {A}}}\) is shift-invertible with \(E_{\mathcal {A}}\) given as in (55).
Proof
The equivalence between (ii) and (iii) is proved in [12]. We prove that (i) and (ii) are equivalent.
\((i)\Rightarrow (ii)\). Assume that L is right-regular. We have to prove that both \(A_{23}\) and \(A_{11}\) are invertible. The right-regularity of L is equivalent to the invertibility of \(A_{23}\) and \(A_{24}\), hence it remains to check that \(A_{11}\) is invertible.
It is easy to verify that L is right-regular if and only if \(L^{-T}\) is left-regular. By Proposition 4.3 (ii),
so that \(L^{-T}\) is left-regular if and only if \(A_{11}\) and \(A_{12}\) are invertible, which gives the invertibility of \(A_{11}\).
\((i)\Leftarrow (ii)\). If \(E_{\mathcal {A}}\) is invertible, then \(A_{11}\) and \(A_{23}\) are invertible. By the identity \(A_{11}A_{23}^T=-A_{12}A_{24}^T\) in (53), we also have the invertibility of \(A_{12}\) and \(A_{24}\). Hence, \(A_{23}\) and \(A_{24}\) are invertible. \(\square \)
Corollary 4.6
Let \({\mathcal {A}}\) satisfy (47) with block decomposition as in (50). The following statements are equivalent:
-
(i)
L is right-regular;
-
(ii)
\(A_{11}\), \(A_{12}\), \(A_{23}\) and \(A_{24}\) are invertible. Moreover, if L is right-regular,
-
(iii)
\(A_{33}\) is invertible if and only if \(A_{42}\) is invertible;
-
(iv)
\(A_{34}\) is invertible if and only if \(A_{41}\) is invertible.
Proof
The equivalence between (i) and (ii) is just a restatement of Lemma 4.1. (iii) and (iv) follow directly from (ii) and the equalities in (53). \(\square \)
Remark 4.7
Assume that L is right-regular with block decomposition as in (52). Since L is also invertible by its definition, all the assumptions of Theorem 2.1 (ii) and Theorem 2.2 (i) of [36] are verified. Thus, we can write a Wigner-decomposable matrix \({\mathcal {A}}\), with L right-regular, explicitly in terms of the blocks of L both as
with
or, equivalently, as
where
Theorem 4.8
Let L be right-regular and \({\mathcal {A}}\) be as in (50). Then, for all \(f,g\in L^2({\mathbb {R}}^d)\) and for all \(x,\xi \in {\mathbb {R}}^d\),
where
Observe that all the inverses that appear in (56) exist if L is right-regular by Corollary 4.6 (ii) and Theorem 2.1 (ii) of [36].
Proof
The proof is a straightforward consequence of [15, Theorem 3.8]. \(\square \)
Theorem 4.9
Let \(0<p,q\le \infty \), L be right-regular and \({\mathcal {A}}\) be as in (50). Let \(m\in {\mathcal {M}}_v\) be such that
Then, for all \(g\in {\mathcal {S}}({\mathbb {R}}^d)\),
Moreover, if \(1\le p,q\le \infty \) and there exist \(0<C_1(L)\le C_2(L)\) such that
then g can be chosen in the larger class \(M^1_v({\mathbb {R}}^d)\).
Proof
The proof is a straightforward consequence of Theorem 4.8. In fact, for \(g\in {\mathcal {S}}({\mathbb {R}}^d)\) and L right-regular, the function \({\widetilde{g}}\) defined as in (57) is in \({\mathcal {S}}({\mathbb {R}}^d)\) and by (56),
by assumption (58).
Assume that \(\varphi \in {\mathcal {S}}({\mathbb {R}}^d)\). Then,
where
and \({\widetilde{\varphi }}(t)=\varphi (C^{-1}t)\). Condition (60) implies that \(g\in M^1_v\) if and only if \({\widetilde{g}}\in M^1_v\):
Hence, for \(1\le p,q\le \infty \), we can choose g in \(M^1_v({\mathbb {R}}^d)\). \(\square \)
Next, we generalize the metaplectic Wigner distributions associated to Wigner-decomposable matrices in order to include multiplications by chirps. These Wigner distributions, along with the right-regularity condition on L, characterize modulation spaces.
Definition 4.10
We say that a matrix \({\mathcal {A}}\in Sp(d,{\mathbb {R}})\) is Wigner-decomposable if \({\mathcal {A}}=V_C{\mathcal {A}}_{FT2}{\mathcal {D}}_L\), where \(V_C, {\mathcal {A}}_{FT2},{\mathcal {D}}_L\) are defined in (21), (48), and (25), respectively.
Theorem 4.11
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) be a Wigner-decomposable matrix with decomposition \({\mathcal {A}}=V_C{\mathcal {A}}_{FT2}{\mathcal {D}}_L\), where
\(C_{11}^T=C_{11}\) and \(C_{22}^T=C_{22}\). Then, for all \(f,g\in L^2({\mathbb {R}}^d)\), up to a phase factor,
with
and the chirp functions \(\Phi _{C_{11}}\), \(\Phi _{C_{22}}\) are defined in (23). If the matrix L is right-regular,
where
and \({\tilde{g}}(t)=g(-A_{11}(I_{d\times d}-A_{11})^{-1}t)\).
Proof
Formula (61) is proved using the explicit definitions of the operators associated to \(V_C\), \({\mathcal {A}}_{FT2}\) and \({\mathcal {D}}_L\). In fact, up to a phase factor,
For \(z=(x,\xi )\) and \(V_C\) as in the statement, we have by (22)
Furthermore, formula (56) applied to the symplectic matrix \({\mathcal {A}}_{FT2}{\mathcal {D}}_L\) (L as in the statement, see [12, Theorem 2.27], where the formula was obtained in this particular case) tells that, up to a unitary constant,
for \(f,g\in L^2({\mathbb {R}}^d)\) and \({{\tilde{g}}}\) being as in the statement. \(\square \)
As a consequence, we extend [12, Theorem 2.28] to all Wigner-decomposable matrices.
Corollary 4.12
Under the notation of Theorem 4.15, the following statements are equivalent:
-
(i)
\({\mathcal {A}}=V_C{\mathcal {A}}_{FT2}{\mathcal {D}}_L\) is shift-invertible,
-
(ii)
\({\mathcal {A}}={\mathcal {A}}_{FT2}{\mathcal {D}}_L\) is shift-invertible,
-
(iii)
L is right-regular.
Proof
The equivalence \((i)\Leftrightarrow (ii)\) is proved in Corollary 4.6. The equivalence \((ii)\Leftrightarrow (iii)\) follows from Theorem 4.11, which gives:
so that:
This gives
which proves the claim. \(\square \)
Corollary 4.13
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) be Wigner-decomposable, with matrix L right-regular. Then, for any \(g\in {\mathcal {S}}({\mathbb {R}}^d)\), \(0<p,q\le \infty \),
For \(1\le p,q\le \infty \), the window g can be chosen in \(M^1_{v_s}(\mathbb {R}^d)\).
Proof
With the same notations as Theorem 4.11, write \({\mathcal {A}}=V_C{\mathcal {A}}_{FT2}{\mathcal {D}}_L\), with L is right-invertible. By (63),
By Corollary 4.12, \({\mathcal {A}}_{FT2}{\mathcal {D}}_L\) is a covariant (see Sect. 4.2 below), shift-invertible matrix. Then the claim follows from [12, Theorem 2.28]. \(\square \)
4.2 Covariance
According to [12, Proposition 2.10], for a given symplectic matrix \({\mathcal {A}}\), the metaplectic Wigner distribution \(W_{\mathcal {A}}\) satisfies
if and only if \({\mathcal {A}}\) has block decomposition
with \(A_{13}=A_{13}^T\) and \(A_{21}=A_{21}^T\). We refer to such matrices as to covariant matrices and to property (64) as to the covariance property of \(W_{\mathcal {A}}\). It was proved in [12] that a covariant matrix with block decomposition (65) is totally Wigner-decomposable if and only if \(A_{21}=A_{13}=0_{d\times d}\). Moreover, if
and W is the classical Wigner distribution, the following result holds:
Theorem 4.14
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) be a covariant matrix in the form (65). Then,
where
and \(B_{\mathcal {A}}\) defined as in (66).
Recalling our chirp function in (23), the equality in (68) can be rewritten as
If a time–frequency representation Q(f, g) satisfies
for some \(\Sigma \in {\mathcal {S}}'({\mathbb {R}^{2d}})\), we say that Q belongs to the Cohen class.
Theorem 4.14 sheds light on the importance of covariant matrices in the context of time–frequency analysis, stating that \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) is covariant if and only if \(W_{\mathcal {A}}\) belongs to the Cohen class. The following result shows that covariant matrices are exactly those that decompose as the product of symplectic matrices \(V_C^T\), \({\mathcal {A}}_{FT2}\) and \({\mathcal {D}}_L\) for some \(d\times d\) symmetric matrix C and \(L\in GL(2d,\mathbb {R}^d)\).
Theorem 4.15
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) be covariant with block decomposition (65). Then,
where
As a consequence, up to a phase factor, for all \(f,g\in {\mathcal {S}}({\mathbb {R}}^d)\),
In particular, if \(A_{13}=0_{d\times d}\), then
Proof
Equality (70) is a straightforward computation. Now, using (30),
Observe that
so that
Next, we apply
to the inner integral, to get (72). \(\square \)
Remark 4.16
Theorem 4.15 states that the class of covariant symplectic matrices is invariant with respect to left-multiplication by matrices \(V_C^T\). Equivalently, the class of metaplectic Wigner distributions associated to covariant matrices is invariant with respect to convolutions by kernels in the form \(\Phi _C\), C \(d\times d\) real symmetric matrix.
Remark 4.17
Theorem 4.15 clarifies the roles that the blocks \(A_{13}\) and \(A_{21}\) have in Wigner metaplectic operators associated to covariant matrices. The block \(A_{13}\) appears in the convolution factor \({\mathcal {F}}(\Phi _{-A_{13}})(\cdot )\) and acts on \((f\otimes {{\bar{g}}})\circ L(\cdot ,\eta )\), whereas \(A_{21}\) produces the phase factor \(\Phi _{A_{21}}\).
As we pointed out, covariant matrices play a key part in the theory of pseudodifferential operators, as they belong to the Cohen class. In the following result we prove an explicit integral formula for metaplectic pseudodifferential operators associated to covariant matrices.
Proposition 4.18
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) be a covariant matrix with decomposition in (70). Then, for every \(f\in {\mathcal {S}}(\mathbb {R}^d)\) and \(a\in {\mathcal {S}}({\mathbb {R}^{2d}})\), up to a phase factor,
where the chirp function \(\Phi _C\) is defined in (23).
Proof
We use the expression of \(W_{{\mathcal {A}}}\) and Theorem 4.15. Namely, for every \(f,g\in {\mathcal {S}}(\mathbb {R}^d)\), \(a\in {\mathcal {S}}'({\mathbb {R}^{2d}})\), up to a unitary factor,
where we used \(\mu (V_C^T)^{*}=\mu (V_C^{-T})\). Since \(|\det (L)|=1\), we can write
where the integrals must be interpreted in the weak sense. Hence,
Using
we compute
where in the last step we used the expression of \(\mu (V_C^{-T})\) computed in (28). \(\square \)
Remark 4.19
As in Remark 4.17, we stress that (74) sheds light on the role of the matrix \(V_C^T\), in the decomposition of a covariant matrix \({\mathcal {A}}\), on the pseudodifferential operator with quantization given by \({\mathcal {A}}\). Basically, it produces the chirp \({\mathcal {F}}\Phi _C\) which acts on the symbol a via convolution.
To study the solution \(u=u(x,t)\) to the Schrödinger equation in (6) we need to know information about his projection \(\chi _t\) in (7).
Lemma 4.2
Consider a covariant matrix \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) having block decomposition (65) and related matrix \(B_{\mathcal {A}}\) in (66). For \(\chi _t\), \(t\in \mathbb {R}\), in (7), assume that its inverse \(\chi _t^{-1}\in Sp(d,{\mathbb {R}})\), has the \(d\times d\) block decomposition
Set \({B}_{{\mathcal {A}}_t}=\chi _t^{-T}B_{\mathcal {A}}\chi _t^{-1}\) and let \({\mathcal {A}}_t\in Sp(2d,{\mathbb {R}})\) be the symplectic matrix associated to \({B}_{{\mathcal {A}}_t}\). Then, \({\mathcal {A}}_t\) is the covariant matrix having block decomposition
with
Proof
Plugging \({B}_{{\mathcal {A}}_t}=\chi _t^{-T}B_{\mathcal {A}}\chi _t^{-1}\) into the block decomposition (66) for \({B}_{\mathcal {A}}\) and using the symplectic properties
of \(\chi _t^{-1}\) we get
where \(A_{t,11},A_{t,13}\) and \(A_{t,21}\) are defined as in the assertion. Since the covariance of \({\mathcal {A}}\) is inherited by \({\mathcal {A}}_t\), we have that these blocks are exactly the ones defining the block decomposition of \({\mathcal {A}}_t\) as a covariant matrix. \(\square \)
We can now express the phase-space concentration of the solution u(x, t) to the free particle equation in terms of \({\mathcal {A}}\)-Wigner distribution.
Example 4.20
(The free particle) We shall prove the formula originally announced in Part I, see Example 4.9 in [14], formula (126) therein (see also formula (108) in [12]).
In Example 4.9 in [14] we computed the \(\tau \)-Wigner of the solution u(t, x) to the Cauchy problem of the free particle equation:
with \((t,x)\in \mathbb {R}\times \mathbb {R}^d\), \(d\ge 1\). Namely, we obtained that
where the representation \(W_{{\mathcal {A}}_{\tau ,t}}\) is of Cohen class:
with kernel
where, for \(\tau \not =1/2\), the \(\tau \)-kernel is given by
where \(\rho (\tau )=\frac{2}{2\tau -1}\). The matrix \(B_{\textbf{A}_\tau }\) in (66) cab be computed as
and by (78) (see also Proposition 4.4 in [12]),
The representation (81) can be equivalently written as (cf. (69))
Hence, the \({{\mathcal {A}}_{\tau ,t}}\)-Wigner representation computed in (73) with
becomes
as desired.
5 Continuity on Modulation Spaces
For many quantizations, \(Op_{\mathcal {A}}\) is an integral superposition of time–frequency shifts. Stated differently, these fundamental operators of time–frequency analysis represent the building blocks of pseudodifferential operators. Concretely, the Weyl quantization of a pseudodifferential operator with symbol \(a\in {\mathcal {S}}'({\mathbb {R}^{2d}})\) is given by
On the other hand, if \(f\in M^{p,q}_m\) for some \(m\in {\mathcal {M}}_{v_s}\) and \(0<p,q\le \infty \), then \(\pi (z,\eta )f\in M^{p,q}_m\) for all \(z,\eta \in \mathbb {R}^d\). This turns out to be one of the main reasons why modulation spaces appear in the theory of pseudodifferential operators.
In this section, we use the results in the first part of this paper to investigate the continuity properties of metaplectic pseudodifferential operators on modulation spaces. Since weighted modulation spaces measure the phase-space concentration of signals, as well as their decay properties, an investigation of their continuity on these spaces reveals how the time–frequency concentration of signals changes when a pseudodifferential operator is applied.
The first result we present involves the explicit expression of the symbol \(b:=(a\otimes 1)\circ {\mathcal {A}}^{-1}\), as in the equality (44) above, when \({\mathcal {A}}\) is totally Wigner-decomposable or covariant.
Proposition 5.1
Consider \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\), \(a\in {\mathcal {S}}'({\mathbb {R}^{2d}})\) and \(b=\sigma \circ {\mathcal {A}}^{-1}\), with \(\sigma =a\otimes 1\) as defined in (41). For every \(x,\xi ,u,v\in \mathbb {R}^d\) we can state:
-
(i)
if \({\mathcal {A}}\) is totally Wigner-decomposable with block decomposition as in Proposition 4.3, then
$$\begin{aligned} b(x,\xi ,u,v)=a(A_{33}^Tx-A_{23}^Tv,-A_{41}^T\xi +A_{11}^Tu); \end{aligned}$$(83) -
(ii)
if \({\mathcal {A}}\) is covariant with block decomposition as in (65), then
$$\begin{aligned} b(x,\xi ,u,v)=a(x-A_{13}u+(A_{11}-I)v,\xi +A_{11}^Tu+A_{21}v). \end{aligned}$$(84)
Proof
The proof follows by the straightforward calculation of
Namely, to get (83) one applies (85) with \({\mathcal {A}}^{-1}\) as in (54), whereas (84) is obtained applying (85) with
\(\square \)
For \(a\in {\mathcal {S}}({\mathbb {R}^{2d}})\), define \(\sigma :=a\otimes 1\) as in (41), and
For \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) we set
The following result extends Lemma 5.1 in [14] to general symplectic matrices.
Lemma 5.1
Let \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\), \(a\in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), \(0<q\le \infty \) and \(s\ge 0\). Let \(b,{{\tilde{b}}}\) and c be defined as in (86), (87) and (88), respectively. Then \(b, {{\tilde{b}}}, c\) are in \(M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}}^{4d})\).
Proof
The proof that b and \({{\tilde{b}}}\) are in \(M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\) is analogous to that of [14, Lemma 5.1]. In fact, observe \(1_{(y,\eta )}\) is in \(M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\) for every \(0<q\le \infty \) and \(s\ge 0\). For \( c=b{{\tilde{b}}}\), if \(q\ge 1\) we use the product properties for modulation spaces in [13, Proposition 2.4.23], the quasi-Banach case \(0<q<1\) is contained in [26]. \(\square \)
Recall the following boundedness result for Weyl quantization, see [23, Theorem 14.5.6], [43] and [44, Theorem 3.1].
Proposition 5.2
If \(0< p,q,r \le \infty \) with \(r=\min \{1,p,q\}\), \(s\in \mathbb {R}\), \(\sigma \in M^{\infty ,r}_{1\otimes v_{|s|}}({\mathbb {R}^{2d}})\), then \(Op_w(\sigma ):{\mathcal {S}}({\mathbb {R}}^d)\rightarrow {\mathcal {S}}'({\mathbb {R}}^d)\) extends to a bounded operator on \({\mathcal {M}}_{v_s}^{p,q}({\mathbb {R}}^d)\).
We generalize Proposition 5.2 to metaplectic pseudodifferential operators:
Theorem 5.3
Consider \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\) a covariant matrix such that \(B_{\mathcal {A}}\) in (66) is invertible. For \(0< p,q\le \infty \), set \(r=\min \{1,p,q\}\). If \(a\in M^{\infty ,r}_{1\otimes v_s}({\mathbb {R}}^{2d})\), \(s\ge 0\), then \(Op_{\mathcal {A}}(a):{\mathcal {S}}(\mathbb {R}^d)\rightarrow {\mathcal {S}}'(\mathbb {R}^d)\) extends to a bounded operator on \({\mathcal {M}}_{v_s}^{p,q}({\mathbb {R}}^d)\).
Proof
By [12, Proposition 3.3], \({\mathcal {F}}^{-1}\Phi _{B_{\mathcal {A}}}\in M^{r,\infty }_{v_s\otimes 1}\) for every \(s\ge 0\), \(0<r\le \infty \). Since \(W_{\mathcal {A}}\) belongs to the Cohen class, for every \(f,g\in {\mathcal {S}}(\mathbb {R}^d)\),
By [2, Proposition 3.1]
The assertion follows from [44, Theorem 3.1]. \(\square \)
We conclude this section by showing the validity of relations (43) on modulation spaces.
Theorem 5.4
Consider \({\mathcal {A}}\in Sp(2d,{\mathbb {R}})\), \(0< p\le \infty \), \(a\in M^{\infty ,r}_{1\otimes v_s}({\mathbb {R}^{2d}})\), \(s\ge 0\), \(r=\min \{1,p\}\), and b, \({{\tilde{b}}}\), c defined as in (86), (87) and (88), respectively. For \(f,g\in {\mathcal {M}}^p_{v_s}(\mathbb {R}^d)\), the following identities hold in \({\mathcal {M}}^{p}_{v_s}({\mathbb {R}^{2d}})\):
Proof
If \(f\in {\mathcal {M}}^{p}_{v_s}(\mathbb {R}^d)\), then \(Op_w(a)f\in {\mathcal {M}}^p_{v_s}(\mathbb {R}^d)\) by [44, Theorem 3.1]. Hence, [12, Theorem 2.15] says that
Similarly, by Lemma 5.1, the symbols \(b,{\tilde{b}}\) and c are in \(M^{\infty ,q}_{1\otimes v_s}(\mathbb {R}^{4d})\) and the right-hand sides of formulas (89), (90) and (91) are in \({\mathcal {M}}^p_{v_s}({\mathbb {R}^{2d}})\). The equalities (89), (90) and (91) are obtained by using the same pattern as in the proof of [14, Theorem 5.1], namely replacing the symplectic matrix \({\mathcal {A}}_\tau \) with a general \({\mathcal {A}}\in Sp(2d,\mathbb {R})\). \(\square \)
Remark 5.5
Observe that the previous result extends [14, Theorem 5.1] to the quasi-Banach setting \(0<p<1\).
6 Algebras of Generalized Metaplectic Operators
In this section we introduce (quasi-)algebras of FIOs which extend the ones in [8, 9].
Recall the definition of a Gabor frame. Given a lattice in the phase-space \(\Lambda =A{\mathbb {Z}^{2d}}\), with \(A\in GL(2d,{\mathbb {R}})\), and a non-zero window function \(g\in L^2(\mathbb {R}^d)\), a Gabor system is the sequence:
A Gabor system \({\mathcal {G}}(g,\Lambda )\) becomes a Gabor frame if there exist constants \(0<A\le B\) such that
Given a Gabor frame \({\mathcal {G}}(g,\Lambda )\), the Gabor matrix of a linear continuous operator T from \({\mathcal {S}}(\mathbb {R}^d)\) to \({\mathcal {S}}'(\mathbb {R}^d)\) is
Our goal: controlling the Gabor matrix of a metaplectic operator T (or more general one) related to the symplectic matrix \(\chi \in Sp(d,\mathbb {R})\) by
where h is a sequence leaving in a suitable (quasi-)algebra with respect to convolution.
The algebras already studied in [8, 9] where \(\ell ^1(\Lambda )\) and \(\ell ^\infty _{v_s}(\Lambda )\), \(s>2d\). Here we extend to the quasi-algebras \(\ell _{v_s}^q(\Lambda )\), \(0<q<1\), \(s\ge 0\), enjoying the convolution property:
Recall that the Wiener amalgam spaces \(W(C,L^p_{v_s})({\mathbb {R}^{2d}})\) is defined in (9) and the class \(FIO(\chi ,q,v_s)\) is defined in Definition 1.2.
The union
is called the class of generalized metaplectic operators. Similarly to [9, Proposition 3.1] one can show:
Proposition 6.1
The definition of the class \(FIO(\chi ,q,v_s)\) is independent of the window function \(g\in {\mathcal {S}}(\mathbb {R}^d)\).
Remark 6.2
-
(i)
For \(q=1\) the original definition of \(FIO(\chi ,v_s)\) in [9] was formulated in terms of a function \(H\in L^1_{v_s}({\mathbb {R}^{2d}})\) instead of the more restrictive condition \(H\in W(C,L^1_{v_s})({\mathbb {R}^{2d}})\). Though, it turns out that the two definitions are equivalent, see [9, Proposition 3.1].
-
(ii)
Similarly to \(q=1\), one could consider the algebra of \(FIO(\chi ,\infty ,v_s)\), \(s>2d\) such that
$$\begin{aligned} |\langle T \pi (z) g,\pi (w)g\rangle |\le \langle w-\chi z\rangle ^{-s},\qquad \forall w,z\in {\mathbb {R}^{2d}}. \end{aligned}$$(94)We shall not treat this case explicitly, but we remark that it enjoys similar properties to those we are going to establish for the cases above.
Theorem 6.3
Consider T a continuous linear operator \({\mathcal {S}}(\mathbb {R}^d)\rightarrow {\mathcal {S}}'(\mathbb {R}^d)\), \(\chi \in Sp(d,\mathbb {R})\), \(0< q\le 1\), \(s\ge 0\). Let \({\mathcal {G}}(g,\Lambda )\) be a Gabor frame with \(g\in {\mathcal {S}}(\mathbb {R}^d)\). Then the following properties are equivalent:
(i) there exists a function \(H\in W(C,L^q_{v_s})({\mathbb {R}^{2d}})\), such that the kernel of T with respect to time-frequency shifts satisfies the decay condition (10);
(ii) there exists a sequence \(h\in \ell ^q_{v_s}(\Lambda )\), such that
Proof
It is a straightforward modification of the proof [8, Theorem 3.1]. \(\square \)
We list a series of issues which follow by easy modifications of the earlier results contained in [8, 9], for a detailed proof we refer to [7].
Theorem 6.4
-
(i)
Boundedness. Fix \(\chi \in Sp(d,{\mathbb {R}})\), \(0< q\le 1\), \(s\ge 0\), \(m\in {\mathcal {M}}_{v_s}\) and let T be generalized metaplectic operator in \(FIO(\chi ,q,v_s)\). Then T is bounded from \(M^p_m(\mathbb {R}^d)\) to \(M^p_{m\circ \chi ^{-1}}(\mathbb {R}^d)\), \(q\le p\le \infty \).
-
(ii)
Algebra property. Let \(\chi _i\in Sp(d,{\mathbb {R}})\), \(s\ge 0\) and \(T_i\in FIO(\chi _i,q, v_s)\), \(i=1,2\). Then \(T_1T_2\in FIO(\chi _1\chi _2,q,v_s)\).
For the invertibility property, the algebra cases corresponding to the spaces of sequences \(\ell ^1_{v_s}\) where treated in [24] and [25] (see also earlier references therein). We extend those arguments to the quasi-Banach setting as follows.
Definition 6.5
Consider \({\mathcal {B}}=\ell ^q_{v_s}(\Lambda )\), \(0< q\le 1\), \(s\ge 0\). Let A be a matrix on \(\Lambda \) with entries \(a_{\lambda ,\mu }\), for \(\lambda ,\mu \in \Lambda \), and let \(d_A\) be the sequence with entries \(d_A(\mu )\) defined by
We say that the matrix A belongs to \({\mathcal {C}}_{\mathcal {B}}\) if \(d_A\) belongs to \({\mathcal {B}}\). The (quasi-)norm in \({\mathcal {C}}_{\mathcal {B}}\) is given by
The value \( d_A(\mu )\) is the supremum of the entries in the \(\mu -th\) diagonal of A, thus the \({\mathcal {C}}_{\mathcal {B}}\)-norm describes a form of the off-diagonal decay of a matrix.
Theorem 6.6
Consider the (quasi-)algebra \({\mathcal {B}}\) above. Then the following are equivalent:
-
(i)
\({\mathcal {B}}\) is inverse-closed in \(B(\ell ^2)\).
-
(ii)
\({\mathcal {C}}_{\mathcal {B}}\) is inverse-closed in \(B(\ell ^2)\).
-
(iii)
The spectrum \({\widehat{{\mathcal {B}}}}\simeq \mathbb {T}^d\).
Proof
The algebra case is already proved in [25]. The quasi-algebra case follows by a similar pattern, since, for \(0<q<1\), it is easy to check that \(\ell ^q_{v_s}(\Lambda )\) is a solid convolution quasi-algebra of sequences. \(\square \)
As a consequence, we can state:
Theorem 6.7
The class of Weyl operators with symbols in \(M^{\infty , q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), \(0< q\le 1\), is inverse-closed in \(B(L^2(\mathbb {R}^d))\). In other words, if \(\sigma \in M^{\infty , q}_{1\otimes v_s}({\mathbb {R}^{2d}})\) and \(Op_w(\sigma )\) is invertible on \(L^2(\mathbb {R}^d)\), then \((Op_w(\sigma ))^{-1}=Op_w(b)\) for some \(b\in M^{\infty , q}_{1\otimes v_s}({\mathbb {R}^{2d}})\).
Proof
It follows the pattern of Theorem 5.5 in [25], using Theorem 6.6 in place of the corresponding Theorem 3.5 in the above-mentioned paper. \(\square \)
Theorem 6.8
(Invertibility in the class \(FIO(\chi ,q,v_s)\)) Consider \(T\in FIO(\chi ,q,v_s),\) such that T is invertible on \(L^2(\mathbb {R}^d)\), then \(T^{-1} \in FIO(\chi ^{-1},q,v_s)\).
Proof
The pattern is similar to Theorem 3.7 in [8]. We detail the differences. We first show that the adjoint operator \(T^*\) belongs to the class \(FIO(\chi ^{-1}, q,v_s)\). By Definition 1.2:
It is easy to check that \({\mathcal {I}}(H\circ \chi )\in W(C,L^q_{v_s})\) for \(H\in W(C,L^q_{v_s})\), since \(v_s\circ \chi ^{-1}\asymp v_s\), and the claim follows. Hence, by Theorem 6.4 (ii), the operator \(P:=T^*T\) is in \(FIO(\textrm{Id},q,{v_s})\) and satisfies the estimate (95), that is:
and a suitable sequence \(h\in \ell ^q_{v_s}(\Lambda )\). The characterization for pseudodifferential operators in Theorem 3.2 [2] says that P is a Weyl operator \(P=Op_w(\sigma )\) with a symbol \(\sigma \) in \(M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\). Since T and therefore \(T^*\) are invertible on \(L^2(\mathbb {R}^d)\), P is also invertible on \(L^2(\mathbb {R}^d)\). Now we apply Theorem 6.7 and conclude that the inverse \(P^{-1}=Op_w(\tau )\) is a Weyl operator with symbol in \(\tau \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\). Hence \(P^{-1}\) is in \(FIO(\textrm{Id},q,v_s)\). Eventually, using the algebra property of Theorem 6.4 (ii), we obtain that \(T^{-1}=P^{-1} T^*\) is in \(FIO(\chi ^{-1},q,v_s)\). \(\square \)
Theorem 6.9
Fix \(0< q\le 1\), \(\chi \in Sp(d,{\mathbb {R}})\). A linear continuous operator \(T: {\mathcal {S}}(\mathbb {R}^d)\rightarrow {\mathcal {S}}'(\mathbb {R}^d)\) is in \(FIO(\chi ,q,v_s)\) if and only if there exist symbols \(\sigma _1, \sigma _2 \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\),
such that
The symbols \(\sigma _1\) and \(\sigma _2\) are related by
Proof
It follows the same pattern of the proof of [9, Theorem 3.8]. The main tool is the characterization in Theorem 3.2 of [2] which extends Theorem 4.6 in [25] to the case \(0<q<1\). We recall the main steps for the benefit of the reader.
Assume \(T\in FIO(\chi ,q,v_s)\) and fix \(g\in {\mathcal {S}}(\mathbb {R}^d)\). We first prove the factorization \(T=\sigma _1^w\mu (\chi )\). For every \(\chi \in Sp(d,{\mathbb {R}})\), the kernel of \(\mu (\chi )\) with respect to time-frequency shifts can be written as
Since both \(g\in {\mathcal {S}}(\mathbb {R}^d)\) and \(\mu (\chi )g\in {\mathcal {S}}(\mathbb {R}^d)\), we have \(V_{g}(\mu (\chi )g)\in {\mathcal {S}}({\mathbb {R}^{2d}})\) (see e.g., [13]). Consequently, we have found a function \(H=|V_{g}\big (\mu (\chi )g\big )|\in {\mathcal {S}}({\mathbb {R}^{2d}})\subset W(C, L^q_{v_s})\) such that
Since \(\mu (\chi )^{-1}=\mu (\chi ^{-1})\) is in \(FIO( \chi ^{-1},q,v_s)\) by Theorem 6.8, the algebra property of Theorem 6.4 (ii) implies that \(T\mu (\chi ^{-1})\in FIO(\textrm{Id},q,v_s)\). Now Theorem 3.2 in [2] implies the existence of a symbol \(\sigma _1 \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), such that \(T\mu (\chi )^{-1}=Op_w(\sigma _1)\), as claimed. The rest goes exactly as in [9, Theorem 3.8]. \(\square \)
7 Applications to Schrödinger Equations
The theory developed in the previous sections finds a natural application in quantum mechanics. In particular, we focus on the Cauchy problems for Schrödinger equations announced in the introduction, cf. (4), with Hamiltonian of the form (5):
where \(Op_w(a)\) is the Weyl quantization of a real homogeneous quadratic polynomial on \({\mathbb {R}^{2d}}\) and \(Op_w(\sigma )\) is a pseudodifferential operator with a symbol \(\sigma \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\).
Proposition 5.2 (see also Theorem 6.4 (i) with \(\chi =Id\) or [44, Theorem 3.1]) gives
Corollary 7.1
If \(\sigma \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), \(s\ge 0\), \(0<q\le 1\), then the operator \(Op_w(\sigma )\) is bounded on all modulation spaces \(M^p_{v_s}(\mathbb {R}^d)\), for \(q\le p\le \infty \). In particular, \(Op_{w}(\sigma )\) is bounded on \(L^2(\mathbb {R}^d)\).
This implies that the operator H in (5) is a bounded perturbation of the generator \(H_0 = Op_w(a)\) of a unitary group (cf. [42]), and H is the generator of a well-defined (semi-)group.
Theorem 7.2
Let H be the Hamiltonian in (5) with homogeneous polynomial a and \(\sigma \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), \(0<q\le 1\), \(s\ge 0\). Let \(U (t) = e^{itH}\) be the corresponding propagator. Then U(t) is a generalized metaplectic operator for each \(t \in \mathbb {R}\). Namely, the solution of the homogenous problem \(iu_t + Op_w(a) u = 0\) is given by a metaplectic operator \(\mu ( \mathcal {\chi }_t)\) in (7), and \(e^{itH}\) is of the from
for some symbol \(b_t\in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\).
Proof
The proof of the above result was shown for \(q=1\) in [9] and it easily extends to any \(0<q<1\). In fact, the main ingredients to use are the invariance of \(M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}}) \) under metaplectic operators, plus the properties of that symbol class: the boundedness on modulation spaces and the algebra property of the corresponding Weyl operators. \(\square \)
Corollary 7.3
Assume \(\sigma \in M^{\infty ,q}_{1\otimes v_s}({\mathbb {R}^{2d}})\), \(0< q\le 1\), \(s\ge 0\), \(m\in {\mathcal {M}}_{v_s}\). If the initial condition \(u_0\) is in \(M^p_m(\mathbb {R}^d)\), with \(q\le p\le \infty \), then \(u(t,\cdot )\in M^p_{m\circ \chi ^{-1}}(\mathbb {R}^d)\) for every \(t\in \mathbb {R}\). In particular, if \(m\circ \chi ^{-1}\asymp m\) for every \(\chi \in Sp(d,\mathbb {R})\) (as for \(v_s\)) the time evolution leaves \(M^p_m(\mathbb {R}^d)\) invariant: the Schrödinger evolution preserves the phase space concentration of the initial condition.
Proof of Corollary 7.3
It follows from Theorem 7.2 and the representation in Theorem 6.9 that \(e^{itH}\in FIO(\chi ,q,v_s)\), so that the claim is direct consequence of Theorem 6.4 (i). \(\square \)
We can now study the Wigner kernel of \(e^{itH}\), namely k(z, w), \(w,z\in {\mathbb {R}^{2d}}\), such that
and possible generalizations to \({\mathcal {A}}\)-Wigner transforms.
For sake of clarity, we start with a symbol \(\sigma \) in the Hörmander class \(S^0_{0,0}({\mathbb {R}^{2d}})\), that is \(\sigma \in {\mathcal {C}}^{\infty }({\mathbb {R}^{2d}})\) such that for every \(\alpha \in \mathbb {N}^d\) there exists a \(C_\alpha >0\) for which
We recall that \(S^0_{0,0}({\mathbb {R}^{2d}})\) can be viewed as the intersection of modulation spaces [2]
Let \({\mathcal {A}}\) be a covariant, shift-invertible matrix. Actually, when working in the \(L^2\) setting, the assumption of shift-invertibility will be not essential in the sequel. We may argue in terms of the Cohen class \(Q_{\Sigma }\) in Theorem 4.14:
where \(\Sigma \) is related to \({\mathcal {A}}\) by (68), (66).
Let us define \(\Sigma _t(z)=\Sigma (\chi _t(z))\) and denote by \({\mathcal {A}}_t\) the corresponding covariant matrix, such that \(W_{{\mathcal {A}}_t}=Q_{\Sigma _t}\), see Proposition 4.4 in [12] for details. Note that in the case of the standard Wigner transform we have \(W=W_{\mathcal {A}}=W_{{\mathcal {A}}_t}\) for every t, since \(\Sigma =\delta \).
The following proposition is the Wigner counterpart for \(e^{itH}\) of the almost-diagonalization in Definition 1.2.
Proposition 7.4
Under the assumptions above, for \(z\in {\mathbb {R}^{2d}}\), \(t\in \mathbb {R},\)
where for every \(N\ge 0\),
is the kernel of an operator bounded on \(L^2({\mathbb {R}^{2d}})\).
We need the following preliminary result, cf. Proposition 4.1, formula (96) in [12]. To benefit the reader, we report here the proof.
Lemma 7.1
Under the assumptions above,
Proof
From [13, Proposition 1.3.7] we have
so that for any \(\Sigma \in {\mathcal {S}}({\mathbb {R}^{2d}})\), \(f\in {\mathcal {S}}(\mathbb {R}^d)\),
For \(\Sigma \in {\mathcal {S}}'({\mathbb {R}^{2d}})\) we may use standard approximation arguments. Since in our case \(Q_{\Sigma }(\mu (\chi _t)f)=W_{\mathcal {A}}(\mu (\chi _t)f)\) and \(Q_{\Sigma _t}f(\chi _t^{-1}z)=W_{{\mathcal {A}}_t}f(\chi _t^{-1}z)\), this concludes the proof. \(\square \)
Proof of Proposition 7.4
From Theorem 7.2 we have
In view of Lemma 7.1
We now apply formula (91) to obtain
where the symbol \(c_t\in S^0_{0,0}(\mathbb {R}^{4d})\) is given by (88). Summing up
Writing h(t, z, w) for the kernel of \(Op_w(c)\),
that is
Now, observe that for every \(N\ge 0\),
is the kernel of bounded operator on \(L^2(\mathbb {R}^d)\), see [14, Lemma 5.3]. Hence the operator with kernel
is bounded as well. \(\square \)
Definition 7.5
Fix \({\mathcal {A}}\in Sp(2d,\mathbb {R})\) covariant and shift-invertible. For \(f\in L^2(\mathbb {R}^d)\) we define \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\), the \({\mathcal {A}}\)-Wigner wave front set of f, as follows. A point \(z_0=(x_0,\xi _0)\not =0\) is not in \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\) if there exists a conic open neighbourhood \(\Gamma _{z_0}\subset {\mathbb {R}^{2d}}\) of \(z_0\) such that for every integer \(N\ge 0\)
In the case of the standard Wigner transform \(W_{\mathcal {A}}=W\), we write for short \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)= {\mathcal {W}}{\mathcal {F}}(f)\). Note that \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f) \) is a closed cone in \({\mathbb {R}^{2d}}\setminus \{0\}\). We have \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)=\emptyset \) if and only if \(f\in {\mathcal {S}}(\mathbb {R}^d)\), cf. Proposition 4.7 in [12] and the arguments in the sequel.
First, we shall give the following extension of Theorem 1.6 in [14] concerning the \(\tau \)-Wigner case.
Theorem 7.6
Consider \(a\in S_{0,0}^0({\mathbb {R}^{2d}})\). Then, for every \(f\in L^2(\mathbb {R}^d)\),
Proof
Arguing exactly as in the proof of Theorem 1.6 in [14] and replacing \(\tau \)-Wigner with \({\mathcal {A}}\)-Wigner distributions, we apply the identity
with the symbol c as in (88) and using (91) in Theorem 5.4 we obtain the inclusion. \(\square \)
Theorem 7.7
For \(u_0\in L^2(\mathbb {R}^d)\) we have
The proof follows the lines of the corresponding one in Theorem 1.6 [14], basing on the preceding Proposition 7.4, in particular on the identity in (101), see the sketch below. For the Wigner distribution the previous result reads as follows:
Corollary 7.8
For \(u_0\in L^2(\mathbb {R}^d)\),
Proof of Theorem 7.7
Fix \(t\in \mathbb {R}\), \(z_0\in {\mathbb {R}^{2d}}{\setminus }\{0\}\), \(\Gamma _{z_0}\) small conic neighbourhood of \(z_0\), \(\zeta _0=\chi _t(z_0)\), \(\Lambda _{\zeta _0}=\chi _t(\Gamma _{z_0})\) corresponding conic neighbourhood of \(\zeta _0\). Assume \(\zeta _0\notin {\mathcal {W}}{\mathcal {F}}_{{\mathcal {A}}_t} (u_0)\), that is, for every \(N\ge 0\),
We want to prove that \(z_0\notin {\mathcal {W}}{\mathcal {F}}_{{\mathcal {A}}} (e^{it H}u_0)\), that is, for every \(N\ge 0\),
By applying the basic identity (101) in the proof of Proposition 7.4 we obtain
and after the change of variables \(z=\chi _t \zeta \), observing that \(\langle \chi _t \zeta \rangle \asymp \langle \zeta \rangle \):
We are therefore reduced to the pseudodifferential case, cf. the preceding Theorem . Arguing again as in the proof of Theorem 1.6 in [14] and using the assumption, we obtain \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(e^{it H}u_0)\subset \chi _t ({\mathcal {W}}{\mathcal {F}}_{{\mathcal {A}}_t}(u_0))\). Similarly, one can prove the opposite inclusion. \(\square \)
References
Asada, K., Fujiwara, D.: On some oscillatory transformation in \(L^2(\mathbb{R} ^n)\). Japan J. Math. 4, 299–361 (1978)
Bastianoni, F., Cordero, E.: Characterization of smooth symbol classes by Gabor matrix decay. J. Four. Anal. Appl. (2022). https://doi.org/10.1007/s00041-021-09895-2
Bényi, A., Okoudjou, K.A.: Modulation Spaces With Applications to Pseudodifferential Operators and Nonlinear Schrödinger Equations, Springer, New York
Cohen, L.: Generalized phase-space distribution functions. J. Math. Phys. 7, 781–786 (1966)
Cohen, L.: Time Frequency Analysis: Theory and Applications. Prentice Hall (1995)
Carypis, E., Wahlberg, P.: Propagation of exponential phase space singularities for Schrödinger equations with quadratic Hamiltonians. J. Four. Anal. Appl. 23(3), 530–571 (2017)
Cordero, E., Giacchi, G.: Quasi-Banach algebras and Wiener properties for pseudodifferential and generalized metaplectic operators. J. Pseudo-Differ. Oper. Appl. 14, 9 (2023)
Cordero, E., Gröchenig, K., Nicola, F., Rodino, L.: Wiener algebras of Fourier integral operators. J. Math. Pures Appl. 99(2), 219–233 (2013)
Cordero, E., Gröchenig, K., Nicola, F., Rodino, L.: Generalized Metaplectic Operators and the Schrödinger equation with a Potential in the Sjöstrand class. J. Math. Phys. 55(8), 081506 (2014)
Cordero, E., Nicola, F., Rodino, L.: Propagation of the Gabor wave front set for Schrödinger equations with non-smooth potentials. Rev. Math. Phys. 27(1), 1550001 (2015)
Cordero, E., Nicola, F., Rodino, L.: Wave packet analysis of Schrödinger equations in analytic function spaces. Adv. Math. 278, 182–209 (2015)
Cordero, E., Rodino, L.: Characterization of modulation spaces by symplectic time-frequency representations: applications to Schrödinger equations. J. Funct. Anal. 284, 109892 (2023)
Cordero, E., Rodino, L.: Time-Frequency Analysis of Operators. De Gruyter Studies in Mathematics (2020)
Cordero, E., Rodino, L.: Wigner analysis of operators. Part I: pseudodifferential operators and wave fronts. Appl. Comput. Harmon. Anal. 58, 85–123 (2022)
Cordero, E., Trapasso, S.I.: Linear perturbations of the Wigner distribution and the Cohen’s class. Anal. Appl. (Singap.) 18(3), 385–422 (2020)
Craig, W., Kappeler, T., Strauss, W.: Microlocal dispersive smoothing for the Schrödinger equation. Comm. Pure Appl. Math. 48, 769–860 (1995)
Feichtinger, H.G.: Modulation spaces on locally compact abelian groups. In: Krishna, M., Radha, R., Thangavelu, S. (eds.) Technical report, University of Vienna, 1983, and also in “Wavelets and Their Applications’’, pp. 99–140. Allied Publishers (2003)
Folland, G.B.: Harmonic Analysis in Phase Space. Princeton Univ. Press, Princeton (1989)
Galperin, Y.V., Samarah, S.: Time-frequency analysis on modulation spaces \(M^{p, q}_m, 0<p, q\le \infty \). Appl. Comput. Harmon. Anal. 16(1), 1–18 (2004)
Dias, N.C., de Gosson, M., Prata, J.N.: Metaplectic formulation of the Wigner transform and applications. Rev. Mat. Phys. 25(10), 1343010 (2013)
de Gosson, M.: Symplectic Methods in Harmonic Analysis and in Mathematical Physics. Birkhäuser (2011)
de Gosson, M.: Quantum Harmonic Analysis: An Introduction. De Gruyter (2021)
Gröchenig, K.: Foundation of Time–Frequency Analysis. Birkhäuser, Boston (2001)
Gröchenig, K.: Time–frequency analysis of Sjöstrand’s class. Rev. Mat. Iberoamer. 22(2), 703–724 (2006)
Gröchenig, K., Rzeszotnik, Z.: Banach algebras of pseudodifferential operators and their almost diagonalization. Ann. Inst. Four. 58(7), 2279–2314 (2008)
Guo, W., Chen, J., Fan, D., Zhao, G.: Characterizations of some properties on weighted modulation and Wiener amalgam spaces. Michigan Math. J. 68(3), 451–482 (2019)
Hassell, A., Wunsch, J.: The Schrödinger propagator for scattering metrics. Ann. Math. 162(1), 487–523 (2005)
Hörmander, L.: Quadratic hyperbolic operators, Microlocal analysis and applications (Montecatini Terme, 1989), Lecture Notes in Math., (1495), pp. 118–160, Springer, Berlin, 199
Ito, K.: Propagation of singularities for Schrödinger equation on the Euclidean space with a scattering metric. Comm. Part. Differ. Equ. 31(10–12), 1735–1777 (2006)
Ito, K., Nakamura, S.: Singularities of solutions to Schrödinger equation on scattering manifold. Amer. J. Math. 131(6), 1835–1865 (2009)
Kato, K., Kobayashi, M., Ito, S.: Representation of Schrödinger operator of a free particle via short-time Fourier transform and its applications. Tohoku. Math. J. 64, 223–231 (2012)
Martinez, A., Nakamura, S., Sordoni, V.: Analytic wave front set for solutions to Schrödinger equations. Adv. Math. 222(4), 1277–1307 (2009)
Nakamura, S.: Propagation of the homogeneous wave front set for Schrödinger equations. Duke Math. J. 126(2), 349–367 (2005)
Nicola, F., Rodino, L.: Propagation of Gabor singularities for semilinear Schrödinger equations. NoDEA Nonlinear Diff. Equ. Appl. 22(6), 1715–1732 (2015)
Robbiano, L., Zuily, C.: Microlocal analytic smoothing effect for the Schrödinger equation. Duke Math. J. 100, 93–129 (1999)
Tzon-Tzer, L., Sheng-Hua, S.: Inverses of \(2\times 2\) block matrices. Comput. Math. Appl. 43, 119–129 (2002)
Moyal, J.E., Bartlett, M.S.: Quantum mechanics as a statistical theory Math. Proc. Cambridge Philos. Soc. 45(1), 99–124 (1949)
Pravda-Starov, K., Rodino, L., Wahlberg, P.: Propagation of Gabor singularities for Schrödinger equations with quadratic Hamiltonians. Math. Nachr. 291(1), 128–159 (2018)
Pravda-Starov, K.: Generalized Mehler formula for time-dependent non-selfadjoint quadratic operators and propagation of singularities. Math. Ann. 372(3–4), 1335–1382 (2018)
Shubin, M.A.: Pseudodifferential Operators and Spectral Theory. Springer Series in Soviet Mathematics. Springer-Verlag, Berlin (1987)
Sjöstrand, J.: An algebra of pseudodifferential operators. Math. Res. Lett. 1, 185–192 (1994)
Reed, M., Simon, B.: Methods of modern mathematical physics. II. Fourier analysis, self-adjointness. Academic Press[Harcourt Brace Jovanovich Publishers], New York (1975)
Toft, J.: Continuity properties for modulation spaces, with applications to pseudo-differential calculus. II. Ann. Global Anal. Geom. 26(1), 73–106 (2004)
Toft, J.: Continuity and compactness for pseudo-differential operators with symbols in quasi-Banach spaces or Hörmander classes. Anal. Appl. (Singap.) 15(3), 353–389 (2017)
Wahlberg, P.: Propagation of polynomial phase space singularities for Schrödinger equations with quadratic Hamiltonians. Math. Scand. 122(1), 107–140 (2018)
Wigner, E.: On the Quantum Correction For Thermodynamic Equilibrium. Phys. Rev. 40(5), 749–759 (1932)
Wunsch, J.: Propagation of singularities and growth for Schrödinger operators. Duke Math. J. 98(1), 137–186 (1999)
Acknowledgements
The authors have been supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).
Funding
Open access funding provided by Università degli Studi di Torino within the CRUI-CARE Agreement.
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.
Appendix. Comparison with the Hörmander Wave Front Set
Appendix. Comparison with the Hörmander Wave Front Set
Corollary 7.8 is similar to other results in the literature, concerning propagation of micro-singularities for the Schrödinger equation, cf. [6, 8,9,10,11, 13, 16, 27, 29, 30, 32,33,34,35, 38, 39, 45, 47]. They mainly concern the global wave front set \({\mathcal {W}}{\mathcal {F}}_G (f)\) of Hörmander [28]. It is interesting to compare the different microlocal contents of \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\) and \({\mathcal {W}}{\mathcal {F}}_G (f)\). We recall the definition of \({\mathcal {W}}{\mathcal {F}}_G (f)\), following the notation and the equivalent time–frequency setting in [13].
Definition 8.1
Consider \(f\in L^2(\mathbb {R}^d)\) and \(z_0\in {\mathbb {R}^{2d}}\setminus \{0\}\). We say that \(z_0\notin {\mathcal {W}}{\mathcal {F}}_G (f)\) if there exists a conic neighbourhood \(\Gamma _{z_0}\subset {\mathbb {R}^{2d}}\) of \(z_0\) such that for every integer \(N\ge 0\)
where we fix \(g\in {\mathcal {S}}(\mathbb {R}^d)\setminus \{0\}\) in the definition of the STFT \(V_gf\).
For \(f\in {\mathcal {S}}'(\mathbb {R}^d)\), \(g\in {\mathcal {S}}(\mathbb {R}^d)\) the STFT in (102) is a continuous function on \(\mathbb {R}^d\), see for example Corollary 1.2.19 in [13], hence Definition 8.1 extends to \(f\in {\mathcal {S}}'(\mathbb {R}^d)\). Though, for \(f\in {\mathcal {S}}'(\mathbb {R}^d)\) the \({\mathcal {A}}\)-Wigner transform is defined only as a distribution in \({\mathcal {S}}'({\mathbb {R}^{2d}})\) and a preliminary smoothing of \(W_{\mathcal {A}}(f)\) would be needed to adapt Definition 7.5 of \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\). For simplicity, we shall remain here in the \(L^2\) framework. As before, we assume \({\mathcal {A}}\in Sp(2d,\mathbb {R})\) covariant and shift-invertible, then:
Theorem 8.2
For all \(f\in L^2(\mathbb {R}^d)\) we have
The proof requires the following preliminary issue.
Lemma 8.1
Fix \(g\in {\mathcal {S}}(\mathbb {R}^d)\setminus \{0\}\) and consider \({\mathcal {A}}\in Sp(2d,\mathbb {R})\) covariant and shift-invertible. There exists \(\Psi _{\mathcal {A}}\in {\mathcal {S}}({\mathbb {R}^{2d}})\), depending on \({\mathcal {A}}\) and g such that for every \(f\in L^2(\mathbb {R}^d)\)
Proof
We start with the well-known identity
where \({\mathcal {I}}W g(z)=Wg(-z)\), see for example (156) in [14]. If \({\mathcal {A}}\) is covariant, we have from (67)
with \(\sigma _{\mathcal {A}}\) given by (68) \(\sigma _{\mathcal {A}}(z)={\mathcal {F}}^{-1} (e^{-\pi i \zeta \cdot B_{\mathcal {A}}\zeta })\). If we define
we then have, for all \(h\in L^2({\mathbb {R}^{2d}})\),
hence from (105)
with \(\Psi _{\mathcal {A}}= {\mathcal {I}}Wg*\tau _{\mathcal {A}}\).
To prove that \(\Psi _{\mathcal {A}}\in {\mathcal {S}}({\mathbb {R}^{2d}})\), we observe \({\mathcal {I}}W g\in {\mathcal {S}}({\mathbb {R}^{2d}})\), in view of the regularity property of the Wigner distribution, and \(\tau *: {\mathcal {S}}({\mathbb {R}^{2d}})\rightarrow {\mathcal {S}}({\mathbb {R}^{2d}})\), since for every \(h\in {\mathcal {S}}({\mathbb {R}^{2d}})\) we have
This concludes the proof. \(\square \)
Proof of Theorem 8.2
The pattern is similar to the the proof of Theorem 5.5 in [14], after replacing Lemma 5.4 in [14] with our present Lemma 8.1. \(\square \)
Corollary 8.3
Let \({\mathcal {A}}\in Sp(2d,\mathbb {R})\) as before and \(f\in L^2(\mathbb {R}^d)\). We have \(f\in {\mathcal {S}}(\mathbb {R}^d)\) if and only if \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f) =\emptyset \).
Proof
If \(f\in {\mathcal {S}}(\mathbb {R}^d)\), then \(W_{\mathcal {A}}(f)\in {\mathcal {S}}({\mathbb {R}^{2d}})\) in view of Proposition 3.1 (ii). The estimates in Definition 7.5 are obviously satisfied for any \(z_0\in {\mathbb {R}^{2d}}{\setminus }\{0\}\), hence \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f) =\emptyset \). In the opposite direction, assume \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f) =\emptyset \). Theorem 8.2 yields \({\mathcal {W}}{\mathcal {F}}_G(f)=\emptyset \) and this implies \(f\in {\mathcal {S}}({\mathbb {R}^{2d}})\), cf. [13]. Alternatively, one can follow the pattern of Theorem 5.4 in [14], using again Lemma 8.1. \(\square \)
Comparing now \({\mathcal {W}}{\mathcal {F}}_G(f)\) and \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\), we first observe that the definition of \({\mathcal {W}}{\mathcal {F}}_G(f)\) can be extended to \(f\in {\mathcal {S}}'(\mathbb {R}^d)\), cf. [13], whereas Definition 7.5 refers to \(f\in L^2(\mathbb {R}^d)\). With some more technicalities the definition of \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\) can be extended to \(f\in {\mathcal {S}}'(\mathbb {R}^d)\) as well. The substantial difference between \({\mathcal {W}}{\mathcal {F}}_G(f)\) and \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\) is that the inclusion in (103) is strict in general, since \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\) includes a ghost part depending on \({\mathcal {A}}\), as already observed in [14].
To better understand this issue, we will use the Shubin class of symbols \(H^m\), \(m\in \mathbb {R}\), defined by the estimates
Further, assume \(a\in H^m_{cl}\), that is a(z) has the homogeneous principal part \(a_m(z)\):
such that, cutting off \(a_m(z)\) for small |z|, we have for some \(\epsilon >0\), \(a-a_m\in H^{m-\epsilon }\).
Define the characteristic manifold
Theorem 8.4
Assume that \(a\in H^m_{cl}\) is globally elliptic, i.e. \(\Sigma =\emptyset \). Then for all \(f\in L^2(\mathbb {R}^d)\),
Proof
The inclusion \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(Op_w(a)f) \subset {\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\) follows from the easy variant of Theorem for the class \(H^m\). To obtain the opposite inclusion under the assumption of global ellipticity, we construct as in [40] a parametrix of \(Op_w(a)\). Namely, there exists a \(b\in H^{-m}_{cl}\) such that
where I is the identity operator and the symbol r is in \({\mathcal {S}}({\mathbb {R}^{2d}})\), hence \(Op_w(r): {\mathcal {S}}'(\mathbb {R}^d)\rightarrow {\mathcal {S}}(\mathbb {R}^d)\) is a regularizing operator. Therefore,
with \(Op_w(r)f\in {\mathcal {S}}(\mathbb {R}^d)\). Invoking Theorem
This completes the proof. \(\square \)
Theorem 8.4 shows a similarity of \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(f)\) with \({\mathcal {W}}{\mathcal {F}}_G(f)\). Though, in the non-elliptic case the classical microlocal inclusion
fails for \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(u)\). Consider for simplicity the case \(v=Op_w(a)u\in {\mathcal {S}}(\mathbb {R}^d)\), so that for the solutions of \(Op_w(a)u=v\) we have
and test the same inclusion for \({\mathcal {W}}{\mathcal {F}}_{\mathcal {A}}(u)\), \(u\in L^2(\mathbb {R}^d)\), as follows. For simplicity, we will consider only the Wigner wave front \({\mathcal {W}}{\mathcal {F}}(u)\) and consider in dimension \(d=1\) the operator
where the homogeneous principal part of \(a\in H^4_{cl}\) is given by
so that \(\Sigma \) is the union of the x and \(\xi \) axes
We now address to the example at the end of [14], where \(f,g\in L^2(\mathbb {R}^d)\) are defined such that
with \(f'\in {\mathcal {S}}(\mathbb {R})\), \(h\in {\mathcal {S}}(\mathbb {R})\) and
By using (110), (111), a simple calculation shows that \(Pf\in {\mathcal {S}}(\mathbb {R}), Pg\in {\mathcal {S}}(\mathbb {R})\) and therefore for \(u=f+g\) we have \(Pu\in {\mathcal {S}}(\mathbb {R})\). Then for \(\Sigma \) as in (109) we obtain \({\mathcal {W}}{\mathcal {F}}_G u=\Sigma \) as expected from (108). Instead, the non-linearity of the Wigner transform (see [14]) gives
To sum up, the appearance of ghost frequencies in the Wigner wave front is natural in Quantum Mechanics, but it contradicts Hörmander’s result for micro-ellipticity.
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
Cordero, E., Giacchi, G. & Rodino, L. Wigner Analysis of Operators. Part II: Schrödinger Equations. Commun. Math. Phys. 405, 156 (2024). https://doi.org/10.1007/s00220-024-04992-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00220-024-04992-x