Math 2.0

Integral transforms, operational calculus Definition

Linear canonical transformation

Builds on Special linear groupFourier transformLp spaceUnitary operator

Definition

Let M=(abcd)M = \begin{pmatrix} a & b \\ c & d \end{pmatrix} be a real matrix with ad−bc=1ad - bc = 1, an element of the special linear group SL(2,ℝ)SL(2, \R), and assume b≠0b \ne 0. Fix a square root 1/(ib)\sqrt{1/(ib)} of the complex number 1/(ib)1/(ib). The linear canonical transformation with matrix MM sends an integrable function f ⁣:ℝ→ℂf \colon \R \to \C to the function LMf(u)=1ib  eiπdbu2∫ℝe−2πiutb eiπabt2f(t) dt,u∈ℝ.L_M f(u) = \sqrt{\frac{1}{i b}}\; e^{i\pi \frac{d}{b} u^2} \int_\R e^{-2\pi i \frac{u t}{b}}\, e^{i\pi \frac{a}{b} t^2} f(t)\, dt, \qquad u \in \R.

Remarks

The map LML_M is the composite of a multiplication by the chirp eiπat2/be^{i\pi a t^2 / b}, a Fourier transform rescaled by 1/b1/b, a multiplication by eiπdu2/be^{i\pi d u^2 / b}, and the factor 1/(ib)\sqrt{1/(ib)} of modulus ∣b∣−1/2\abs{b}^{-1/2}. The rescaled Fourier transform multiplies the L2L^2 norm by ∣b∣1/2\abs{b}^{1/2}, the factor divides it by the same amount, and the chirps do not change it. So LML_M preserves the L2L^2 norm, and LML_M extends to a unitary operator of L2(ℝ)L^2(\R), the L2L^2 space. For b=0b = 0 the transform is defined by LMf(u)=d eiπcdu2f(du)L_M f(u) = \sqrt{d}\, e^{i\pi c d u^2} f(du), a scaling followed by a chirp multiplication. For two matrices one has LM1LM2=±LM1M2L_{M_1} L_{M_2} = \pm L_{M_1 M_2}; the sign ambiguity comes from the choice of square roots.

Example: M=(01−10)M = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}, which has determinant 0⋅0−1⋅(−1)=10 \cdot 0 - 1 \cdot (-1) = 1. Here a=d=0a = d = 0 and b=1b = 1, so LMf(u)=1/i∫ℝe−2πiutf(t) dtL_M f(u) = \sqrt{1/i} \int_\R e^{-2\pi i u t} f(t)\, dt. With 1/i=e−iπ/4\sqrt{1/i} = e^{-i\pi/4}, this is e−iπ/4f^(u)e^{-i\pi/4} \hat f(u), the Fourier transform up to a constant phase. The matrices (cos⁡αsin⁡α−sin⁡αcos⁡α)\begin{pmatrix} \cos\alpha & \sin\alpha \\ -\sin\alpha & \cos\alpha \end{pmatrix} give the fractional Fourier transforms, in the normalization with the kernel e−2πiute^{-2\pi i u t}, up to a constant phase.

Non-example: M=(1102)M = \begin{pmatrix} 1 & 1 \\ 0 & 2 \end{pmatrix} has determinant 22, so it is not in SL(2,ℝ)SL(2, \R) and has no linear canonical transformation. The formula above does not use cc, and with a=1a = 1, b=1b = 1, d=2d = 2 it gives the transform of (1112)\begin{pmatrix} 1 & 1 \\ 1 & 2 \end{pmatrix}, the only matrix of determinant 11 with these entries aa, bb, dd.

Reading path

To understand this page from the ground up, read these 14 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Fourier transform concept
  2. General linear group object
  3. Identity matrix object
  4. Lp space concept
  5. Matrix definition
  6. Unitary operator concept
  7. Vector space definition
  8. Square matrix definition
  9. Linear map definition
  10. Multilinear map definition
  11. Alternating multilinear map definition
  12. Determinant definition
  13. Special linear group object
  14. Linear canonical transformation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Linear_canonical_transformation
About this page
TagBRXKAGYEFQ
URIm2://BRXKAGYEFQ
Kinddefinition
WritingW0 stub
MSC44A15, 42A38, 81S30
DefinesLinear canonical transformation
UsesSpecial linear group, Fourier transform, Lp space, Unitary operator

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.