Toán tử tuyến tính trong không gia L2[a,b] và ứng dụng

1 Trờng đại học s phạm hà nội Khoa toán ************* HOàNG THị DUYÊN TOáN Tử TUYếN TíNH TRONG KHÔNG GIAN L2[a,b] Và ứng dụng Khoá luận tốt nghiệp đại học Chuyên ngành : Giải tích Hà NộI 2013 LỜI CẢM ƠN Khóa luận với đề tài: “Tốn tử tuyến tính khơng gian L [a,b] ứng dụng” thực trường Đại học Sư phạm Hà Nội 2, động viên, khích lệ thầy cơ, bạn bè gia đình Em xin gửi lời cảm ơn chân thành tới thầy khoa Tốn đào tạo trang bị cho em kiến thức giúp em thực khóa luận Đồng thời, em xin bày tỏ lịng cảm ơn tới gia đình, bạn bè, người động viên, khuyến khích, tạo điều kiện để em hồn thành khóa luận thành cơng Đặc biệt, em xin bày tỏ lòng biết ơn sâu sắc tới ThS Phùng Đức Thắng tận tình hướng dẫn, giúp đỡ em suốt thời gian thực khóa luận Trong q trình thực khóa luận, em khơng tránh khỏi thiếu xót, kính mong thầy nhận xét góp ý để nghiên cứu em hoàn thiện Em xin chân thành cảm ơn! Sinh viên thực Hoàng Thị Duyên LỜI CAM ĐOAN Tôi xin cam đoan vấn đề trình bày khóa luận kết nghiên cứu thân tơi, hướng dẫn tận tình ThS Phùng Đức Thắng, không trùng với kết cơng trình nghiên cứu khác Nếu sai xót tơi hồn tồn chịu trách nhiệm Sinh viên thực Hoàng Thị Duyên MỤC LỤC MỞ ĐẦU 1 Lí chọn đề tài Mục đích nhiệm vụ nghiên cứu Đối tượng, phạm vi nghiên cứu .2 Phương pháp nghiên cứu .2 Cấu trúc khóa luận Chương Kiến thức chuẩn bị 1.1 Tích vơ hướng 1.2 Không gian Hilbert .5 1.3 Không gian L2 [a,b] Chương Tốn tử tuyến tính khơng gian L2 [a,b] .8 2.1 Tốn tử tuyến tính bị chặn 2.2 Toán tử compact 12 2.3 Toán tử tự liên hợp .20 2.4 Toán tử compact tự liên hợp .22 2.5 Toán tử dương 24 2.6 Toán tử chuẩn tắc .28 2.7 Toán tử Unita .29 Chương Ứng dụng: Giải phương trình tích phân .32 KẾT LUẬN 42 Tài liệu tham khảo .43 Lí chọn đề tài MỞ ĐẦU Vào đầu kỉ này, nhiều nhà toán học dành thời gian họ cố gắng sử dụng ý tưởng kĩ thuật trừu tượng để giải hầu hết vấn đề thực tiễn Lí cho sử dụng trừu tượng trở nên rõ ràng tái cấu trúc toán tử khơng gian Hilbert Ví dụ tốn tử coi điểm khơng gian thích hợp tốn tử tích phân xem ánh xạ từ điểm vào điểm khác Khái niệm điểm dẫn đến việc hiểu đối tượng đơn giản so với tưởng tượng Với cách hình dung cấu trúc tổng quát đạt hiểu biết sâu sắc vấn đề phức tạp nói tới Với mong muốn tìm hiểu trừu tượng hóa vấn đề như: phương trình tích phân giải tích hàm, em lựa chọn đề tài “Tốn tử tuyến tính khơng gian L2 [a,b] ứng dụng” để nghiên cứu Mục đích nhiệm vụ nghiên cứu Khóa luận ý vào loại tốn tử tuyến tính khác khơng gian L2 [a,b] Đó tốn tử tuyến tính bị chặn, tốn tử compact, tốn tử tự liên hợp, toán tử dương, toán tử chuẩn tắc tốn tử Unita Sáu tốn tử có tính chất đặc biệt Mục đích đưa tảng cho loại toán tử khác đề cập Để thực điều này, khóa luận đưa ví dụ cho loại toán tử với kết định từ phương trình tích phân giải tích hàm Điều cho phép có động lực để tiếp tục nghiên cứu toán tử Chúng ta bắt đầu việc xem xét toán tử bị chặn, mà đặt sở cho việc nghiên cứu toán tử sau Toán tử kiểm tra toán tử compact Toán tử compact trình bày với chi tiết hữu dụng Chúng ta ý đến toán tử vừa compact tự liên hợp Sự kết hợp toán tử đưa cho định lí nói tính chất hàm riêng giá trị riêng toán tử Tiếp theo khóa luận trình bày tốn tử dương, mà đưa kết quan trọng định lí Mercer Những tốn tử chuẩn tắc có tính chất tuyệt vời đưa dạng định lí giúp sử dụng lí thuyết toán tử tự liên hợp toán tử chuẩn tắc Kết thúc mục II phần trình bày toán tử Unita chúng liên quan đến toán tử khác Sau phần nội dung việc trình bày phương trình tích phân, bao gồm phân loại phương trình tích phân định lí tồn nghiệm phương trình tích phân Đối tượng phạm vi nghiên cứu Đối tượng nghiên cứu không gian L a,b tính chất  2 tốn tử khơng gian ứng dụng phương trình tích phân Phạm vi nghiên cứu kiến thức không gian Hilbert, tốn tử tuyến tính khơng gian Hilbert Phương pháp nghiên cứu -Nghiên cứu sử dụng lí luận, cơng cụ tốn học -Nghiên cứu sách tham khảo tài liệu liên quan -Nghiên cứu lí luận, tổng hợp, đánh giá Cấu trúc khóa luận Ngồi phần mở đầu, kết luận danh mục tài liệu tham khảo, khóa luận gồm chương có bố cục sau: Chương I Kiến thức chuẩn bị 1.1 Tích vơ hướng 1.2 Khơng gian Hilbert 1.3 Khơng gian L2 [a,b] Chương II Tốn tử tuyến tính khơng gian L2[a,b] 2.1 Tốn tử tuyến tính bị chặn 2.2 Toán tử compact 2.3 Toán tử tự liên hợp 2.4 Toán tử compact tự liên hợp 2.5 Toán tử dương 2.6 Toán tử chuẩn tắc 2.7 Toán tử Unita Chương III Ứng dụng: Giải phương trình tích phân CHƯƠNG KIẾN THỨC CHUẨN BỊ 1.1 Tích vơ hướng Định nghĩa 1.1 Cho khơng gian tuyến tính X trường P ( P □ □ ) Gọi tích vơ hướng không gian X ánh xạ từ tích Descartes X xX vào P, kí hiệu , thỏa mãn: i)  y, x   x, y x, y  X ii) x  y, z  x, z   y, z iii)  x, y   x, y x, y, z  X x, y  X ,  P iv) x, x  x X x, x   x  Định lý 1.1 (Bất đẳng thức Cauchy-Schwarz) Với x  X □ x □  x, x Chứng minh rằng: x, y  đặt x y , x, y  X Chứng minh Nếu x, y  bất đẳng thức Nếu x, y     □ ta có  x   x, y y, x   x, y y  x, x    x, x   x, y y x  2   x, y y, x   x, y y x, y   x, y x x,  x, y y, y x, y y  x, y x, y Ta nhận tam thức bậc  □ y, y khơng âm với Do đó:  x, y x, y 2 0 x y x, x  x  X , x  x, y x 2 0 y x, y x y xác định chuẩn X Thật x, x   x    P :  x x, x  0; x     x y 2  x  y, x  y  x, x  y  y, x  y  x  x, y  x 2 Vậy x  y  x  y x, y 0x0  x x, x  x,  x x, x y x, y  y 2  x 2x y  y  ( x  y )2 x, y  X 1.2 Không gian Hilbert Định nghĩa 1.2 Cho X không gian tuyến tính □ □ trang bị tích vô hướng, X gọi không gian Hilbert dãy Cauchy X hội tụ đến phần tử X Định nghĩa 1.3 Những phần tử x, y không gian Hilbert trực giao với x, y  , kí hiệu x  y trực chuẩn có thêm x  1, y 1 Định nghĩa 1.4 Một hệ trực chuẩn en , n  1, 2, không gian Hilbert X đủ phần tử X trực giao với tất en vectơ Định lí 1.2 Cho en , n  1, 2,    F ( f ) F ( g )ds    f ( x) g ( x)dx  Bây ta kiểm tra toán tử liên hợp F   F f ( x)   -isx e f( x)dx 2  Thấy  F ( (x))  (i)n n nên F  F (n (x))  f   n (s)  F ( (x))   (x)  n n dẫn đến nghịch đảo F F  Chúng ta nghiên cứu giá trị riêng F Giả sử  F ( f )   fni n (s) n0  n   fnn (s) n0 n Khi đó: (  i ) f  với n n  có giá trị riêng 1, Nếu   lại i, 1,  i fn n  4k fn  trường hợp F  f   f  f (x)   f4k 4k (x) k 0 F  f   if  f (x)   f4 k 14k 1 (x) k 0 F  f    f  f (x)   f4 k 24 k 2 (x) k 0 F  f   if  f ( x)   f4 k 34 k 3 ( x) k 0 Mỗi giá trị riêng bội số vô hạn Kết suy rõ ràng F bị chặn khơng tốn tử compact CHƯƠNG ỨNG DỤNG: GIẢI PHƯƠNG TRÌNH TÍCH PHÂN Phân loại phương trình tích phân Phương trình với hàm ẩn dấu tích phân gọi phương trình tích phân Phương trình có dạng x   x    K  x, t  f  t  dt a  cho f hàm ẩn gọi phương trình tích phân Volterra loại 1, hàm K hạt nhân Nếu hàm ẩn xuất ngồi dấu tích phân x f  x    K  x, t  f  t  dt    x  a gọi phương trình tích phân Volterra loại Tương tự, phương trình với cận tích phân sau b   x    K  x, t  f  t  dt a b f  x    K  x, t  f  t  dt    x  a gọi phương trình tích phân Fredholm loại Nếu   phương trình gọi nhất, ngược lại khơng Bổ đề 3.1 (ánh xạ co) Cho S tập đóng không gian Banach cho T : S  S ánh xạ co Khi i) Phương trình Tx  x có nghiệm S ii) Nghiệm x thu từ giới hạn dãy  xn  phần tử S xác định xn  Txn 1 , n  1, 2, x phần tử n x  limT x S n  Bổ đề kết tồn tính mà cịn đưa thuật tốn cho việc tìm nghiệm phương pháp lặp, biết phương pháp xấp xỉ liên tiếp Bổ đề 3.1 sử dụng để chứng minh tồn tìm nghiệm phương trình tích phân, vi phân đại số Bổ đề sau tổng quát hóa hữu dụng cho bổ đề 3.1 Nó có vai trị quan trọng cho chứng minh tồn tính nghiệm loại phương trình tích phân Bổ đề 3.2 Cho E không gian Banach T : E  E Nếu T m ánh xạ co với m  □ , T có điểm bất động x  E n x  limT x với x  E n Định lí 3.1 Nếu A tốn tử tuyến tính bị chặn khơng gian Banach E  phần tử E Khi tốn tử xác định Tf   Af   có điểm bất động với  đủ nhỏ Chính xác hơn, k số dương cho f E Af  k f Tf  f có nghiệm với  k 1 Chứng minh Vì A bị chặn, tồn số k cho Af1  Af2  k f1  f2 Do Tf1  Tf2   Af1  Af2 f1 , f  E   k f1  f2 Nên T ánh xạ co với   k Trong trường hợp T có điểm bất động theo bổ đề 3.1 Định lí 3.2 (Sự tồn tính nghiệm phương trình tích phân Fredholm tuyến tính khơng loại 2) Phương trình b f  x     K  x, y  f  y  dy    x  (3.1) a có nghiệm f  L2  a,b với hạt nhân K liên tục  a,b   a,b ,   L2  a,b  k 1, b b k  a a K  x, y  dxdy Chứng minh Xét toán tử b  Tf  x     K  x, y  f  y  dy    x  a Vì   L2  a,b , để Tf  L2  a,b ta cần chứng minh b  K  x, y  f  y  dy  L  a, b  a Bằng bất đẳng thức Schwarz ta thấy b b  K  x, y  f  y dy   K  x, y f  y  dy a a (3.2) b b 21   K  x, y dy     a Do b a   a b     K  x, y  a  K  x, y  f  y  dy  f  y 2dy   b  dy   f  y   a 21  dy   b b  b   K  x, y  f  y  dy dx     K  x, y  a a a a b b b b dy  f  y  a  dy dx  b    K  x, y  dydx  f  y  dy a a a Vì b b b  f  y  dy     K  x, y  dydx   a a a nên (3.2) thỏa mãn T ánh xạ L2  a,b vào Chú ý tốn tử xác định b  Af  x    K  x, y  f  y  dy a bị chặn Do theo định lí 3.1, phương trình Tf  f có nghiệm nhất,  k 1 Ví dụ 3.1 Xét phương trình tích phân b xy fxe2 a  hàm cho trước Vì f  y  dy    x  (3.3)  bb x y  e  e 2 b  e ab aa e  a  dxdy   nên phương trình (3.3) có nghiệm Ở  e ab eb  ea Định lí 3.3 (Sự tồn tính nghiệm phương trình tích phân Fredholm khơng tuyến tính) Giả sử b i) M f  K  x, y, f  y  dy f  L2  a,b a ii) iii) K  x, y, z1   K  x, y, z2   N  x, y  z1  z2  x, y, z1, z2  a,b b b   N  x, y  dxdy  k   a a Thì phương trình Fredholm khơng tuyến tính b f  x     K  x, y, f  y   dy    x  (3.4) a có nghiệm f  L2  a,b ,   L2  a,b   Chứng minh Xét toán tử Tf   Af   b  Af  x    K  x, y, f  y   dy a Khi 45 cho  k 1 Tf1  Tf2   b   K  x, y, f  y    K  x, y, f  y  dy a  b b 2       K  x, y, f1  y    K  x, y, f2  y   dy   dx    a a  f1  y   2   b b  dx f y dy          N  x, y    a a      k f1  f Rõ ràng  k 1 T tốn tử co, có điểm bất động Điểm bất động 1nghiệm phương trình (3.4) Chú ý K  x, y, f ( y)  K  x, y f ( y) phương trình (3.4) quy phương trình (3.1) Nên định lí 3.3 bao gồm trường hợp tuyến tính Định lí 3.4 (Phương trình tích phân Volterra loại 2) Giả sử   L2  a,b , hạt nhân K thỏa mãn điều kiện: b b (3.5)   K  x, y  dxdy   a a Khi phương trình (3.6) x f  x     K  x, y  f  y  dy    x  a có nghiệm L a,b với   □  2 Nghiệm viết dạng f x   x  x     K  x, t   t  dt n n 1 n a 46 (3.7) hạt nhân K x,t thỏa mãn hệ thức truy hồi  n K1  x,t   K  x,t  x K n  x, t    K  x,  K n 1  , t  d  a 47  n  2 (3.8) Chứng minh Đặt x A  x    K  x, y  dy a b B  y    K  x, y  dx y Từ (3.5) A B hàm khả tích, nên tồn số M cho b  A  x  dx  M a b  B  y  dy  M Ta đưa vào hàm    a,b  xác định a x   x    A  t  dt a Rõ ràng    x  M , x  a,b Xét toán tử x  Tf  x     K  x, y  f  y  dy    x  a Ta T ánh xạ co với n □ sử dụng bổ đề (3.2) để kết n luận T có điểm bất động Điểm bất động phải nghiệm (3.6) Nếu viết Tf  Wf   Ở x  Wf  x    K  x, y  f  y  dy a Khi n T f 2 n n    W   W     W f m Những tốn tử W viết dạng W g   x   m x  K  x, y  g  y  dy m a hạt nhân Kn xác định (3.8) Với m  ta có x z W g   x    K  x, z  K  z, y  g  y  dydz a a Tích phân xem tích phân kép miền tam giác  y, z  :a  y  z, a  z  x Sau hốn vị thứ tự tích phân, ta thu x x W g   x    K  x, z  K  z, y  dzg  y  dy a y Nếu ta kí hiệu x K2  x, y    K  x, z  K  z, y  dz y Khi lập luận tương tự, ta có    W g x x     a y Và tiếp tục nói trước Để ước lượng Với W tra m Km , ta kiểm m  , áp dụng bất đẳng thức Schwarz ta K  x, y    x    K x, z K2 z, y dzg y dy x  K  x, z  K  z, y  dz y x x 2   K  x, z  dz  K1  z, y  dz  A x  B  y  y y Tương tự x K3  x, y   K  x, z   y x dz  K2  z, y  dz y x  A x B  y   A z  dz A x B  y     x    y   y Bằng quy nạp, ta    x     y  K  x, y   A x  B  y  m  m  ! m2 với m2 Do T m f 1 x   T m f 2 x m   K  x, y   f  y   a  2m x m2  A x     x   m2 2m B  y  dy f  f a  x  m2 a   m  2 !  A x   x f2  y   dy  y   f  y  dy dyx f  m  2 ! a 2m m A x  B  y     x     y       x M ff 2 Lấy tích phân m  2với ! x  a,b  , ta thu m T f m T f 2   2m M m f  f  m 1! Do n  □ cho  2n M n  n 1! 1 2 với m  Khi T ánh xạ co, từ bổ đề (3.2) suy phương trình (3.6) có n nghiệm viết dạng n limT f n 2 3    W   W    W   tương đương với f x   x  x    n 1 n  x, t   t  dt K n a Định lí 3.5 (Phương trình tích phân Volterra nhất) Phương trình tích phân Volterra x , x 0,1 f  x     K  x, t  f  t  dt (3.9) có nghiệm tầm thường f  Chứng minh Từ (3.9) có x fx  K  x, t  (3.10) f  t  dt   Mp p   f  t  dt M số cho K  x, t   M với x,t   0,1 Do đó, việc sử dụng (3.9) (3.10), ta thu x fx 2 Mpdt   M px  K  x, t   Tiếp tục trình ta n f x   nM p  Điều f x  x  0,1  xn1  n 1!   nM np  n 1!  n  L2 Không gian [a,b] KẾT LUẬN không gian hàm nhận giá trị thực phức, đo Borel có bình phương khả tích Lesbegue Nó khơng gian Hilbert nên có đầy đủ tính chất khơng gian Các tốn tử khơng gian L2 tốn tử khơng gian [a,b] Hilbert, khóa luận trình bày loại tốn tử là: tốn tử tuyến tính bị chặn, toán tử compact, toán tử tự liên hợp, toán tử dương, toán tử chuẩn tắc toán tử Unita với tính chất đưa dạng định lí ví dụ cụ thể Các tốn tử sinh L2 -hạt nhân K  x, y hàm liên tục [a,b] [a,b] Ứng dụng quan trọng toán tử không gian L giải nghiệm [a,b] phương trình tích phân Fredholm, Volterra loại 2; khơng nhất, có sử dụng tính chất điểm bất động ánh xạ co ... hướng 1.2 Không gian Hilbert 1.3 Không gian L2 [a,b] Chương II Tốn tử tuyến tính khơng gian L2[a,b] 2.1 Tốn tử tuyến tính bị chặn 2.2 Tốn tử compact 2.3 Toán tử tự liên hợp 2.4 Toán tử compact... “Tốn tử tuyến tính khơng gian L2 [a,b] ứng dụng? ?? để nghiên cứu Mục đích nhiệm vụ nghiên cứu Khóa luận ý vào loại tốn tử tuyến tính khác khơng gian L2 [a,b] Đó tốn tử tuyến tính bị chặn, tốn tử. .. 1.2 Không gian Hilbert .5 1.3 Không gian L2 [a,b] Chương Tốn tử tuyến tính khơng gian L2 [a,b] .8 2.1 Tốn tử tuyến tính bị chặn 2.2 Toán tử compact 12 2.3 Toán tử