Biến đổi fourier phân và ứng dụng trong cơ học lượng tử

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC PHẠM NGỌC ĐIỀN BIẾN ĐỔI FOURIER PHÂN VÀ ỨNG DỤNG TRONG CƠ HỌC LƯỢNG TỬ LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên - Năm 2012 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC PHẠM NGỌC ĐIỀN BIẾN ĐỔI FOURIER PHÂN VÀ ỨNG DỤNG TRONG CƠ HỌC LƯỢNG TỬ Chuyên ngành: TOÁN ỨNG DỤNG Mã số : 60.46.36 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC TS NGUYỄN VĂN NGỌC Thái Nguyên - Năm 2012 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn i Mục lục Mục lục i Nội dung BIẾN ĐỔI FOURIER PHÂN 1.1 1.2 1.3 Định nghĩa tính chất biến đổi Fourier 1.1.1 Định nghĩa biến đổi Fourier 1.1.2 Tính chất tốn tử biến đổi Fourier Biến đổi Fourier phân Namias 1.2.1 Biến đổi Fourier đa thức Hermite 1.2.2 Định nghĩa biến đổi Fourier phân Namias 1.2.3 Bảng biến đổi Fourier phân số hàm đơn giản Phép tính tốn tử tổng qt 1.3.1 Phép biến đổi tích 10 1.3.2 Phép biến đổi đạo hàm 11 1.3.3 Phép biến đổi tích hỗn tạp 12 1.3.4 Phép biến đổi thương 12 1.3.5 Phép biến đổi tích phân 13 1.3.6 Phép tịnh tiến 13 1.3.7 Phép biến đổi tương đương 14 ỨNG DỤNG CỦA BIẾN ĐỔI FOURIER PHÂN TRONG Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn i CƠ HỌC LƯỢNG TỬ 15 2.1 Nghiệm phng trỡnh Schrăodinger dng 15 2.2 Nghim ca phng trỡnh Schrăodinger phụ thuộc thời gian 17 2.3 Nghiệm phương trỡnh Schrăodinger cho dao ng iu ho cng bc 19 2.4 Nghiệm phương trình Schrăodinger cho cỏc electron t mt t trng đồng không đổi 22 2.5 Sự phát triển gói sóng điện tử từ trường đồng không đổi 27 2.6 Nghim ca phng trỡnh Schrăodinger cho electron tự từ trường đồng biến thiên theo thời gian 31 NGUYÊN LÝ BẤT ĐỊNH ĐỐI VỚI BIẾN ĐỔI FOURIER PHÂN 37 3.1 Nguyên lý bất định biến đổi Fourier phân 38 3.2 Ảnh hưởng dịch chuyển mở rộng quy mô 42 Kết luận 45 Tài liệu tham khảo 47 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Mở đầu Lý chọn đề tài Những biến đổi Fourier, Laplace kết hợp tính tốn biến đổi cơng cụ có tác dụng to lớn toán học lý thuyết ứng dụng Vô số ứng dụng vật lý lý thuyết, kỹ thuật điện nhiều lĩnh vực khác khiến cho biến đổi ba tiến quan trọng toán học phần tư cuối kỷ XIX Bên cạnh biến đổi Fourier Laplace, nhà Toán học Vật lý học sở hữu kho tàng phép biến đổi tích phân khác cho phạm vi riêng với ứng dụng thực tế Tuy nhiên, số biến đổi Fourier có vai trị bật Biến đổi Fourier phân khái qt tốn tử vi phân Fourier thơng thường cách cho phụ thuộc vào tham số liên tục α (được chứa tổ hợp απ - Điều sử dụng xuyên suốt nội dung luận văn) Trong toán học, bậc α biến đổi Fourier phân lũy thừa α tốn tử biến đổi Fourier thơng thường Biến đổi Fourier phân bậc biến đổi Fourier thơng thường Biến đổi bậc −α biến đổi ngược biến đổi bậc α Với phát triển biến đổi Fourier phân khái niệm có liên quan, thấy miền tần số thông thường trường hợp đặc biệt liên tục miền Fourier phân đoạn Trong lý thuyết việc thay tín hiệu đại diện, thấy liên quan đến việc phân bố thời gian tần số Do đó, tất tính chất biến đổi Fourier thông thường trở thành trường hợp đặc biệt biến đổi Fourier phân Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Những viết biến đổi Fourier phân thực bởi: Wiener 1929, Condon 1937, Bargmann 1961, de Bruijn 1973 Điều quan trọng suốt thập niên 80 kỉ XX xuất nhiều viết theo hai chiều hướng khác biệt: Namias 1980, McBride Kerr 1987 Mustard 1987, 1989, 1991, 1996 Tuy nhiên, số lượng ấn phẩm thực bùng nổ sau phép biến đổi áp dụng quang học xử lý tín hiệu cơng bố Trong đó, có viết của: Lohmann 1993, Ozaktas Mendlovic 1993a,b; Mendlovic người khác, Với vai trò to lớn phép biến đổi Fourier phân toán học ngành khoa học khác nêu trên, chọn nghiên cứu phép biến đổi ứng dụng Tuy nhiên với điều kiện khơng gian, thời gian trình độ có hạn thân nên nội dung biến đổi chủ yếu biến đổi Fourier phân Namias ứng dụng học lượng tử nguyên lý bất định phép biến đổi Fourier phân Phương pháp nghiên cứu Sưu tầm đọc tài liệu từ tạp chí tốn học nước quốc tế liên quan đến phép biến đổi Fourier, ứng dụng phép biến đổi Fourier phân học lượng tử nguyên lý bất định biến đổi Fourier phân Qua đó, tìm hiểu, học tập giới thiệu vấn đề Mục đích luận văn Mục đích luận văn học tập giới thiệu kết bật phép biến đổi Fourier dạng biến đổi Fourier phân quan tâm nhiều phát triển khoảng thập niên trở lại Bên cạnh luận văn có đề cập đến số ứng dụng phép biến đổi Fourier phân học lượng tử nguyên lý bất định phép biến đổi Fourier phân Bố cục luận văn Luận văn bao gồm phần Mở đầu, ba chương nội dung chính, Kết luận Tài liệu tham khảo Chương giới thiệu sơ lược về: phép biến đổi Fourier phân; số tính chất biến đổi Fourier phân; biểu diễn tích phân biến đổi Fourier phân; phép tính tốn tử tổng qt Namias [1] Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chương trình bày số ứng dụng phép biến đổi Fourier phân học lượng tử để tìm nghiệm phng trỡnh Schrăodinger cho: dao ng iu hũa c lp thời gian (dừng); dao động điều hòa phụ thuộc thời gian; dao động điều hòa cưỡng bức; electron tự từ trường đồng không đổi; phát triển gói sóng điện tử từ trường đồng không đổi; electron tự từ trường đồng biến thiên theo thời gian Namias [1] Chương trình bày nguyên lý bất định cho tín hiệu thực miền biến đổi Fourier phân [4] Luận văn hoàn thành hướng dẫn nhiệt tình bảo Tiến sĩ Nguyễn Văn Ngọc, Viện Toán học Việt Nam Em xin bày tỏ lòng biết ơn sâu sắc đến Thầy Tác giả xin gửi lời cảm ơn chân thành đến Ban giám hiệu, phòng Đào tạo, khoa Toán - Tin Trường Đại học khoa học, Đại học Thái Nguyên tạo điều kiện thuận lợi suốt trình học tập trường Xin chân thành cảm ơn gia đình, bạn bè đồng nghiệp thành viên lớp cao học tốn K4B ln quan tâm, động viên, giúp đỡ suốt thời gian học tập q trình làm luận văn Tuy có nhiều cố gắng, song thời gian lực thân có hạn nên luận văn khó tránh khỏi thiếu sót Rất mong đóng góp ý kiến thầy tồn thể bạn đọc Thái Nguyên, tháng 08 năm 2012 Tác giả Phạm Ngọc Điền Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chương BIẾN ĐỔI FOURIER PHÂN Mục đích chương giới thiệu số nội dung biến đổi Fourier phân Nội dung chủ yếu hình thành từ tài liệu [1] 1.1 1.1.1 Định nghĩa tính chất biến đổi Fourier Định nghĩa biến đổi Fourier Để hiểu biến đổi Fourier biến đổi Fourier phân (Namias), trước hết ta xét biến đổi Fourier thông thường L2 (R) Các kết thấy nhiều tài liệu, thí dụ [1] Định nghĩa 1.1 Cặp biến đổi Fourier thuận, ngược thông thường định nghĩa +∞ f (x ) = √ 2π g(k )e ikx dk , x ∈ R, (1.1) f (x )e −ikx dx , k ∈ R (1.2) −∞ +∞ g(k ) = √ 2π −∞ Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Định nghĩa 1.2 Biến đổi Fourier (1.1) viết dạng toán tử: +∞ F 2π [f (x )] = √ 2π f (x ) e ixx dx (1.3) −∞ Biến đổi Fourier ngược (1.2) tương ứng với toán tử là: +∞ F− 2π [f (x )] = √ 2π 1.1.2 f (x ) e −ixx dx (1.4) −∞ Tính chất toán tử biến đổi Fourier Toán tử biến đổi Fourier có số tính chất sau: Tính chất 1.1 Các tốn tử F π2 F− π2 liên hợp phức chúng thoả mãn hệ thức F π2 F− π2 = F− π2 F π2 = Chúng ta lưu ý F π2 [f (x)] = g (x) , F π2 [g (x)] = f (−x) , F π2 [f (−x)] = g (−x) , F π2 [g (−x)] = f (x) Nếu Hn (x) đa thức Harmite bậc n dạng tốn tử biến đổi Fourier hàm e F π2 [e −x2 −x2 Hn (x) là: π x2 Hn (x)] = ein e− Hn (x) (1.5) Bây xét toán tử Fα biểu diễn dạng eiαA , α ∈ R, thỏa mãn phương trình giá trị riêng (1.5) Khi x2 x2 eiαA e− Hn (x) = einα e− Hn (x) (1.6) Lấy vi phân hai vế phương trình (1.6) theo α cho α = 0, ta −x2 −x2 Ae Hn (x) = ne Hn (x) (1.7) Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Vì Hn” (x) − 2xHn (x) + 2nHn (x) = 0, nên có d2 1 A=− + x2 − 2 dx 2 (1.8) Tính chất 1.2 Một cách tổng qt, tốn tử Fα = eiαA có biến đổi ngược F−α = e−iαA Biến đổi Fourier thông thường tương ứng với α = π2 ngược lại với α = − π2 Giá trị α = dẫn đến toán tử đồng nhất, α = π tương ứng với toán tử chẵn lẻ áp dụng lần ta biến đổi Fourier thông thường Biến đổi mô tả tốn tử F π4 gọi bậc hai biến đổi Fourier thơng thường Ví dụ 1.1 Biến đổi Fourier phân bậc Tính chất 1.3 Trong trường hợp tổng quát, ta có: Fα+β = Fα Fβ Về phương diện lý thuyết, dạng toán tử Fα = eiαA có ích, song thân khơng thích hợp với việc rút gọn trực tiếp đánh giá biến đổi phân đoạn Ngay trường hợp biến đổi Fourier thơng thường, iπA việc sử dụng tốn tử F π2 = e chưa phải hiệu cách tối ưu sử dụng biểu diễn tích phân (1.1) Như vậy, đánh giá biến đổi phân đoạn hỗ trợ việc biểu diễn tích phân tương ứng 1.2 Biến đổi Fourier phân Namias 1.2.1 Biến đổi Fourier đa thức Hermite Ký hiệu Hn (x) đa thức Hermite bậc n Hàm Hermite chuẩn hoá thành hệ trực chuẩn L2 (R) công thức Φn (x) = √ e 2n n! π − x2 Hn (x), n = 0, 1, 2, (1.9) Với f ∈ L2 (R) ta có ∞ f (x) = an Φn (x), n=0 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn (1.10) 34 d (τ ) = f − cos 2α (2.116) Các hàm a, c, d xác định phương trình (2.111) giải cho α Đầu tiên phân tích phương trình α cách chi tiết Nếu chọn cot α = β , mà β thỏa mãn phương trình 2 phi tuyến dβ dτ − β − f = Đây phương trình bậc nhất, khơng tồn nghiệm thơng thường Bây giờ, cho β = wu tìm thấy u dw u2 du − − − f = w dτ w dτ w Phương trình chia thành hai du − f = 0, w dτ (2.117) dw = −u dτ (2.118) d2 w + f w = 0, dτ (2.119) Loại bỏ u, cho kết u=− dw dτ (2.120) Phương trình (2.119) phương trình tuyến tính bậc hai với biến hệ số Nếu τ xem tọa độ khơng gian x phương trỡnh (2.119) cú cựng dng nh phng trỡnh Schrăodinger dng chiều với V (x) = E − f (x) Với điều kiện ban đầu α α (0) = , thấy β (0) = ∞, w (0) = điều kiện mong muốn cho w Sau xác định nghiệm phương trình (2.119) lên đến thừa số khơng đổi u dw β (τ ) = = − , (2.121) w w dτ α (τ ) = cot−1 − Số hóa Trung tâm Học liệu – Đại học Thái Nguyên w dw dτ http://www.lrc-tnu.edu.vn (2.122) 35 Bây giờ, ý đến phương trình vi phân phần bậc (2.112) cố gắng tìm nghiệm có dạng Φ = X (ξ , η , τ ) δ [θ1 (τ ) + ξ − ξ ] δ [θ2 (τ ) + η − η ] , (2.123) với điều kiện ban đầu X (ξ , η , 0) = 1; θ1 (0) = θ2 (0) = Chúng ta thay cách biểu diễn vào phương trình (2.112) xác lập hệ số δ (θ1 + ξ − ξ ) δ (θ2 + η − η ) ; δ (θ1 + ξ − ξ ) δ (θ2 + η − η ) δ (θ1 + ξ − ξ ) δ (θ2 + η − η ) cho tất không Sử dụng xδ (x − x ) = x δ (x − x ) xδ (x − x ) = −δ (x − x )+x δ (x − x ) , có i ∂X 2 − X a + d (ξ − θ1 ) + d (η − θ2 ) − 2c = 0, ∂τ θ1 + b (θ2 − η ) + c (θ1 − ξ ) = 0, θ2 − b (θ1 − ξ ) + c (θ2 − η ) = (2.124) (2.125) (2.126) Hệ phương trình (2.125), (2.126) giải cách xác Chúng ta cho   τ θ1 = ξ + exp − cdτ  u1 , (2.127) τ  θ2 = η + exp −  cdτ  u2 , (2.128) có hệ đơn giản thỏa mãn u1 u2 u1 + bu2 = 0, (2.129) u2 + bu1 = (2.130) τ Đặt s = b (τ )dτ, tìm τ dạng s : τ = τ (s) Đưa vào hàm v1 (s) = u1 [τ (s)] v2 (s) = u2 [τ (s)], thấy dv1 + v2 = 0, ds dv2 − v1 = ds Số hóa Trung tâm Học liệu – Đại học Thái Nguyên (2.131) (2.132) http://www.lrc-tnu.edu.vn 36 Từ s = τ = điều kiện ban đầu v1 (0) = u1 (0) = −ξ , v2 (0) = u2 (0) = −η ta có, nghiệm phương trình (2.131), (2.132) v1 = −ξ cos s + η sin s, (2.133) v2 = −ξ sin s − η cos s (2.134) Do đó, nghiệm hệ (2.124) – (2.126)  τ  τ θ1 (τ ) = ξ + exp − cdτ  −ξ cos 0 τ bdτ − η cos 0  bdτ  , (2.135) τ  cdτ  −ξ sin θ2 (τ ) = η + exp −   X = exp −i  bdτ + η sin τ  τ  bdτ  , (2.136) τ 2 a + d (ξ − θ1 ) + d (η − θ2 ) − 2c dτ   (2.137)  Vì phương trình (2.123), xây dựng hàm Φ Hàm Green sau đạt việc tính toán theo biến đổi Fourier phân hàm delta xảy Φ, với thời điểm khác góc α(τ ) cho phương trình (2.122) Điều dễ dàng thực việc tham khảo bảng Tại thời điểm này, điều chứng minh cách thuận lợi việc vượt qua tọa độ hình trụ Cuối cùng, biến đổi Fourier ngược biến kz dẫn đến hàm Green phân tử tự cho biến ζ Một hàm Green hồn tồn có được, phát triển gói sóng ban đầu đánh giá cho trường hợp t ≥ Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 37 Chương NGUYÊN LÝ BẤT ĐỊNH ĐỐI VỚI BIẾN ĐỔI FOURIER PHÂN Nguyên lý bất định miền thời gian tần số đóng vai trị quan trọng việc xử lý tín hiệu [4] Nguyên lý rằng, đơn vị lượng tín hiệu f (t) với biến đổi Fourier phân Fα [f (iω)] có bất đẳng thức +∞ +∞ |(ω − ω0 )Fα [f (iω)]|2 dω ≥ , |(t − t0 )f (t)| dt −∞ (3.1) −∞ +∞ t |f (t)|2 dt, (3.2) ω |Fα [f (ω)]|2 dω (3.3) t0 = −∞ +∞ ω0 = −∞ Biến đổi Fourier phân xem khái qt hố biến Fourier thơng thường, tín hiệu đại diện xem xoay góc α mặt phẳng thời gian-tần số Đó điều hiển nhiên, vấn đề đặt là: Thời gian khoảng biến đổi Fourier phân tuân theo quan hệ bất định nào? Theo Abe Sheridan trình bày [6], [9]: Fα [f (xα )] biến Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 38 đổi Fourier phân f (t) cận sản phẩm không gian khoảng biến đổi Fourier phân cho sin4 α Cận đạt cách sử dụng quan hệ biến đổi Fourier biến đổi Fourier phân; quan hệ biến đổi Fourier quan hệ bất định miền thời gian - tần số; điều cho thấy sản phẩm lan truyền tín hiệu mặt phẳng thời gian-tần số tín hiệu khơng bất biến theo biến đổi Fourier phân Trong nội dung chương này, nghiên cứu việc thu cận cho sản phẩm lan truyền theo thời gian miền biến đổi Fourier phân cho f (t) thực Cận chặt cận nêu sản phẩm bất định đại diện tín hiệu hai miền biến đổi Fourier phân Cận đạt tín hiệu Gau-xơ 3.1 Nguyên lý bất định biến đổi Fourier phân Để đơn vị lượng tín hiệu f (t) tồn cho tf (t) ∈ L2 (R) Chúng ta định nghĩa số đại lượng sau đây: def T [f (t)] = tf (t) , def W [f (t)] = −i (3.4) df (t) , dt def Lα = T cos α − W sin α, (3.5) (3.6) +∞ def t |f (t)|2 dt, t0 = (3.7) −∞ +∞ def xα |Fα [f (xα )]|2 dxα , xα0 = (3.8) −∞ +∞ def |(t − t0 ) f (t)|2 dt, ∆t = −∞ Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn (3.9) 39 +∞ def ∆x2α = |(xα − xα0 ) Fα [f (xα )]|2 dxα (3.10) −∞ Khi +∞ |T [f (t)]|2 dt, ∆t2 + t20 = (3.11) −∞ +∞ |L∗α [f (t)]|2 dt ∆x2α + x2α0 = (3.12) −∞ Trong đó, trường hợp (3.12) suy từ tính chất Kα (x, t) công thức (1.22) - (1.24) Bổ đề 3.1 Nếu f (t) thực với t0 = xα0 = Chứng minh: Trao đổi vai trò thời gian miền biến đổi Fourier phân (1.24 ), dẫn đến biến Fourier phân ngược xα Fα [f (xα )] +∞ xα Fα [f (xα )]Kα∗ (xα , t)dxα = cos (α) tf (t) − i sin (α) df (t) dt (3.13) −∞ Điều Alonso Forbes đề cập [6] +∞ +∞ Fα [g(xα )]Fα∗ [f (xα )]dxα −∞ g (t) f ∗ (t) dt, = (3.14) −∞ chọn Fα [g(xα )] = xα Fα [f (xα )] f (t) tồn +∞ +∞ xα Fα [f (xα )]Fα∗ [f (xα )]dxα = −∞ cos (α) tf (t) − i sin (α) df (t) f (t) dt dt −∞ (3.15) Thật f (t) thực, t0 = lim f (t) = 0, từ f (t) ∈ L2 (R) t→±∞ thấy vế phải (3.15) vế trái xα0 Như vậy, xα0 = (bổ đề chứng minh) Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 40 Định lí 3.1 (Nguyên lý bất định miền biến đổi Fourier phân): Nếu đơn vị lượng tín hiệu f (t) mang giá trị thực ≤ α, β ≤ π2 , ∆x2α ∆x2β sin α sin β ≥ ∆t cos α cos β + 4∆t2 2 + sin2 (α − β) (3.16) đẳng thức đạt f (t) = πσ t2 exp − 2σ , (3.17) σ số thực tùy ý Chứng minh: Khơng có tính tổng quát, lấy t0 = Nếu t0 khơng khơng, thay đổi tín hiệu thích hợp để làm khơng (Điều cho thấy phần thay đổi tín hiệu khơng ảnh hưởng đến ngun lý bất định) xα0 Khi t0 = 0, bổ đề áp dụng cho góc α bất kì, có = Từ ( 3.12 ) có +∞ |L∗α [f (t)]|2 dt ∆x2α = (3.18) −∞ Từ bất đẳng thức Cauchy–Schwartz +∞ +∞ ∗ |L∗α [f (t)]|2 dt L∗α [f (t)] L∗β [f ] (t)dt ≤ −∞ +∞ −∞ L∗β [f (t)] dt, −∞ (3.19) với f (t) ∈ L2 (R) ta có +∞ −∞ L∗α [f (t)] L∗β [f ] ∗ (t)dt = +∞ (T cos α + W sin α) f (t) (T cos β − W sin β) f (t) dt −∞ Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn (3.20) 41 Khai triển vế phải ý cách đặt α = có π (3.17), +∞ |W [f (t)]|2 dt = ∆x2π2 (3.21) −∞ cho hàm f (t) giá trị thực cho tf (t) ∈ L2 (R) +∞ i T [f (t)]W [f (t)]dt = − (3.22) −∞ Do +∞ −∞ L∗α [f (t)] L∗β [f ] ∗ (t) dt = ∆t2 cos α cos β + ∆x2π sin α sin β (3.23) 2 + sin2 (α−β) Khi x π2 miền tần số, từ quan hệ bất định quan hệ thời gian tần số ta có ∆x2π2 ≥ (3.24) 4∆t2 Từ (3.18), (3.19), (3.23) (3.24) ta có ∆x2α ∆x2β sin α sin β ≥ ∆t cos α cos β + 4∆t2 2 + sin2 (α − β) (3.25) Bất đẳng thức trở thành đẳng thức tồn hàm mà theo bất đẳng thức (3.19) (3.24) trở thành đẳng thức Bất đẳng thức Cauchy – Schwartz (3.19) trở thành đẳng thức chọn số c, f (t) thỏa mãn L∗α [f (t)] = cL∗β [f (t)] Giải phương trình vi phân nhận −i (cos α − c cos β) t2 f (t) = k exp sin α − c sin β , (3.26) k số thích hợp Để f (t) có giá trị thực c chọn sau σ cos α + i sin α c= , (3.27) σ cos β + i sin β Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 42 σ số tùy ý Giá trị k tìm thấy cách coi f (t) đơn vị tiêu chuẩn Do đó, f (t) thỏa mãn bất đẳng thức Cauchy - Schwartz (3.19), lại hàm Gau-xơ Điều cho thấy hàm Gau-xơ biến bất đẳng thức bất định (3.24) trở thành đẳng thức Do đó, hàm Gau-xơ đưa (3.17) biến bất đẳng thức (3.16) thành đẳng thức, định lý chứng minh 3.2 Ảnh hưởng dịch chuyển mở rộng quy mô Ảnh hưởng dịch chuyển mở rộng quy mô biết đến trường hợp biến đổi Fourier thông thường, sản phẩm lan tryền tín hiệu mặt phẳng thời gian-tần số không thay đổi với dịch chuyển mở rộng quy mơ tín hiệu cận sản phẩm đưa nguyên lý bất định giữ nguyên với dịch chuyển mở rộng quy mô Trong phần nghiên cứu ảnh hưởng việc dịch chuyển mở rộng tín hiệu theo quan hệ bất định miền biến đổi Fourier phân đoạn thời gian Xét tín hiệu f (t), biến đổi Fourier phân tín hiệu thay đổi g(t) = f (t − τ ) τ2 Fα [g (xα )] = exp i sin α cos α − ixα τ sin α Fα [f (xα − τ cos α)] (3.28) Do đó, lan truyền tín hiệu thay đổi khơng phải thời gian miền biến đổi Fourier phân Nói cách khác, thay đổi tín hiệu khơng có ảnh hưởng đến quan hệ bất định Tiếp tục mở rộng, cho g (t) = c f (ct) chọn đại diện cho bất định thời gian g(t) ∆tg góc α ∆xgα Fα [g (xα )] = eiχα sin θ c sin α Số hóa Trung tâm Học liệu – Đại học Thái Nguyên Fα [f xθ sin θ ], c sin α http://www.lrc-tnu.edu.vn (3.29) 43 tan θ = c2 tan α (3.30) trường hợp vài hệ số pha χα khơng quan trọng Tương tự viết sin ξ c sin β Fα [g (xβ )] = eiχβ Fα [f xξ sin ξ ], c sin β (3.31) tan ξ = c2 tan β (3.32) Các đại lượng tương ứng thể biểu diễn sau ∆t2g = ∆t , c2 f (3.33) c2 sin2 α = ∆xf θ , sin2 θ c2 sin2 β ∆x2f ξ ∆xgβ = sin ξ ∆x2gα ∆x2gα ∆x2gβ (3.34) (3.35) c4 sin2 α sin2 β ∆x2f θ ∆x2f ξ = 2 sin θ sin ξ (3.36) Nếu giới hạn ∆x2gα ∆x2gβ , đưa vế phải bất đẳng thức (3.16) kí hiệu L (∆tg , α, β) giới hạn ∆x2f θ ∆x2f ξ biểu thị L (∆tf , θ, ξ) viết c4 sin2 α sin2 β L (∆tf , α, β) = L (∆tf , θ, ξ) sin2 θ sin2 ξ (3.37) Do đó, tỉ lệ thay đổi sản phẩm lan truyền tín hiệu thay đổi giới hạn phụ thuộc vào sản phẩm đại lượng tỉ lệ thuận Từ (3.36) (3.37) quan hệ bất định cho tín hiệu f (t) có ∆x2f θ ∆x2f ζ ≥ L (∆tf , θ, ξ) (3.38) Sau đó, ta nhân hai vế với c4 sin2 α sin2 β sin2 θ sin2 ξ , có quan hệ bất định cho g(t) Đây việc mở rộng quy mơ tín hiệu Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 44 Điều thấy quan hệ bất định không chắn để mở rộng từ giới hạn phụ thuộc vào lan truyền tín hiệu miền thời gian Nhược điểm việc cho tín hiệu lan truyền miền, giới hạn lan truyền tín hiệu lĩnh vực khác tìm thấy mà không cho biết ∆t2 Một cách để né tránh vấn đề thay thuật ngữ lan truyền tín hiệu giới hạn giá trị thấp tất ∆t2 Khi ∆t2 ∈ R+ , biểu diễn ∆t2 cos α cos β + + ∆t ∈R sin α sin β = sin 2α sin 2β 4∆t (3.39) quan hệ bất định viết ∆x2α ∆x2β sin2 (α − β) ≥ sin 2α sin 2β + 4 (3.40) Nhận xét 3.1 Trong (3.40) α = β ∆x2α ≥ sin22α chứng tỏ tín hiệu có thật lan rộng miền biến đổi Fourier phân có giới hạn khơng phân biệt lan rộng miền thời gian Lưu ý rằng: Công thức (3.40) không đưa lợi cho trường hợp α = 0, điều xem α = quan hệ bất định (3.16) quy ∆x2β ∆t2 2 ≥ ∆t sin2 β cos β + (3.41) Quan hệ mối quan hệ hai lan truyền, không cho giới hạn sản phẩm lan truyền độc lập với ∆t2 , quan hệ bất định quy quan hệ hai lan truyền, cho lan truyền, giới hạn phía khác lan truyền tính mà không cho biết lan truyền lĩnh vực thứ ba Ví dụ 3.1 Cho hàm f (t) = kH1 (t) exp − t2 , H1 (t) = √2 π t đa thức Hermite bậc k chọn làm đơn vị tiêu chuẩn f (t) f (t) hàm đặc trưng toán tử biến đổi Fourier phân Tức Fα [f (t)] = − exp (jα) √ π Số hóa Trung tâm Học liệu – Đại học Thái Nguyên x2α t exp − http://www.lrc-tnu.edu.vn (3.42) 45 Điều dễ dàng tính ∆t2 = 32 Ta thấy ∆t2 = ∆x2α , ∀α Khi sin α sin β sin2 (α − β) + ∆t cos α cos β + 4∆t2 cos2 α cos2 β 64 cos2 α cos2 β = + + + ≤ = ∆x2α ∆x2β 81 81 81 81 (3.43) Do đó, ∆x2β ∆x2α thực lớn giới hạn xác định định lý bất định √ Bây giờ, xét g (t) = cf (ct) hàm tốn tử Fourier phân xác định Fα [g (t)] = c (1 − i cot α) sin θ exp (j (δ − α)) f x , c − i cot α c sin α (3.44) tan θ = c2 tan α Điều thấy với < α < π 2, ∆t2y c2 sin2 α = ∆tx = sin2 θ c2 sin2 α 3 sin 2α sin 2α = ≥ giống khẳng định nhận sin 2θ 2 sin2 θ xét đưa Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 46 Kết luận Luận văn trình bày vấn đề sau đây: Biến đổi Fourier phân (Naminas) tính chất Đây phép biến đổi Fourier phân quan tâm nhiều lý thuyết ứng dụng Ứng dụng biến đổi Fourier phân học lượng t tỡm nghim ca phng trỡnh Schrăodinger: dao ng điều hòa, lượng electron tự Nguyên lý bất định biến đổi Fourier phân tốn tử Fα mặt phẳng khơng gian tần số, xét ảnh hưởng dịch chuyển mở rộng quy mơ tín hiệu Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 47 Tài liệu tham khảo [1] Namias V (1980), The fractional order Fourier trasform and its applications in quantum mechanics, J Inst Maths Applics, 25, pp 241 - 265 [2] Abramowitz M., Stegun I.A (1965), Handbook of Mathematical Functions, Washington: National Bureau of Standards [3] Morse P M., Feschbach H (1953), Methods of Theoretical Physics, London: McGraw-Hill, pp.781 [4] Sudarshan Shinde and Vikram Gadre N., (Nov 2001), An Uncertainty Principle for Real Signals in the Fractional Fourier Trasform Domain , Ieee transactions on signal processing, vol 49, no 11 [5] Ozaktas H M., and Aytur O Sept (1995), Fractional Fourier domains , Signal Process, vol 46, pp 119 - 124 [6] Aytur O and Ozaktas H M (1995), Non-orthogonal domains in phase space of quantum optics and their relation to fractional Fourier trasform, Opt Commun, vol 120, pp 166 - 170 [7] Zayed A I (Dec 1996), On the relationship between Fourier and fractional Fourier trasform , IEEE Signal Processing Lett, vol 3, pp 310 - 311 [8] Mustard D (1991), Uncertainty principle invariant under fractional Fourier trasform , J Austral Math Soc Ser B, vol 33, pp 180 191 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 48 [9] Ozaktas H M., Zalevsky Z., and Kutay M A (2000), The fractional Fourier transform with applications in optics and signal Processing, New York: Wiley [10] Almeida A L (Nov 1994), The fractional Fourier transform and timefrequency representations, IEEE trans Signal Processing, vol 42, pp 3084 - 3091 [11] McBride A C and Kerr F H (1987), On Namias’ fractional Fourier transform, IMA J Appl Math, vol 39, pp 159 - 175 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ... văn) Trong toán học, bậc α biến đổi Fourier phân lũy thừa α tốn tử biến đổi Fourier thơng thường Biến đổi Fourier phân bậc biến đổi Fourier thơng thường Biến đổi bậc −α biến đổi ngược biến đổi. .. tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn (1.46) 15 Chương ỨNG DỤNG CỦA BIẾN ĐỔI FOURIER PHÂN TRONG CƠ HỌC LƯỢNG TỬ Trong chương này, nghiên cứu ứng dụng biến đổi Fourier phân. .. phép biến đổi Fourier, ứng dụng phép biến đổi Fourier phân học lượng tử nguyên lý bất định biến đổi Fourier phân Qua đó, tìm hiểu, học tập giới thiệu vấn đề Mục đích luận văn Mục đích luận văn học