Abstract
Metamorphism is a recently introduced integral transform, which is useful in solving partial differential equations. Basic properties of metamorphism can be verified by direct calculations. In this paper, we present metamorphism as a sort of covariant transform and derive its most important features in this way. Our main result is a characterisation of metamorphism’s image space. Reading this paper does not require advanced knowledge of group representations or theory of covariant transform.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Metamorphism is the integral transform \(f(u) \mapsto \tilde{\tilde{ f}}(x,y,b,r)\) defined by [1, 2]
Particular values of \(\tilde{\tilde{ f}}(x,y,b,r)\) encompass many important integral transforms of \(f(u)\), for example:
-
\(\tilde{\tilde{ f}}(x,0,0,0)\) is the Fourier transform.
-
\(\tilde{\tilde{ f}}(0,y,0,r)\) is the Gauss–Weierstrass(–Hille) transform [3].
-
\(\tilde{\tilde{ f}}(x,y,0,1)\) is the Fock–Segal–Bargmann (FSB) transform [4, S 1.6].
-
\(\tilde{\tilde{ f}}(x,y,0,r)\) is the Fourier–Bros–Iagolnitzer (FBI) transform [4, S 3.3].
-
\(\tilde{\tilde{ f}}(x,y,b,1)\) was used in [5, 6] to treat the Schrödinger equation.
-
\(\tilde{\tilde{ f}}(0,0,b,r)\) is a sort of wavelet transform for the affine group [7, Ch. 12]. Metamorphism is a variant of quadratic Fourier (or Fresnel–Fourier [42], or integral Gauss [43], or linear canonical [44], etc.) transform.
However, the metamorphism is more than just a formal recombination of classical transforms. For example, it can be used as a sort of transmutation [8, 9] to reduce the order of a differential equations [1]: e.g., a second-order differential equation can be transformed to a first order admitting a straightforward solution and transparent geometrical structure [5, 6].
Basic properties of the metamorphism can be verified by direct calculations—the path which was intentionally chosen to reduce the amount of prerequisites in the introductory paper [1]. Yet, a genuine origin of metamorphism is a covariant transform related to the Schrödinger–Jacobi group [4, 10] as was already presented in the Jupyter notebooks [2] with respective symbolic computations.
This paper systematically utilises the group theory and covariant transform technique to reinstall the metamorphism transform from a scratch. Furthermore, some sister integral transforms are appearing as well. The paper can be seen as a readable narrative to a Jupyter notebook [2], which will be frequently referred here to replace some boring calculations. Our main result is a characterisation of the metamorphism image space in Thm. 5.5.
We made this paper as accessible as possible. Its reading does not require an advanced knowledge of group representations and the theory of covariant transform. We provide most of required information with further references to more detailed presentations if needed.
In Sect. 2, we introduce several groups: the Heisenberg, \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\), affine, Schrödinger, and finally our main object—the group SSR. Essential relations between those groups are presented as well. We describe some (not all) induced representations of the group SSR in Sect. 3. The corresponding covariant transform and its properties are described in Sect. 4. Finally, we connect a selection of a fiducial vector with the properties of the image space of covariant transform in Sect. 5. In particular, the metamorphism is defined as the covariant transform with a remarkable fiducial vector—the Gaussian. Covariant transforms with some other mentioned fiducial vectors are still awaiting their investigation.
2 Heisenberg, \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\), affine, Schrödinger, and SSR groups
We start from a brief account of groups involved in the consideration. An element of the one-dimensional Heisenberg group \(\mathbb {H}\) [4, 11, 12] will be denoted by \(( s, x, y)\in \mathbb {R}^{3}_{}{} \). The group law on \(\mathbb {H}\) is defined as follows:
where
is the symplectic form [13, Sect. 41] on \(\mathbb {R}^{2}_{}{} \). The identity element in \(\mathbb {H}^{}_{}{} \) is \(( 0, 0, 0)\), and the inverse of \(( s, x, y)\) is \(( -s, -x, -y)\).
There is an alternative form of \(\mathbb {H}^{}_{}{} \) called the polarised Heisenberg group \(\mathbb {H}^{}_{p}{} \) with the group law [4, Sect. 1.2] [14]
and the group isomorphism \(\theta : \mathbb {H}^{}_{}{} \rightarrow \mathbb {H}^{}_{p}{} \) given by
The special linear group \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\) is the group of \(2\times 2\) matrices with real entries and the unit determinant [15, 16]. The group law on \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\) coincides with the matrix multiplication. A matrix \(A\in \textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\) acts on vectors in \(\mathbb {R}^{2}_{}{} \) by a symplectomorphism, i.e., an automorphisms of the symplectic form \(\omega \) (2)
Therefore, the transformation \(\theta _{A}: \mathbb {H}^{}_{}{} \rightarrow \mathbb {H}^{}_{}{} \)
is an automorphism of \(\mathbb {H}^{}_{}{} \) [4, Sect. 1.2]. The corresponding polarised automorphism \(\theta _{A}^{p} = \Theta \circ \theta _A \circ \Theta ^{-1}: \mathbb {H}^{}_{p}{} \rightarrow \mathbb {H}^{}_{p}{} \) is
where \(A=\begin{pmatrix} a&{}b\\ c&{}d \end{pmatrix}\).
Upper triangular matrices in \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\) with positive diagonal entries form a subgroup \(\mathbb {A}^{}_{}{} \). We parameterise it by pairs \((b, r) \in \mathbb {R}^{2}_{+}{} \) with \(b\in \mathbb {R}^{}_{}{} \) and \(r>0\) as follows:
The subgroup is isomorphic to the affine group of the real line also known as the \(ax+b\) group [17].
For a group acting by automorphism on another group, we can define their semi-direct product. The model case is the affine group itself, where dilations act as automorphisms of shifts. Formally, let \(G\) and \(H\) be two groups and assume \(\theta : H\rightarrow Aut(G)\), where \(\theta _h\) is an automorphism of \(G\) corresponding to \(h\in H\). The semi-direct product of \(G\) by \(H\) denoted by \(G\rtimes H\) is the Cartesian product of \(G\times H\) with the group law
where \(( g_{1}, h_{1}),\, ( g_{2}, h_{2})\in G \times H\).
The semi-direct product of the Heisenberg group and \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\) is called Schrödinger group \(\mathbb {S}\), which is the group of symmetries of the Schrödinger equation [18, 19] and parabolic equations [20] with applications in optics [21, 22]. In the context of number theory, it is also known as the Jacobi group [10].
Our main object here is the group \(\mathbb {G}^{}_{}{} :=\mathbb {H}^{}_{p}{} \rtimes \mathbb {A}^{}_{}{} \), which is the semi-direct product of the Heisenberg group \(\mathbb {H}^{}_{p}{} \) and the affine group \(\mathbb {A}^{}_{}{} \) (3) acting by symplectic automorphism of \(\mathbb {H}^{}_{p}{} \). Thus, \(\mathbb {G}^{}_{}{} \) is a subgroup of the Schrödinger group. It can be also called shear–squeeze–rotation (SSR) group [2] by three types of transformations of Gaussian coherent states. A subgroup of \(\mathbb {G}^{}_{}{} \) without squeeze (i.e., \(r=1\) in (3)) is called the shear group and it was used in a similar context in [5, 6]. This nilpotent step 3 group is also known as the Engel group [23].
Let \(( s, x, y, b, r)\in \mathbb {G}^{}_{}{} \) where \( ( s, x, y) \in \mathbb {H}^{}_{p}{} \) and \(( b, r) \in \mathbb {A}\). Explicitly, the group law (4) on \(\mathbb {G}^{}_{}{} \) is [2]
There is a convenient matrix realisation of \(\mathbb {G}^{}_{}{} \) [2]
The corresponding solvable Lie algebra \(\mathfrak {g}\) has a basis \(\{ S, X, Y, B, R\}\), with the following non-vanishing commutators:
Clearly, the group \(\mathbb {G}^{}_{}{} \) is non-commutative.
3 Induced representations from the group \(\mathbb {G}^{}_{}{} \)
In this section, we construct several induced representations of the group \(\mathbb {G}^{}_{}{} \), which are required for our study. First, we recall the general scheme of induced representations. For simplicity, only inductions from characters of subgroups are considered and it is sufficient for our present purposes. For further details and applications of induced representations, see [7, 24,25,26,27].
3.1 Induced representation from a subgroup character
Let \(G\) be a group and \(H\) be a subgroup of \(G\). The space \(X= G /H\) of the left cosets \(gH\) of the subgroup \(H\) is given by the equivalence relation: \( g\sim g'\) if there exists \( h\in H\), such that \(g = g' h\). We define the natural projection \( {\textbf{p}}: G \rightarrow X\), such that \( {\textbf{p}}(g)= g H\).
Let us fix a section \({\textbf{s}}: X\rightarrow G\), such that \({\textbf{p}} \circ {\textbf{s}}= I\), where \(I\) is the identity map on \(X\). An associated map \({\textbf{r}}: G\rightarrow H\) by
provides the unique decomposition of the form [28, Sect. 13.2]
Thus, \(X\) is a left homogeneous space with the \(G\) action as follows:
where \( * \) is the multiplication of \(G\) and \(\cdot \) is the action of \(G\) on \(X\) from the left.
Suppose \(\chi : H\rightarrow \mathbb {T}^{}_{}{} \) be a character of the subgroup \(H\). Let \(\textsf{L}_{2}^{\chi }{}( G)\) be a Hilbert space of functions on \(G\) with a \(G\)-invariant inner product and the \(H\)-covariance property [29]
The space \(\textsf{L}_{2}^{\chi }{}( G)\) is invariant under the left regular representation by \(G\)-shifts
The restriction of \( \Lambda \) to the space \(\textsf{L}_{2}^{\chi }{}( G)\) is called the induced representation from the character \(\chi \).
An equivalent form of the induced representation can be constructed as follows [28, 29]. We define a lifting \( \mathcal {L}^{\chi }: \textsf{L}_{2}^{}{}(X) \rightarrow \textsf{L}_{2}^{\chi }{}(G) \) as the map
The pulling \({\mathcal {P}}: \textsf{L}_{2}^{}{} ^{\chi }(G)\rightarrow \textsf{L}_{2}^{}{}( X)\) given by
Clearly, \({\mathcal {P}} \circ \mathcal {L}^{\chi } = I\) on \(\textsf{L}_{2}^{}{}(X)\). From (10), (11), the induced representation \( \rho : \textsf{L}_{2}^{}{}( X) \rightarrow \textsf{L}_{2}^{}{}( X)\) is defined by the formula
where \(\Lambda ( g)\) is the left regular representation (9). The representation \(\rho _{\chi }\) explicitly is
where \(g\in G\) and \(x\in X\) and \(g^{-1}\cdot x\) is defined by (7). For a \(G\)-invariant measure \(\mu \) on \(X\) the representation, (12) is unitary on the space \(\textsf{L}_{2}^{}{}(X,\mu )\)
3.2 Derived representations
In this subsection, \(G\) is a Lie group with the corresponding Lie algebra \(\mathfrak {g}\). Let \(\rho \) be a representation of \(G\) in a Hilbert space \({\mathcal {H}}\), and the derived representation of \(X\in \mathfrak {g}\) denoted as \(\textrm{d}\rho ^{X}\) is given by
where the vector \(\phi \in {\mathcal {H}}\) is such that the vector function \(g \rightarrow \rho (g) \phi \) is infinitely-differentiable for any \(g \in G\). These vectors are called smooth and constitute a linear subspace, denoted \({\mathcal {D}}^{\infty }\), of \({\mathcal {H}}\) which is dense in \({\mathcal {H}}\). It is easy to show that \({\mathcal {D}}^{\infty }\) is invariant under \(\rho (g)\) [15, S 6.1]. If \({\mathcal {H}}\) is \(\textsf{L}_{2}^{}{}(\mathbb {R}^{n}_{}{} )\), then the space \(D^{\infty }\) contains the Schwartz space, which is a dense subspace of \(\textsf{L}_{2}^{}{}(\mathbb {R}^{n}_{}{} )\).
Also, we define the Lie derivative \({\mathcal {L}}^{X}\) for \(X \in \mathfrak {g}\) as the derived right regular representation [15, S 6.1], that is
for any differentiable function \(F\) on \(G\).
3.3 Left regular representation of group \(\mathbb {G}^{}_{}{} \)
The left and right invariant Haar measures of the group \(\mathbb {G}^{}_{}{} \) are given by
Thus, the group \(\mathbb {G}^{}_{}{} \) is non-unimodular with the modular function \(\Delta (s, x, y, b, r)=\textstyle \frac{1}{r^{2}}\).
We extend the action (9) of \(\mathbb {G}^{}_{}{} \) on itself by left shifts to the left regular unitary representation on the linear space of functions \(\textsf{L}_{2}^{}{}(\mathbb {G}^{}_{}{} ,d_l)\):
where \(( s, x, y, b, r)\), \(( s', x', y', b', r') \in \mathbb {G}^{}_{}{} \).
This representation is reducible, i.e., there are \(\Lambda \)-invariant proper subspaces in \(\textsf{L}_{2}^{}{}(\mathbb {G}^{}_{}{} ,d_l)\). In particular, many types of induced representations of \(\mathbb {G}^{}_{}{} \) are realised as restrictions of the left regular representations (15) to some subspaces with a covariance property (8). We describe here two of them—called the quasi-regular type representation and the Schrödinger type representation—together with equivalent forms on the respective homogeneous spaces.
3.4 Quasi-regular representation of the group \(\mathbb {G}^{}_{}{} \)
Let
be the centre of the group \(\mathbb {G}^{}_{}{} \). The space of left cosets \(X= \mathbb {G}^{}_{}{} /Z\) can be parametrised by
Consider the natural projection and the section maps
We calculate the respective map \( {\textbf{r}}\) (6) as follows:
Let \(\chi _{\hbar }: Z\rightarrow \mathbb {T}^{}_{}{} \) be an unitary character of \(Z\):
defined by a parameter \( \hbar \in \mathbb {R}^{}_{}{} \). In quantum mechanical framework, \(\hbar \) is naturally associated with the Planck constant [4, 27, 29, 30]. The corresponding induced representation \({\tilde{\rho }}: \textsf{L}_{2}^{}{}(\mathbb {R}^{4}_{+}{} )\rightarrow \textsf{L}_{2}^{}{}(\mathbb {R}^{4}_{+}{} )\) is [2]
It is called the quasi-regular type representation on \(\textsf{L}_{2}^{}{}(\mathbb {R}^{4}_{+}{} )\). One can check that \({\tilde{\rho }}\) is unitary and we will discuss its reducibility below.
3.5 Schrödinger type representation of the group \(\mathbb {G}^{}_{}{} \)
Let
be a subgroup of \(\mathbb {G}^{}_{}{} \), which is a semi-direct product of a maximal abelian subgroup of \(\mathbb {H}^{}_{}{} \) and the affine group \(\mathbb {A}^{}_{}{} \). The space of the left cosets \( \mathbb {G}^{}_{}{} /H_{1}\) is parameterized by \(\mathbb {R}^{}_{}{} \). We define the natural projection \({\textbf{p}}: \mathbb {G}^{}_{}{} \rightarrow \mathbb {R}^{}_{}{} \) and a section map \({\textbf{s}}: \mathbb {R}^{}_{}{} \rightarrow \mathbb {G}^{}_{}{} \) by
The respective map \( {\textbf{r}}\) (6) is
Let \({\chi }_{\hbar \lambda }: H_{1} \rightarrow \mathbb {T}^{}_{}{} \) be a character \(H_{1}\)
where \(\hbar \in \mathbb {R}^{}_{}{} \), \(\lambda \in i{\mathbb {R}^{}_{}{} }\). For simplicity, we will consider here the case of \(\lambda =0\) only. The induced representation on \( \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\) is [2]
Remark 3.1
The structure of this representation can be illuminated through its restrictions to the following subgroups:
-
The affine group \(\mathbb {A}\), i.e., the substitution \(s=x=y=0\). The restriction is the co-adjoint representation of the affine group [24, Sect. 6.7.1] [17]
$$\begin{aligned}{}[\rho ( 0, 0, 0, b, r)f]( u)= \sqrt{r}\, \textrm{e}^{ \pi \textrm{i}\hbar \, b\, { u}^{2} } \, f( r\, u). \end{aligned}$$Through the Fourier transform, it is unitary equivalent to the quasi-regular representation of the affine group, which is the keystone of the wavelet theory and numerous results in complex and harmonic analysis [17].
-
The Heisenberg group, that is \(r=1\) and \(b=0\). The restriction is the celebrated Schrödinger representation [4, 29]
$$\begin{aligned}{}[\rho ( s, x, y, 0, 1)f]( u)=\textrm{e}^{ 2\pi \textrm{i}\hbar ( s + x( u - y)) } \, f(u - y), \end{aligned}$$which plays the crucial rôle in quantum theory.
-
The third subgroup is the Gabor group with \(b=0\). The representation is
$$\begin{aligned}{}[\rho ( s, x, y, r, 0)f]( u)= \textrm{e}^{ 2\pi \textrm{i}\hbar ( s + x( u - y))} r^{ \frac{1}{2} }\, f( r \,(u - y)). \end{aligned}$$It is involved in Gabor analysis and Fourier–Bros–Iagolnitzer (FBI) transform [4, S 3.3].
-
Finally, the shear group corresponding to \(r=1\). The restriction is
$$\begin{aligned}{}[\rho ( s, x, y, 1, b)f]( u)= \textrm{e}^{ 2\pi \textrm{i}\hbar ( s + x( u - y) - b {( u - y)}^{2}/2)} f(u - y), \end{aligned}$$It was employed in [5, 6] to reduce certain quantum Hamiltonians to the first-order differential operators.
In view of the mentioned connections, we call representation (18) as Schrödinger type representation. It is irreducible, since its restriction to the Heisenberg group coincides with the irreducible Schrödinger representation [4, 29].
The derived representation (13) of the Schrödinger type representation (18) is
It is easy to check that the above sets of operators (19) represents commutators (5) of the Lie algebra \(\mathfrak {g}\) of the group \(\mathbb {G}^{}_{}{} \).
4 Covariant transform
The covariant transform plays a significant rôle in various fields of mathematics and its applications [4, 7, 17, 29, 31,32,33]. We present here some fundamental properties of the covariant transform which have implications for the metamorphism transform.
4.1 Induced covariant transform
Let \(G\) be a group and let \(\rho \) be a unitary irreducible representation of the group \(G\) in a Hilbert space \({\mathcal {H}}\). For a fixed unit vector \(\phi \in {\mathcal {H}}\), called here a fiducial vector (aka vacuum vector, ground state, mother wavelet, etc.), the covariant transform \(\mathcal {W}_{\phi }: {\mathcal {H}}\rightarrow \textsf{L}_{}^{}{}(G)\) is [7, Sect. 8.1], [31, 32]
Here, \(\textsf{L}_{}^{}{}(G)\) is a certain linear space of functions on \(G\) usually linked to some additional conditions. The common focus is on \(\textsf{L}_{}^{}{}(G)=\textsf{L}_{2}^{}{}(G, \textrm{d}\mu )\)—the square integrable functions with respect to a Haar measure \(\textrm{d}\mu \), for this, we need a square-integrable representation \(\rho \) and an admissible fiducial vector \(\phi \) [7, Ch. 8]. However, many topics in analysis prompt to study other situations, e.g., related to Hardy-type invariant functionals [17, 34], Gelfand triples [35], Banach spaces [36], etc.
The main property of (20) is that \({\mathcal {W}_{\phi }}\) intertwines the representation \(\rho \) on \({\mathcal {H}}\) and the left regular action \(\Lambda \) (9) on \(G\)
A representation \(\rho \) is square-integrable if, for some \(\phi \in {\mathcal {H}}\), the map \(\mathcal {W}_{\phi }: {\mathcal {H}} \rightarrow \textsf{L}_{2}^{}{}(G, dg)\) is unitary for a left Haar measure \(dg\) on \(G\). Some representations are not square-integrable, but can still be treated by the following modification of covariant transform by Perelomov [31]. Let \(H\) be a closed subgroup of the group \(G\) and the corresponding homogeneous space is \(X= G/H\). Let, for some character \(\chi \) of \(H\), a fiducial vector \(\phi \in {\mathcal {H}}\) is a joint eigenvector
Then, the respective covariant transform satisfies the covariant property, cf. (8)
Thus, the image space of \(\mathcal {W}_{\phi }\) belongs to the induced representation by the character \(\chi \) of the subgroup \(H\). This prompts to adopt the covariant transform to the space of function on the homogeneous space \(X=G/H\). To this end, let us fix a section \({\textbf{s}}: X \rightarrow G\) and a fiducial vector \(\phi \in {\mathcal {H}}\) satisfying (22). The induced covariant transform from the Hilbert space \({\mathcal {H}}\) to a space of functions \(\textsf{L}_{\phi }^{}{}(X)\) is
Then, the induced covariant transform intertwines \(\rho \) and \({\tilde{\rho }}\)—an induced representation from the character \(\chi \) of the subgroup \(H\), cf. (21)
In particular, the image space \(\textsf{L}_{\phi }^{}{}( G/H)\) of the induced covariant transform is invariant under \({\tilde{\rho }}\). Induced covariant transforms for the Heisenberg group [27] and the affine group [17] are the most familiar examples.
4.2 Induced covariant transform of the group \(\mathbb {G}^{}_{}{} \)
On the same way as above, we can calculate the induced covariant transform of \(\mathbb {G}^{}_{}{} \). Consider the subgroup \(Z\) of \(\mathbb {G}^{}_{}{} \), which is \(Z= \{( s, 0, 0, 0, 1), s\in \mathbb {R}^{}_{}{} \}\). For the Schrödinger type representation (18), any function \(\phi \in \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\) satisfies the eigenvector condition \(\rho ( s, 0, 0, 0, 1) \phi = \textrm{e}^{2 \pi \textrm{i}\hbar s} \phi \) with the character \(\chi ( s, 0, 0, 0, 1)= \textrm{e}^{-2 \pi \textrm{i}\hbar s}\), cf. (22). Thus, the respective homogeneous space is \(\mathbb {G}^{}_{}{} /Z \simeq \mathbb {R}^{4}_{+}{} \) and we take the above section \({\textbf{s}}: \mathbb {G}^{}_{}{} /Z \rightarrow \mathbb {G}^{}_{}{} : \ {\textbf{s}}( x, y, b, r)= ( 0, x, y, b, r)\) (16). Then, the induced covariant transform is
From (23), \(\mathcal {W}_{\phi }\) intertwines the Schrödinger type representation (18) with quasi-regular (17).
The last integral in (24) is a composition of five unitary operators \(\textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} )\rightarrow \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} ) \) applied to a function \(F(y,u)=f(y)\overline{\phi }(u)\) in the space \(\textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\otimes \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} ) \simeq \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} )\):
-
1.
The unitary operator \(R: \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} ) \rightarrow \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} )\) based on the dilation
$$\begin{aligned} R: F( y, u)\rightarrow \sqrt{r}\, F( y, ru), \qquad \text { where } r > 0. \end{aligned}$$ -
2.
The change of variables \(T: \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} ) \rightarrow \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} )\)
$$\begin{aligned} T: F( y, u)\rightarrow F(u, u-y). \end{aligned}$$ -
3.
The operator of multiplication by an unimodular function \(\psi _{b}( x, y)= \textrm{e}^{\pi \textrm{i}\hbar b (u -y)^{2}}\)
$$\begin{aligned} M_{b}: F( y,u) \rightarrow \textrm{e}^{\pi \textrm{i}\hbar b (u -y)^{2}} \,F ( y, u), \qquad \text { where } b\in \mathbb {R}^{}_{}{} . \end{aligned}$$ -
4.
The partial Fourier transform \(u\rightarrow x\) in the second variable
$$\begin{aligned}{}[{\mathcal {F}}_{2} F]( y, x)= \int _{\mathbb {R}^{}_{}{} }{ F( y, u)\, \textrm{e}^{- 2 \pi \textrm{i}\hbar x u}\, \textrm{d}u}. \end{aligned}$$ -
5.
The multiplication \(M\) by the unimodular function \(\textrm{e}^{2 \pi \textrm{i}\hbar x y}\).
Thus, we can write \(\mathcal {W}_{\phi }\) as
and obtain
Proposition 4.1
For a fixed \(r_{0}\in \mathbb {R}^{}_{+}{} \) and \(b_{0}\in \mathbb {R}^{}_{}{} \), the map \(f \otimes \overline{\phi }\rightarrow [\mathcal {W}_{\phi } f](\cdot , \cdot , b_0, r_0)\) is a unitary operator from \(\textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\otimes \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\) onto \( \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} )\).
Also, the induced covariant transform preserves the Schwartz space, that is, if \(f, \phi \in {\mathcal {S}}(\mathbb {R}^{}_{}{} )\), then \(\mathcal {W}_{\phi }f ( \cdot , \cdot , b_0, r_0)\in {\mathcal {S}}(\mathbb {R}^{2}_{}{} )\). This is because the \({\mathcal {S}}(\mathbb {R}^{2}_{}{} )\) is invariant under the all five above components of \(\mathcal {W}_{\phi }f\) in (25).
Note that the induced covariant transform (24) does not define a square-integrable function on \(\mathbb {G}^{}_{}{} /Z\sim \mathbb {R}^{4}_{+}{} \). To discuss unitarity, we need to introduce a suitable inner product. In general, we can start from a probability measure \(\mu \) on \(\mathbb {R}^{2}_{+}{} \), that is \(\int _{\mathbb {R}^{2}_{+}{} } \,\textrm{d}\mu =1\). Then, we define the inner product
for \(f, g \in \textsf{L}_{\phi }^{}{}(\mathbb {R}^{4}_{+}{} )\). The factor \(\hbar \) in the measure \(\textstyle \frac{\hbar \, \textrm{d}x \, \textrm{d}y}{\sqrt{2 r_{0}}}\) makes it dimensionless; see discussion of this in [5, 30]. Important particular cases of probability measures parametrised by \((b_0, r_0)\in \mathbb {R}^{2}_{+}{} \) are
where \(\delta (t)\) is the Dirac delta. The respective inner products becomes
From now on, we consider \(\textsf{L}_{\phi }^{}{}(\mathbb {R}^{4}_{+}{} )\) as a Hilbert space with the inner product (26) or specifically (28). The respective norms are denoted by \(\Vert \cdot \Vert _{\mu }\) and \(\Vert \cdot \Vert _{(b_0, r_0)}\).
Using the above inner product, we can derive from Proposition 4.1 the following orthogonality relation:
Corollary 4.2
Let \(f, g, \phi , \psi \in \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\), then
for any probability measure \(\mu \), in particular (27) with fixed \((b_0, r_0)\in \mathbb {R}^{2}_{+}{} \).
Corollary 4.3
Let \(\phi \in \textsf{L}_{2}^{}{}( \mathbb {R}^{}_{}{} )\) have a unite norm. Then, the induced covariant transform \(\mathcal {W}_{\phi }\) is an isometry from \(\textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\) to \(\textsf{L}_{\phi }^{}{}( \mathbb {R}^{4}_{+}{} )\) and its inverse is given by the adjoint operator—contravariant transform
where \(F \in \textsf{L}_{\phi }^{}{}( \mathbb {R}^{4}_{+}{} )\). In particular
Proof
For \(f\in \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\), we have
which follows from isometry \( \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} ) \rightarrow \textsf{L}_{2}^{}{}(\mathbb {R}^{2}_{}{} )\) in Prop. 4.1. Then, verification of formulae (29)–(30) is a technical exercise. \(\square \)
A reader may note that (30) with \(\phi (u) = \root 4 \of {2} \textrm{e}^{-\pi \hbar \, u^{2}} \) is essentially the inverse Fock–Segal–Bargmann transform.
5 Image spaces of the covariant transforms
Clearly, not every function on \(\mathbb {R}^{4}_{+}{} \) is a covariant transform (24) of a function from \(\textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\). In this section, we discuss the image space of the covariant transform.
5.1 Right shifts and covariant transform
Let \(R(g)\) be the right regular representation of the group \(G\), which acts on the functions defined in the group \(G\) as follows:
In contrast to the intertwining property of the covariant transform for the left regular representation (21), the right shift satisfies the relation
That is, the covariant transform intertwines the right shift with the action of \(\rho \) on the fiducial vector \(\phi \). Therefore, we obtain the following result, which plays an important rôle in exploring the nature of the image space of the covariant transform.
Corollary 5.1
[37] Let \(G\) be a Lie group with a Lie algebra \(\mathfrak {g}\) and \(\rho \) be a representation of \(G\) in a Hilbert space \({\mathcal {H}}\). Let a fiducial vector \(\phi \) be a null solution, \(A\phi =0\), for the operator \(A= \sum _{j} a_{j}{d\rho }^{X_{j}}\), where \({d\rho }^{X_{j}}\) are the derived representation of some \(X_{j}\in \mathfrak {g}\) and \(a_{j}\) are constants. Then, for any \(f\in {\mathcal {H}}\), the wavelet transform \([W_{\phi }f](g)= \left\langle f, \rho (g)\phi \right\rangle \) satisfies
Here, \({\mathcal {L}}^{X_{j}}\) are the left invariant fields (Lie derivatives) (14) on \(G\) corresponding to \(X_{j}\).
Illustrative examples are the classical spaces of analytical functions: the Fock–Segal–Bargmann space and the Hardy space; see [33, 38] for details.
Remark 5.2
It is straightforward to extend the result of Cor. 5.1 from a linear combination of elements in the Lie algebra \(\mathfrak {g}\) to an arbitrary polynomial from the enveloping algebra of \(\mathfrak {g}\) or even to more general functions/distributions, cf. [33, Cor. 5.8].
5.2 Characterisation of the image space for the group \(\mathbb {G}^{}_{}{} \)
The above Cor. 5.1 can be used to construct covariant transforms with desired properties through purposely selected fiducial vectors. We are illustrating this for the group \(\mathbb {G}^{}_{}{} \). First, we need to compute the Lie derivatives (14) reduced to the representation space of the quasi-regular representation (17); see [2]
One can check that those Lie derivatives make a representation of the Lie algebra of the group \(\mathbb {G}^{}_{}{} \) [2].
Now, we are looking for a covariant transform \(\mathcal {W}_\phi : \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} ) \rightarrow \textsf{L}_{2}^{}{}(\mathbb {R}^{4}_{+}{} )\) with the image space annihilated by a generic linear combination of Lie derivatives (31). To this end, the fiducial vector \(\phi \) shall be a null solution of the following differential operator composed from the derived Schrödinger type representation (19):
where \(E_s\), \(E_x\), \(E_y\), \(E_b\) and \(E_r\) are arbitrary real coefficients. This equation has two different solutions depending on a value of \(E_r\). If \(E_r=0\) (which requires \(E_y\ne 0\) for non-trivial operator (32)), then a generic solution of (32) is [2]
where \(E_x< 0\) for square integrability of \(\phi _0\) and the constant \(C\) is determined from the normalisation condition \(\Vert \phi _0\Vert _2 = 1\). We have here a sort of Airy beam [39], which was employed in [6] in the context of the share group, i.e., the absence of \({d\rho }^R\) in (32).
For \(E_r\ne 0\), we find the generic solution in the form [2]:
Again, for \(\phi _1\in \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\), we need \(\frac{\hbar E_{b}}{E_{r}}>0\) and a proper normalising constant \(C\).
A detailed study of all arising covariant transforms is still awaiting further work. Here, we concentrate on some special aspects which appear in this extended group setting for the most traditional fiducial vector—the Gaussian. First, we note that it steams from both solutions (33) and (34):
-
For \(E_r=0\) letting \(E_s=E_b=0\), \(E_x=-1\), and \(E_y=1\) with \(C=\root 4 \of {2}\) in \(\phi _0\) (33) produces
$$\begin{aligned} \phi (u) = \root 4 \of {2} \textrm{e}^{-\pi \hbar \, u^{2}} \quad \text { with the identity } \quad {\textrm{d}\rho }^{ -X+ \textrm{i}Y}\, \phi = 0, \end{aligned}$$(35)i.e., \(\phi \) is annihilated by the Heisenberg group part of \(\mathbb {G}^{}_{}{} \).
-
For \(E_r=1\), substitution of \(E_s= \frac{1}{4 \pi \hbar }\), \(E_{x}=E_y=0\) and \(E_{b}=2\) with \(C=\root 4 \of {2}\) into the vacuum \(\phi _1\) \(\phi _1\) (34) again produces
$$\begin{aligned} \phi ( u)= \root 4 \of {2} \textrm{e}^{-\pi \hbar \, u^{2}} \quad \text { with the identity } \quad {\textrm{d}\rho }^{\textrm{i}/(4\pi \hbar ) S+ 2\textrm{i}B+ R}\, \phi = 0, \end{aligned}$$(36)i.e., \(\phi \) is also annihilated by the affine group part of \(\mathbb {G}^{}_{}{} \).
Let us introduce the covariant transform \(\mathcal {W}_\phi : \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} ) \rightarrow \textsf{L}_{2}^{}{}(\mathbb {R}^{4}_{+}{} )\) (24) with the fiducial vector \(\phi \) (35)–(36):
That is, we obtained a representation of the metamorphism (1) as a covariant transform: \( \tilde{\tilde{ f}} = \mathcal {W}_\phi f\). Now, the notation \(\tilde{\tilde{ f}}\) can be explained as the double covariant transform for the Heisenberg and the affine groups simultaneously. The image space \(\textsf{L}_{\phi }^{}{}(\mathbb {R}^{4}_{+}{} )\) of the metamorphism is a subspace of square-integrable functions on \(\textsf{L}_{2}^{}{}(\mathbb {R}^{4}_{+}{} , \Vert \cdot \Vert _{\mu })\), see (26).
Remark 5.3
Another feature of the Gaussian as a fiducial vector is that an extension of the group \(\mathbb {G}^{}_{}{} \) to the full Schrödinger group does not add a value. Indeed, the Iwasawa decomposition \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )=ANK\) [15, Sect. III.1] [16, Sect. 1.1] represents \(\textrm{SL}_{2}(\mathbb {R}^{}_{}{} )\) as the product of the affine subgroup \(AN\) and the compact subgroup \(K\). Yet, the Gaussian is invariant under the action of the phase-space rotations produced by \(K\). Thus, we get the same set of coherent states from the actions of the group \(\mathbb {G}^{}_{}{} \) and the Schrödinger group.
From the annihilation property (35) by the derived representation \({d\rho }^{ -X+ \textrm{i}Y}\) and Cor. 5.1, we conclude that \({\mathcal {L}}^{-X - \textrm{i}Y}\, \tilde{\tilde{ f}} =0\) for any \(f\). Using (31), we find [2]
The operator \(\mathcal {C}_1\) is called the first Cauchy–Riemann-type operator. Similarly from (35), we conclude that \(\mathcal {C}_2 \tilde{\tilde{ f}} =0\) for the second Cauchy–Riemann type operator [2]
It is convenient to view operators \(\mathcal {C}_1\) and \(\mathcal {C}_2\) as the Cauchy–Riemann operators for the following complexified variables:
Remark 5.4
As was pointed out in [38], the analyticity conditions \(\mathcal {C}_1\tilde{\tilde{ f}} =0\) (38) and \(\mathcal {C}_2\tilde{\tilde{ f}} =0\) (39) are consequences of minimal uncertainty properties of the fiducial vector. The first condition (38) follows from the celebrated Heisenberg–Kennard uncertainty relation [4, 38]:
for the coordinate \(M=\textrm{d}{\rho }^{\textrm{i}X}\) and momentum \(D=\textrm{d}{\rho }^{\textrm{i}Y}\) observables in the Schrödinger representation (19). The second condition (39) is due to the similar minimal joint uncertainty of the Gaussian state for the Euler operator \({\textrm{d}\rho }^{1/(4\pi \hbar ) S-\textrm{i}R}=-\textrm{i}u \, \frac{\textrm{d}\ }{\textrm{d}u}\) and the quadratic potential \({\textrm{d}\rho }^{\textrm{i}B}= \pi \hbar u^{2} I\).
Besides the two operators \(\mathcal {C}_1\) and \(\mathcal {C}_2\) which are based on the special properties (35)–(36) of the Gaussian, we can note a couple of polynomial identities in the Schrödinger type representation of the Lie algebra \(\mathfrak {g}\). Indeed, using (19), one can check
These relations express the affine subalgebra generators \(B\) and \(R\) through the Heisenberg ones \(X\) and \(Y\). That is related to so-called quadratic algebra concept [40, S 2.2.4]. Because operators in (41) annihilate any function, including the fiducial vector of the metamorphism, Rem. 5.2 implies that the image space \(\textsf{L}_{\phi }^{}{}(\mathbb {R}^{4}_{+}{} )\) is annihilated by the second-order differential operators [2]
and
The identities \(\mathcal {S}_1\tilde{\tilde{ f}} = 0 \) and \(\mathcal {S}_2\tilde{\tilde{ f}} = 0 \) are called the first and second structural conditions. Their presence is a notable difference between covariant transforms on the group \(\mathbb {G}^{}_{}{} \) and the Heisenberg group.
Of course, the list of annihilators is not exhausting and the above conditions are not independent. If \( \mathcal {S}_1 F =0\) for a function \(F\) satisfying both the Cauchy–Riemann-type operators (38)–(39), then the function \(F\) has to be in the kernel of \(\mathcal {S}_2\) (43) as well; see [2].
It was shown [1] that a generic solution of two differential operators (38)–(39) is
where \(f_2\) is a holomorphic function of two complex variables \(z\) and \(w\) (40). Additionally, the structural condition \(\mathcal {S}_1\) (42) applied to \(\mathcal {G}f_2\) (44) produces a parabolic equation for \(f_2\)
which is equivalent through a change of variables [41, 3.8.3.4]
to the free particle Schrödinger equation. The above discussion allows us to characterise the image space of the metamorphism:
Theorem 5.5
A function \(F(x,y,b,r)\) on \(\mathbb {R}^{4}_{+}{} \) is the metamorphism (37) of a function \(f\in \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\) if and if only \(F\) satisfies to the following conditions:
-
1.
\(F(x,y,b,r)\) is annihilated by operators \(\mathcal {C}_1\) (38), \(\mathcal {C}_2\) (39), and \(\mathcal {S}_1\) (42).
-
2.
\(F(\cdot ,\cdot , b_0,r_0)\) is square-integrable in the sense of the inner product \(\langle \cdot , \cdot \rangle _{(b_0, r_0)}\) (28) for some \((b_0,r_0)\in \mathbb {R}^{2}_{+}{} \).
Proof
The necessity of both conditions was discussed above. For sufficiency, let a function \(G\) is annihilated by \(\mathcal {C}_1\), \(\mathcal {C}_2\) and \(\mathcal {S}_1\). If \(G(x,y, b_0,r_0) = 0\) for all \((x,y) \in \mathbb {R}^{2}_{}{} \), then the initial value problem for the parabolic equation (45) implies \(G \equiv 0\) on \(\mathbb {R}^{4}_{+}{} \).
Now, based on the square integrability of \(F\), we use contravariant transform expression (30) to construct a function \(f \in \textsf{L}_{2}^{}{}(\mathbb {R}^{}_{}{} )\). Then, \(G:=F - \tilde{\tilde{f}}\) is annihilated by operators \(\mathcal {C}_1\), \(\mathcal {C}_2\), \(\mathcal {S}_1\) and \(G(x,y, b_0, r_0) = 0\) for all \((x,y) \in \mathbb {R}^{2}_{}{} \). Thus, \(G\equiv 0\) (as explained above) and therefore \(F = \tilde{\tilde{f}}\) on \(\mathbb {R}^{4}_{+}{} \). \(\square \)
Although the Gaussian and the metamorphism based on it are genuinely remarkable in many respects, other covariant transforms (24) with fiducial vectors (33) and (34) deserve further attention as well.
References
Kisil, V.V.: Metamorphism—an integral transform reducing the order of a differential equation. J. Appl. Anal. (2023). https://doi.org/10.1515/jaa-2022-1042, arXiv:2105.12079
Kisil, V.V.: Symbolic calculation for covariant transform on the SSR group. Technical report, https://github.com/vvkisil/SSR-group-computations Jupyter notebook (2021–23)
Zemanian, A.H.: A generalized Weierstrass transformation. SIAM J. Appl. Math. 15, 1088–1105 (1967). https://doi.org/10.1137/0115093
Folland, G.B.: Harmonic Analysis in Phase Space. Annals of Mathematics Studies, vol. 122, p. 277. Princeton University Press, Princeton, NJ (1989)
Almalki, F., Kisil, V.V.: Geometric dynamics of a harmonic oscillator, arbitrary minimal uncertainty states and the smallest step 3 nilpotent Lie group. J. Phys. A: Math. Theor 52, 025301 (2019). https://doi.org/10.1088/1751-8121/aaed4d. arXiv:1805.01399
Almalki, F., Kisil, V.V.: Solving the Schrödinger equation by reduction to a first-order differential operator through a coherent states transform. Phys. Lett. A 384(16), 126330 (2020). https://doi.org/10.1016/j.physleta.2020.126330. arXiv:1903.03554
Ali, S.T., Antoine, J.-P., Gazeau, J.-P.: Coherent States, Wavelets, and Their Generalizations, 2nd edn. Theoretical and Mathematical Physics, p. 577. Springer (2014). https://doi.org/10.1007/978-1-4614-8535-3
Kravchenko, V.V., Sitnik, S.M.: Some recent developments in the transmutation operator approach. In: Kravchenko, V.V., Sitnik, S.M. (eds.) Transmutation Operators and Applications, pp. 3–9. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-35914-0_1
Shishkina, E., Sitnik, S.: Transmutations, Singular and Fractional Differential Equations with Applications to Mathematical Physics. Mathematics in Science and Engineering, p. 564. Elsevier/Academic Press, London ([2020] \(\copyright \) 2020)
Berndt, R.: Representations of Linear Groups: An Introduction Based on Examples from Physics and Number Theory, p. 270. Vieweg, Wiesbaden (2007)
Kisil, V.V.: Hypercomplex representations of the Heisenberg group and mechanics. Int. J. Theor. Phys. 51(3), 964–984 (2012). https://doi.org/10.1007/s10773-011-0970-0. arXiv:1005.5057
Kisil, V.V.: Cross-Toeplitz operators on the Fock–Segal–Bargmann space and two-sided convolutions on the Heisenberg group. Ann. Funct. Anal. to appear. 14(38) (2023). arXiv:2108.13710. https://doi.org/10.1007/s43034-022-00249-7
Arnol’d, V.I.: Mathematical Methods of Classical Mechanics. Graduate Texts in Mathematics, vol. 60, p. 516. Springer, New York (1991). Translated from the 1974 Russian original by K. Vogtmann and A. Weinstein, corrected reprint of the second edition. (1989)
Al Ameer, A.A., Kisil, V.V.: Tuning co- and contra-variant transforms: the Heisenberg group illustration. SIGMA 18(065), 21 (2022). arXiv:2105.13811
Lang, S.: \({\rm SL}_2({\bf R})\). Graduate Texts in Mathematics, vol. 105, p. 428. Springer, New York. Reprint of the 1975 edition (1985)
Kisil, V.V.: Geometry of Möbius Transformations: Elliptic, Parabolic and Hyperbolic Actions of \(\rm SL_2({\bf R\rm })\). Imperial College Press, London. Includes a live DVD (2012)
Kisil, V.V.: The real and complex techniques in harmonic analysis from the point of view of covariant transform. Eurasian Math. J. 5, 95–121 (2014). arXiv:1209.5072. http://emj.enu.kz/images/pdf/2014/5-1-4.pdfOn-line
Niederer, U.: The maximal kinematical invariance group of the free Schrödinger equation. Helv. Phys. Acta 45(5), 802–810 (1972/73)
Kalnins, E.G., Miller, W. Jr.: Lie theory and separation of variables. 5. The equations \(iu_t + u_{xx} = 0\) and \(iu_t + u_{xx} -c/x^2 u = 0\). Journal of Mathematical Physics 15(10), 1728–1737 (1974) https://doi.org/10.1063/1.1666533
Wolf, K.B.: Canonical transforms, separation of variables, and similarity solutions for a class of parabolic differential equations. J. Math. Phys. 17(5), 601–613 (1976). https://doi.org/10.1063/1.522951
Torre, A.: A note on the general solution of the paraxial wave equation: a Lie algebra view. J. Opt. A: Pure Appl. Opt. 10(5), 055006–14 (2008)
Torre, A.: Linear and quadratic exponential modulation of the solutions of the paraxial wave equation. J. Opt. A: Pure Appl. Opt. 12(3), 035701–11 (2010)
Chatzakou, M.: A note on spectral multipliers on Engel and Cartan groups. Proc. Am. Math. Soc. 150(5), 2259–2270 (2022). https://doi.org/10.1090/proc/15830
Folland, G.B.: A Course in Abstract Harmonic Analysis, 2nd edn. Textbooks in Mathematics, p. 305. CRC Press, Boca Raton, FL (2016)
Mensky, M.B.: Method of Induced Representations: Space-Time and Concept of Particle, p. 288. Nauka, Moscow (1976). ((in Russian))
Mackey, G.W.: Induced representations of locally compact groups and applications. In: Functional Analysis and Related Fields (Proc. Conf. for M. Stone, Univ. Chicago, Chicago, Ill., 1968), pp. 132–166. Springer, New York (1970)
Kisil, V.V.: Induced representations and hypercomplex numbers. Adv. Appl. Clifford Algebras 23(2), 417–440 (2013). https://doi.org/10.1007/s00006-012-0373-1. arXiv:0909.4464
Kirillov, A.A.: Elements of the Theory of Representations, p. 315. Springer, Berlin. Translated from the Russian by Edwin Hewitt, Grundlehren der Mathematischen Wissenschaften, Band 220 (1976)
Kisil, V.V.: Symmetry, geometry and quantization with hypercomplex numbers. In: Mladenov, I.M., Meng, G., Yoshioka, A. (eds.) Geometry, Integrability and Quantization XVIII, pp. 11–76. Bulgar. Acad. Sci., Sofia (2017). https://doi.org/10.7546/giq-18-2017-11-76. arXiv:1611.05650
Kisil, V.V.: \(p\)-Mechanics as a physical theory: an introduction. J. Phys. A: Math. Theor 37(1), 183–204 (2004). arXiv:quant-ph/0212101, http://stacks.iop.org/0305-4470/37/183On-line
Perelomov, A.: Generalized Coherent States and Their Applications. Texts and Monographs in Physics, p. 320. Springer, Berlin (1986)
Berezin, F.A.: Metod Vtorichnogo Kvantovaniya, 2nd edn., p. 320. “Nauka”, Moscow. Edited and with a preface by M. K. Polivanov (1986)
Kisil, V.V.: Erlangen programme at large: An overview. In: Rogosin, S.V., Koroleva, A.A. (eds.) Advances in Applied Analysis, pp. 1–94. Birkhäuser Verlag, Basel (2012). Chap. 1. arXiv:1106.1686. https://doi.org/10.1007/978-3-0348-0417-2_1
Kisil, V.V.: Calculus of operators: Covariant transform and relative convolutions. Banach J. Math. Anal. 8(2), 156–184 (2014). arXiv:1304.2792, http://www.emis.de/journals/BJMA/tex_v8_n2_a15.pdfon-line
Feichtinger, H.G., Gröchenig, K.: A unified approach to atomic decompositions via integrable group representations. In: Function Spaces and Applications (Lund, 1986). Lecture Notes in Math., vol. 1302, pp. 52–73. Springer (1988). https://doi.org/10.1007/BFb0078863
Kisil, V.V.: Wavelets in Banach spaces. Acta Appl. Math. 59(1), 79–109 (1999). arXiv:math/9807141, http://dx.doi.org/10.1023/A:1006394832290On-line
Kisil, V.V.: Covariant transform. J. Phys.: Conf. Ser. 284(1), 012038 (2011). https://doi.org/10.1088/1742-6596/284/1/012038. arXiv:1011.3947
Kisil, V.V.: Uncertainty and analyticity. In: Mityushev, V.V., Ruzhansky, M.V. (eds.) Current Trends in Analysis and Its Applications. Trends in Mathematics, pp. 583–590. Springer (2015). https://doi.org/10.1007/978-3-319-12577-0_64. arXiv:1312.4583
Berry, M.V., Balazs, N.L.: Nonspreading wave packets. Am. J. Phys. 47, 264–267 (1979). https://doi.org/10.1119/1.11855
Gazeau, J.-P.: Coherent States in Quantum Physics. Wiley-VCH Verlag, New York (2009). https://doi.org/10.1002/9783527628285
Polyanin, A.D., Nazaikinskii, V.E.: Handbook of Linear Partial Differential Equations for Engineers and Scientists, 2nd edn., p. 1609. CRC Press, Boca Raton (2016). https://doi.org/10.1201/b19056
Osipov, V.F.: Almost-Periodic Functions of Bohr–Fresnel (in Russian), p. 311. Sankt-Peterburgskiĭ Gosudarstvennyĭ Universitet, St. Petersburg, (1992)
Neretin, Y.A.: Lectures on Gaussian Integral Operators and Classical Groups. EMS Series of Lectures in Mathematics, p. 559. European Mathematical Society (EMS), Zürich (2011). https://doi.org/10.4171/080
Healy, J.J., Kutay, M.A., Ozaktas, H.M., Sheridan, J.T. (eds.): Linear Canonical Transforms. Springer Series in Optical Sciences, vol. 198, p. 453. Springer, (2016). https://doi.org/10.1007/978-1-4939-3028-9. Theory and applications
Acknowledgements
Authors are grateful to Prof. Alexey Bolsinov for useful comments and suggestions on this work. Suggestions of anonymous referees helped to improve the presentation.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The first named author was sponsored by the Albaha University (SA). The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
On leave from Odessa University.
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
Alqurashi, T., Kisil, V.V. Metamorphism as a covariant transform for the SSR group. Bol. Soc. Mat. Mex. 29, 35 (2023). https://doi.org/10.1007/s40590-023-00505-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40590-023-00505-3