The linear canonical transform

Giới thiệu
Biến đổi chính tắc tuyến nh (LCT) là công cụ xử lí n hiệu ên ến. Nó là sự tổng quát
hóa của biến đổi Fourier (FT), biến đổi Fourier phân đoạn (FRFT),... và có thể phân ch
n hiệu trong miền giữa thời gian và tần số. Trước khi giới thiệu LCT, trước ên chúng ta
xem lại FT và FRFT. FT (Bracewell, 2000) rất phổ biến hoạt động để phân ch quang phổ
và nhiều ứng dụng khác. Nó được định nghĩa như sau:

1
𝐹𝑇: 𝐹 (𝑤 ) = 𝐹𝑇 𝑓 (𝑡 ) = 𝑒 𝑓(𝑡)𝑑𝑡
√2𝜋

Nghịch đảo của nó(IFT) được định nghĩa là:

1
𝐼𝐹𝑇: 𝐹 (𝑤 ) = 𝐼𝐹𝑇 𝑓(𝑡 ) = 𝑒 𝑓(𝑤)𝑑𝑡
√2𝜋

Chúng ta biết rằng khi thực hiện FT hai lần (hoặc 4N + 2 lần), hoạt động ngược thời gian
thu được. Khi thực hiện FT ba lần(hoặc 4N + 3 lần), IFT thu được. Hơn nữa, thực hiện FT
bốn lần (hoặc 4N lần) tương đương với việc thực hiện thao tác nhận dạng. Người ta có
thể hỏi điều gì sẽ thu được khi FT được thực hiện với số lần không phải là số nguyên.
FRFT có thể được xem như thực hiện FT lần, trong đó có thể là một giá trị không
nguyên. định nghĩa của nó là:

. .
𝐹𝑅𝐹𝑇: 𝑂 𝑓 (𝑡 ) = 𝑒 ∫ 𝑒 . .
𝑒 𝑓(𝑡)𝑑𝑡 (3)

𝐾ℎ𝑖 𝛼 ≠ 𝑛𝜋 𝑣à 𝑛 𝑙à 𝑠ố 𝑛𝑔𝑢𝑦ê𝑛

𝐹 (𝑢 ) = 𝑂 𝑓(𝑡 ) = 𝑓 (𝑢), 𝐹( ) (𝑢 ) = 𝑂 ( )
𝑓(𝑡 ) = 𝑓 (−𝑢) (4)

FRFT cũng thỏa mãn nh chất cộng như sau:

𝑂 𝑂 𝑓 (𝑡 ) =𝑂 𝑂 𝑓 (𝑡 ) =𝑂 𝑓 (𝑡 )

Dễ dàng nhận ra khi 𝛼 = 0, , 𝜋 𝑣à , FRFT được rút gọn thành toán tử nhận dạng, FT,
hoạt động đảo ngược thời gian và IFT.
Xuất phát từ bài toán trong cơ học lượng tử, FRFT lần đầu ên được đề xuất bởi Wiener
(1929) và Condon (1937), và nó đã được phát minh lại bởi Namias (1980). Namias bắt
nguồn từ FRFT bằng cách phân đoạn các giá trị riêng của FT. Sau đó, Almeida (1994),
Zayed (1996) và Alieva và Bas aans (2000), khám phá quá trình xử lý n hiệu ứng dụng
của FRFT. Trong Ozaktas, Kutay, và Mendlovic (1999) và Ozaktas, Zalevsky và Kutay
(2000), các lý thuyết, nh chất và ứng dụng của FRFT đã được tóm tắt. Vì FRFT là sự tổng
quát hóa của FT, nhiều nh chất toán học, các ứng dụng và hoạt động liên quan đến FT
có thể được khái quát hóa bằng sử dụng FRFT. FRFT linh hoạt hơn FT và thực hiện thậm
chí còn tốt hơn trong nhiều quá trình xử lý n hiệu và phân ch hệ thống quang học .
Tuy nhiên, FRFT không đủ tổng quát vì nó chỉ có một tham số. Nó có thể được khái quát
hóa hơn nữa thành phép biến đổi chính tắc tuyến nh (LCT). LCT có tổng cộng bốn tham
số. Nó không chỉ là một khái quát của FRFT, mà còn là một dạng thể hiện của biến đổi
Fresnel,...
Định nghĩa của phép biến đổi tuyến nh
LCT lần đầu ên được giới thiệu vào những năm 1970 bởi Collins (1970) và Moshinsky và
Quesne (1971). Tuy nhiên, một số trường hợp đặc biệt của LCT với các tham số phức tạp
thậm chí còn được giới thiệu sớm hơn (ví dụ: Bargmann,1961). Trong Wolf (1979), một
sự giới thiệu rất có hệ thống về LCT đã được đưa ra. Là FRFT, LCT lần đầu ên được sử
dụng để giải các phương trình vi phân và phân ch hệ thống quang học. Gần đây, sau khi
các ứng dụng của FRFT được được phát triển, vai trò của LCT để xử lý n hiệu cũng đã
được khám phá.
Định nghĩa của một biến đổi chính tắc tuyến nh (LCT) là

