Luận văn Thạc sĩ Khoa học: Hàm riêng của biến đổi chính tắc tuyến tính OF(a,b,c,d) cho trường hợp |a+d|>=2

Chia sẻ: Na Na | Ngày: | Loại File: PDF | Số trang:42

Thêm vào BST

Báo xấu

57
lượt xem 3
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bố cục luận văn gồm phần mở đầu, ba chương, phần kết luận và danh mục tài liệu. Chương mở đầu là kiến thức chuẩn bị, chúng ta sẽ nhắc lại biến đổi chính tắc tuyến tính và các trường hợp biến đổi đặc biệt của biến đổi này, hàm riêng của biến đổi Fourier phân thứ, một số kết quả đã được xây dựng về các hàm riêng của LCT. Cuối cùng trình bày hai tính chất quan trọng sẽ được dùng trong suốt luận văn.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Khoa học: Hàm riêng của biến đổi chính tắc tuyến tính OF(a,b,c,d) cho trường hợp |a+d|>=2

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN ----------------------- TĂNG THỊ ĐỨC HÀM RIÊNG CỦA BIẾN ĐỔI CHÍNH TẮC TUYẾN TÍNH OF (a,b,c,d) CHO TRƯỜNG HỢP |a + d| > 2 Chuyên ngành: Giải tích Mã số: 60460102 LUẬN VĂN THẠC SĨ KHOA HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS.NGUYỄN MINH TUẤN HÀ NỘI - 2016
Mục lục 1
Lời nói đầu Toán học giải tích là một trong những chuyên ngành nghiên cứu quan trọng hàng đầu của toán học hiện đại. Nó bao gồm nhiều lĩnh vực được mọi người quan tâm, nghiên cứu. Và biến đổi Fourier là một trong số đó vì nó có rất nhiều ứng dụng khoa học, ví dụ như trong vật lý, số học, xác suất, thống kê, hải dương học, hình học và nhiều lĩnh khác. Ngày nay các nhà khoa học vẫn đang cố gắng khám phá ra những kết quả có tầm quan trọng nhằm nâng cao được ứng dụng của nó. Trong luận văn này chúng ta sẽ tìm hiểu về trường hợp đặc biệt biến đổi tích phân Fourier và ứng dụng của nó trong quang học. Bố cục luận văn gồm phần mở đầu, ba chương, phần kết luận và danh mục tài liệu. Chương mở đầu là kiến thức chuẩn bị, chúng ta sẽ nhắc lại biến đổi chính tắc tuyến tính và các trường hợp biến đổi đặc biệt của biến đổi này, hàm riêng của biến đổi Fourier phân thứ, một số kết quả đẫ được xây dựng về các hàm riêng của LCT. Cuối cùng ta trình bày hai tính chất quan trọng sẽ được dùng trong suốt luận văn. Chương hai, phần đầu ta trình bày hàm riêng của LCT trong trường hợp |a + d| = 2. Trong trường hợp này ta trình bày hàm riêng của LCT khi a + d = 2 và b = 0; a + d = −2 và b = 0; {a, b, c, d} = {±1, b, 0, ±1}; a + d = 2 và b 6= 0; a + d = −2 và b 6= 0. Phần hai, ta trình bày hàm riêng của LCT trong trường hợp |a + d| > 2. Trong trường hợp này ta trình bày hàm riêng của LCT khi {a, b, c, d} = {±σ −1 , 0, 0, ±σ}; a + d > 2; a + d < −2. Trong chương cuối ta trình bày quan hệ của LCT với hệ quang học và giải quyết bài toán tạo ảnh . Các kết quả chính của luận văn dựa trên bài báo "Eigenfuntions of linear 3
canonical transform" Soo-Chang Pie và Jian-Jiun Ding. Trong quá trình thực hiện luận văn tôi đã nhận được sự chỉ bảo, hướng dẫn tận tình của PGS.TS Nguyễn Minh Tuấn. Các thầy cô trong khoa Toán - Cơ - Tin học trường đại học Khoa học Tự nhiên - Đại học Quốc Gia Hà Nội đã giúp đỡ tôi có thêm nhiều kiến thức để có thể hoàn thành luận văn và khóa học một cách tốt đẹp. Bên cạnh đó còn có sự giúp đỡ nhiệt tình của các thầy cô phòng Sau Đại học đã tạo điều kiện thuận lợi giúp đỡ tôi hoàn thành các thủ tục bảo vệ, các thầy cô và các bạn trong seminar Toán Giải Tích đã có những góp ý hữu ích để tôi hoàn thành luận văn tốt nhất. Cuối cùng, tôi xin gửi lời biêt ơn tới gia đình, người thân đã luôn động viên, ủng hộ tôi trong suốt thời gian học tập và hoàn thành khóa luận. Mặc dù đã có nhiều cố gắng nhưng bản luận văn khó tránh khỏi những thiếu sót. Tôi rất mong nhận được những ý kiến đóng góp của quý thầy cô và các bạn. Hà Nội, tháng 10 năm 2015 Tăng Thị Đức 4
Chương 1 Kiến thức chuẩn bị Biến đổi chính tắc tuyến tính (LCT)[1]-[4] là biến đổi tích phân với bốn tham số {a, b, c, d}. Biến đổi LCT được giới thiệu lần đầu tiên vào năm 1970 [5], [6]. Một số phép toán như, biến đổi Fourier (Fourier transform-FT), biến đổi Fourier phân thứ (fractional Fourier transform-FRFT)[7]-[9], biến đổi Fresnel [10] và phép toán co giãn là trường hợp đặc biệt của LCT. Trong một số bài báo, phép biến đổi LCT được gọi là phép biến đổi Fourier afin (affine Fourier transform-AFT) [2],[11], biến đổi Fresnel tổng quát [12], công thức Collins [6], biến đổi ABCD [3] (ABCD transform), hoặc biến đổi Fourier và biến đổi Fresnel. Phép biến đổi LCT được ứng dụng trong phân tích hệ rada, phân tích hệ môi trường Grin, thiết kế máy lọc và nhiều ứng dụng khác. Ta xét một số trường hợp đặc biệt của LCT. Ví dụ, hàm riêng của FRFT là hàm Hermite được nhân thêm với exp(−t2 /2). Hàm riêng của LCT khi {a, b, c, d} = {1, b, 0, 1} (trường hợp này LCT trở thành biến đổi Fresnel) là hàm tuần hoàn (hàm tuần hoàn này gọi là hiệu ứng Talbot[16],[17]). Trong trường hợp {a, b, c, d} = {1/d, 0, 0, 1} (trong trường hợp này LCT trở thành phép toán co giãn) hàm riêng là hàm Frac [18],[19] (fractal). Những hàm này bất biến với phép toán co giãn. Trong luận văn này ta sẽ tổng quát các kết quả đã được xây đựng và suy ra hàm riêng của LCT cho tất cả các trường hợp. Sau đó, hàm riêng của LCT được sử dụng để giải thích hiện tượng tạo ảnh trong quang học. Ta sử dụng ký hiệu OF (a,b,c,d) hoặc OF(a,b,c,d) cho biến đổi chính tắc tuyến tính. Phần đầu của luận văn tôi sẽ trình bày lại một cách ngắn gọn kiến thức về biến đổi chính tắc tuyến tính, hàm riêng của biến đổi Fourier phân thứ và một số kết quả đã được xây dựng về các hàm riêng của LCT, tính chất suy ra hàm 5
riêng của LCT. 1.1 Biến đổi chính tắc tuyến tính Định nghĩa 1.1.1. Biến đổi chính tắc tuyến tính được định nghĩa như sau ∞ r Z (a,b,c,d) 1 (i/2)(d/b)u2 2 OF (f (t)) = e . e−i(u/b)t e(i/2)(a/b)t f (t)dt i2πb −∞ nếu b 6= 0, (1.1) (a,b,c,d) √ 2 OF (f (t)) = d.e(i/2)cdu f (d.u) nếu b = 0, . LCT thỏa mãn tính chất cộng tính (a ,b ,c ,d ) (a ,b ,c ,d ) (a ,b3 ,c3 ,d3 ) OF 1 1 1 1 OF 2 2 2 2 (f (t)) = OF 3 (f (t)), trong đó a3 b 3 a b a b = 2 2 . 1 1 . (1.2) c3 d3 c2 d 2 c1 d1 Tính chất cộng tính của LCT được suy ra từ phép toán ma trận trong công thức (1.2), ta thường biểu diễn LCT với tham số {a, b, c, d} bởi ma trận a b . c d Tiếp theo ta trình bày một số phép toán là trường hợp đặc biệt của LCT chẳng hạn như biến đổi Fourier (FT), biến đổi Fourier phân thứ (FRFT), biến đổi Fresnel, phép toán co giãn. a) Biến đổi Fourier (FT). Biến đổi chính tắc tuyến tính (LCT) là biến đổi Fourier khi {a, b, c, d} = {0, 1, −1, 0}, ∞ r Z (0,1,−1.0) 1 (i/2)(0/1)u2 2 OF (f (t)) = e e−i.u.t .e(i/2)(0/−1)t .g(t)dt i2π −∞ ∞ r Z (0,1,−1,0) 1 OF (f (t)) = e−i.u.t .g(t)dt i2π −∞ √ (0,1,−1,0) i.OF (f (t)) = FT(f (t)) ∞ r Z 1 = e−i.u.t .g(t)dt. 2π −∞ 6
b) Biến đổi Fourier phân thứ (FRFT). Biến đổi chính tắc tuyến tính (LCT) là biến đổi Fourier phân thứ (FRFT) khi {a, b, c, d} = {cos α, sin α, − sin α, cos α} [7]-[9] r (cos α,sin α,− sin α,cos α) 1 2 OF (f (t)) = e(i/2)(cos α/ sin α).u 2π sin α Z ∞ 2 × e−i(u/ sin α).t e(i/2)(cos α/ sin α)t f (t)dt, −∞ r 1 − i cot α (i/2) cot α.u2 OFα (f (t)) = e 2π Z ∞ 2 × e−i. csc α.ut e(i/2) cot αt f (t)dt. (1.3) −∞ Biến đổi Fourier phân thứ (FRFT) là biến đổi tổng quát của biến đổi Fourier (FT). Biến đổi Fourier phân thứ thỏa mãn tính chất cộng tính OFα OFβ (f (t)) = OFα+β (f (t)). Biến đổi Fourier phân thứ với hiệu số pha không đổi √ (cos α,sin α,− sin α,cos α) OFα (f (t)) = eiα .OF (f (t)). (1.4) Biến đổi Fourier phân thứ có ứng dụng trong phân tích hệ quang học, giải phương trình vi phân,... c) Biến đổi Fresnel. Biến đổi Fresnel là phép toán mô tả việc truyền ánh sáng đơn sắc qua môi trường trong suốt. Biến đổi Fresnel được định nghĩa như sau Z ∞Z ∞ z ei2πz/λ 2 2 OFresnel (f (x, y)) = . ei(π/λz)((u−x) +(v−y) ) f (x, y)dxdy, (1.5) iλz −∞ −∞ f (x, y) là hàm phân bố của nguồn ánh sáng đơn sắc, λ là bước sóng và z là khoảng cách. Công thức (1.5) có thể được biểu diễn dưới dạng hợp thành của hai biến đổi Fresnel z z OFresnel (f (x, y)) = OFresnel(y) OFz resnel(x) (f (x, y)) . Biến đổi chính tắc tuyến tắc tuyến tính LCT là biến đổi Fresnel 1-D khi 7
{a, b, c, d} = {1, zλ/2π, 0, 1} ∞ r Z (1,zλ/2π,0,1) 1 (i/2)(2π/zλ)u2 2 OF (g(t)) = e e−i(2πu/zλ)t .e(iπ/zλ)t g(t)dt izλ −∞ ∞ ei2πz/λ Z 2 −2ut+t2 = √ . ei(π/λz) .eu g(t)dt iλz −∞ i2πz/λ Z ∞ z e 2 OFresnel(t) (g(t)) = √ . ei(π/λz).(u−t) g(t)dt. (1.6) iλz −∞ Biến đổi Fresnel 1-D với hiệu số pha không đổi z (1,zλ/2π,0,1) OFresnel(t) (f (x)) = eiπz/λ .OF (f (t)). (1.7) Hệ thức liên hệ giữa tham số b và khoảng cách z là zλ b= . (1.8) 2π d) Phép toán co giãn. Biến đổi chính tắc tuyến tính LCT là phép toán co giãn khi {a, b, c, d} = {σ −1 , 0, 0, σ} (σ −1 ,0,0,σ) √ 2 OF (g(t)) = σ.e(i/2).0.σ.u g(σ.u) √ = σ.g(σ.u). (σ −1 ,0,0,σ) σ p OSc (g(t)) = sgn(σ).OF (g(t)). Như vậy, biến đổi Fourier, biến đổi Fourier phân thứ, biến đổi Fresnel và phép toán co giãn là trường hợp đặc biệt của LCT. 1.2 Hàm riêng của biến đổi Fourier phân thứ (FRFT) Trong [7], Namias chỉ ra biến đổi Fourier phân thứ có hàm riêng 1 2 φm (t) = p √ .e−t /2 .Hm (t) m ∈ [0, 1, 2, 3, ...], (1.9) 2m m! π ở đây Hm (t) là hàm Hermite cấp m dm −t2 2 Hm (t) = (−1)m .et e , (1.10) dtm và giá trị riêng tương ứng của φm (t) là exp(−imα) OFα (φm (t)) = e−i.m.α .φm (t). 8
Hàm riêng của FRFT có tính chất trực giao Z ∞ φm (t).φn (t)dt = δm,n . −∞ Công thức (1.9) chỉ là các hàm riêng của FRT khi α/2π không là số hữu tỷ. Khi α/2π là số hữu tỷ biến đổi FRFT có hàm riêng khác công thức (1.9). Ví dụ, khi α = 0 (trong trường hợp này biến đổi FRFT trở thành phép toán đồng nhất) tất cả các hàm sẽ là hàm riêng của biến đổi FRFT. Khi α = π (trong trường hợp này FRFT trở thành phép toán nghịch đảo) cả hàm chẵn và hàm lẻ là hàm riêng của biến đổi FRFT và khi α = ±π/2 (trong trường hợp này FRFT trở thành FT nghịch đảo) các hàm sau là hàm riêng của FRFT (xem [20, chương 22]) ∞ X √ 1) δ x − p 2π ; p=−∞ ∞ ! √ r π X 2) sin x δ x − (p + 0.5) 2π ; 2 p=−∞
x
−1/2
3)
√
; 2π
x
−1/2
4)
√