(6)

(7)

Có ràng buộc ad-bc=0 để LCT thõa mãn. Vì có bốn tham số {a, b, c, d} và là một ràng
buộc nên bậc tự do của LCT là 3. LCT thỏa mãn nh chất cộng nh như sau:
Khi đó

Đặc biệt

để biểu diễn LCT với các tham số {a, b, c, d}. Đây được gọi là biểu diễn siêu hình (Folland,
1989 trong lý thuyết nhóm. Để đơn giản hóa, chúng ta gọi nó là ma trận ABCD.
LCT còn được gọi là biến đổi Fourier affine đặc biệt (SAFT) (Abe & Sheridan, 1994b), biến
đổi ABCD (Bernardo, 1996), biến đổi Fresnel tổng quát (James & Agarwal, 1996), công
thức Collins (Collins , 1970), hệ pha bậc hai (Bas aans, 1978, 1979, 1989, và 1991), ch
phân Huygens tổng quát (Siegman, 1986), và Fourier phân số mở rộng (Hua, Liu, & Li,
1997). LCT là sự tổng quát hóa của nhiều phép biến đổi ch phân, cụ thể như sau:

(a) Khi {a, b, c, d} ={0, 1,- 1, 0}, LCT trở thành FT nhânbởi −𝑗

(b) Khi {a, b, c, d} = {0, -1, 1, 0}, LCT trở thành FT nhânbởi −𝑗

Khi {a, b, c, d} = {cosa, sina, sina, cosa}, LCT trở thành FRFT [được định nghĩa trong các
phương trình (3) và (4)] nhân với một pha không đổi
 (d) Khi {a, b, c, d} = {1, 𝜆𝑧/2𝜋, 0, 1}, LCT trở thành biến đổi Fresnel một chiều (nghĩa là
ch chập với ếng kêu). Các biến đổi Fresnel (Goodman, 2005) mô tả sự lan truyền của
ánh sáng đơn sắc trong không gian tự do. Giả sử rằng ánh sáng đơn sắc tới có phân bố
Ui(x, y) và bước sóng l. Nếu nó lan truyền trong không gian tự do với độ dài z, thì từ
Lý thuyết Fresnel, sóng đầu ra có phân phối Uo(w, v), như sau:

(e) Khi {a, b, c, d} = {1, 0, 𝜏, 1}, LCT trở thành phép toán nhân ếng kêu:

(f) Khi {a, b, c, d} = {𝜎, 0, 0, 𝜎 }, LCT trở thành một phép chia tỷ lệ :

Hơn nữa, LCT có thể được khái quát hóa hơn nữa. LCT trong các phương trình. (6) và (7)
có bốn tham số. Trong Abe và Sheridan (1994a và 1994b), LCT có thể được khái quát hóa
phần nào bằng cách bao gồm một thuật ngữ dịch chuyển không gian và một thuật ngữ
điều biến tần số gọi là LCT bù. LCT bù có sáu tham số {a, b, c, d, m, n}.
Định nghĩa của LCT bù:

Ràng buộc rằng ad - bc = 1 phải được thỏa mãn. Hai tham số phụ m và n tương ứng là
các hoạt động dịch chuyển và điều biến.
Chúng ta có thể sử dụng biểu diễn siêu hình sau để biểu thị LCT bù:
 Để đơn giản hóa, chúng ta gọi đây là ma trận ABCD-MN. LCT bù có nh chất cộng, như
sau:

Có:

Bù LCT

LCT Điều biến Dịch

FRFT Biến đổi Nhân ếng Chia

Fresnel kêuKêu

Nhận dạng Đảo thời

gian

Hình 1Mối quan hệ giữa LCT bù, LCT và các trường hợp đặc biệt của chúng
 TÍNH CHẤT VÀ Ý NGHĨA VẬT LÍ CỦA BIẾN ĐỔI TUYẾN TÍNH

1.Mối quan hệ với phân phối Wigner

LCT tương đương với hoạt động xoắn của WDF và phân phối lớp của Cohen cũng có hoạt động
xoắn.
Chúng ta có thể tự do sử dụng LCT để biến đổi hình bình hành có tâm ở (0, 0) thành một hình bình
hành khác có cùng diện tích và cùng tâm:

Từ hình ảnh này, chúng ta biết rằng điểm (−1, 2) biến đổi thành điểm (0, 1) và điểm (1, 2) biến đổi
thành điểm (4, 3). Kết quả là, chúng ta có thể viết ra các phương trình

Giải các phương trình này cho (a, b, c, d) = (2, 1, 1, 1).

2.Nguyên lý bất định của biến đổi chính tắc tuyến nh

Nguyên lý bất định nổi ếng của FT được đề xuất bởi Heisenberg(1927):

Trong đó
 Tức là ch của các phương sai trong miền thời gian và miền tần số không được nhỏ hơn
1/4. Đặc biệt, nếu f(t) là một hàm Gaussian

Trong đó A và t0 là các hằng số tùy ý và

Trong Shinde và Gadre (2001), nói rằng nguyên lý bất định Heisenberg là tổng quát hóa
trong trường hợp của FRFT.