Tóm tắt Luận văn Thạc sĩ Toán học: Chuỗi Fourier và hai bài toán Vật lý

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

Thêm vào BST

Báo xấu

208
lượt xem 39
download

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

Tóm tắt Luận văn Thạc sĩ Toán học: Chuỗi Fourier và hai bài toán Vật lý trình bày lí thuyết chuỗi Fourier; ứng dụng của chuỗi Fourier để giải phương trình truyền nhiệt trong thanh; ứng dụng của chuỗi Fourier để giải phương trình dao động của dây.

Chủ đề:

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

Lưu

Nội dung Text: Tóm tắt Luận văn Thạc sĩ Toán học: Chuỗi Fourier và hai bài toán Vật lý

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH ----------------------- Dương Minh Hiển Tố CHUỖI FOURIER VÀ HAI BÀI TOÁN VẬT LÝ Chuyên ngành: Toán Giải Tích Mã số: 60 46 01 TÓM TẮT LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: TS. LÊ THỊ THIÊN HƯƠNG Thành phố Hồ Chí Minh – 2007
LỜI CẢM ƠN Qua thời gian học tập lớp cao học chuyên ngành toán giải tích (khóa 15), tôi xin chân thành gởi lời cảm ơn đến các thầy, cô khoa toán hai trường Đại học Sư Phạm TP. Hồ Chí Minh và Đại học Khoa Học Tự Nhiên TP. Hồ Chí Minh đã hết lòng tham gia giảng dạyï những tri thức và kinh nghiệm quý báu về toán học. Kiến thức toán học mà các thầy, cô truyền thụ đã cho chúng tôi sự hiểu biết sâu sắc, đầy đủ hơn những gì đã được học ở bậc đại học. Hơn nữa, các thầy, cô đã cho chúng tôi sự tự tin, niềm say mê nghiên cứu khoa học, dù chỉ là bước đầu chập chững. Đặc biệt, tôi xin bày tỏ lòng biết ơn đến cô TS. Lê Thị Thiên Hương đã dành nhiều thời gian quý báu, tận tình hướng dẫn, giúp đỡ và tạo mọi điều kiện cho tôi trong suốt quá trình viết luận văn. Sau cùng, tôi xin gởi lời cảm ơn đến các bạn học viên khoá 15 đã giúp đỡ tôi rất nhiều trong suốt khóa học.
MỞ ĐẦU Chuỗi Fourier (Joseph Fourier, 1768-1830) của một hàm tuần hoàn biểu diễn hàm đó dưới dạng tổng của các hàm tuần hoàn có dạng ao  f ( x)     an cos nx  bn sin nx  (1) 2 n 1 hay ở dạng phức  f ( x)  ce n  n inx (2) Việc nghiên cứu chuỗi này bắt nguồn từ các ngành của vật lí như lí thuyết dao động và lí thuyết truyền nhiệt. J. Fourier là người đầu tiên nghiên cứu chuỗi lượng giác theo các công trình trước đó của Euler, d’Alembert và Daniel Bernoulli. J. Fourier đã áp dụng chuỗi Fourier để giải phương trình nhiệt, các công trình đầu tiên của ông được công bố vào năm 1807 và 1811, cuốn Lí thuyết giải tích về nhiệt học (Théorie analytique de la chaleur) của ông được công bố vào năm 1822. Nhiều nhà toán học nổi tiếng, trong đó có Riemann, Cantor và Lebesgue gắn liền với ngành này. Hoàn toàn có thể nói rằng, trong thời đại của chúng ta, với sức hấp dẫn và sự phát triển của mình, chuỗi Fourier đang chiếm một vị trí quan trọng trong giải tích. Luận văn nghiên cứu chuỗi Fourier và ứng dụng của nó trong hai bài toán vật lí là dao động của dây và truyền nhiệt trong thanh. Nội dung của luận văn bao gồm các chương mục sau Chương 1 trình bày lí thuyết chuỗi Fourier. Chương 2 trình bày ứng dụng của chuỗi Fourier để giải phương trình truyền nhiệt trong thanh. Chương 3 trình bày ứng dụng của chuỗi Fourier để giải phương trình dao động của dây. Sau cùng là kết luận và danh mục tài liệu tham khảo. Mặc dù tác giả đã có nhiều cố gắng trong quá trình nghiên cứu và viết luận văn, tuy nhiên, do kiến thức toán học của bản thân còn hạn chế và thời gian nghiên cứu không nhiều nên luận văn khó tránh khỏi những sai sót. Rất mong được sự góp ý của quí thầy, cô và các bạn đồng nghiệp. Tác giả
Chương 1. CHUỖI FOURIER 1.1.CHUỖI FOURIER CỦA HÀM TUẦN HOÀN CHU KÌ 2 1.1.1.Hàm tuần hoàn Hàm f(x) xác định trên D được gọi là hàm tuần hoàn nếu tồn tại một hằng số dương T sao cho với mọi x thuộc D i) x  T  D ii)f(x+T)=f(x) (1.1) Số T>0 nhỏ nhất có tính chất như vậy được gọi là chu kì tuần hoàn của hàm f(x). Các hàm tuần hoàn quen biết nhất là các hàm sinx, cosx, tanx, cotx,…Ta thường gặp các hàm tuần hoàn trong nhiều ứng dụng của toán học vào các bài toán vật lí và kĩ thuật. Tổng, hiệu, tích, thương của các hàm tuần hoàn có cùng chu kì T cũng luôn luôn là hàm tuần hoàn có chu kì T. Nếu ta dựng đồ thị của hàm tuần hoàn y=f(x) đối với các giá trị của x thuộc một đoạn [a,a+T] nào đó, thì đồ thị của toàn bộ hàm này sẽ nhận được bằng cách lặp lại tuần hoàn phần đã dựng được (hình 1.1) f(x) 5 4 3 2 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 -1 -2 -3 -4 -5 Hình 1.1 1.1.2.Chuỗi Fourier của hàm tuần hoàn chu kì 2 Giả sử đối với hàm f(x) có chu kì 2 ta có khai triển sau ao  f ( x)     ak cos kx  bk sin kx  (1.2) 2 k 1
ao Số hạng hằng số ở đây được kí hiệu để cho các công thức này có tính đối xứng. Ta lập bài toán 2 tính các hệ số ao , ak , bk với k=1, 2,… khi biết hàm f(x). Muốn vậy ta giả thiết chuỗi (1.2) và các chuỗi sẽ nhận được có tích phân của tổng bằng tổng các tích phân (ta giả thiết cả tính khả tích của f(x)). Lấy tích phân đẳng thức (1.2) trên đoạn [-;], ta có   a       f ( x)dx  o 2  dx    k 1  ak  cos kxdx  bk  sin kxdx       Do    sin kx   cos kxdx   k    0    cos kx   sin kxdx   k    0 nên   f ( x)dx   a  o (1.3) Nhân hai vế của đẳng thức (1.2) với cosnx và lấy tích phân trên đoạn [-;], ta được       ao   f ( x)cos nxdx   cos nxdx   ak  cos kx cos nxdx  bk  sin kx cos nxdx   2  k 1     Ta cũng có    sin nx   cos nxdx   n    0   1 Khi k  n :   cos kx cos nxdx  2  [cos(k  n) x  cos(k  n) xdx  0   1  cos 2nx  cos nxdx   dx   2 Khi k = n:   2  Như vậy   f ( x) cos nxdx  a . n (1.4)  Tương tự ta tìm được  f ( x) sin nxdx  b .  n (1.5) Từ (1.3), (1.4) và (1.5) suy ra
  1 an   f ( x) cos nxdx (n  0,1, 2,...)      1.6  b  1 f ( x) sin nxdx  n   (n  1, 2,...)   Vậy, nếu hàm f(x) khả tích và có thể khai triển thành chuỗi lượng giác thì các hệ số an , bn được tính theo các công thức (1.6). Bây giờ cho trước một hàm khả tích có chu kì 2 nào đó, ta muốn biểu diễn hàm này dưới dạng chuỗi lượng giác. Các hệ số an , bn tính theo các công thức (1.6) được gọi là các hệ số Fourier của hàm f(x), còn chuỗi lượng giác với các hệ số này được gọi là chuỗi Fourier của nó. Ta chú ý rằng trong các công thức (1.6) có tính tích phân các hàm có chu kì 2. Vì vậy đoạn tích phân [-;] có thể được thay bằng đoạn bất kì có độ dài 2. Ngoài các công thức (1.6) ta còn có a  2  1  a  an  f ( x) cos nxdx (n  0,1, 2,..)   a  2 1.7  b  1  n   f ( x) sin nxdx (n  1, 2,..)  a Khi lập chuỗi Fourier của hàm f(x) và chưa biết nó có hội tụ đến f(x) hay không, ta viết ao  f ( x)    ak cos kx  bk sin kx  2 k 1 Cách viết này có nghĩa là hàm f(x) tương ứng với chuỗi Fourier ở vế phải. Khi ta chứng minh được tính hội tụ của chuỗi và tổng của nó bằng f(x) thì ta viết ao  f ( x)     ak cos kx  bk sin kx  2 k 1 Ví dụ 1.1: Tìm chuỗi Fourier của hàm f xác định bởi 0 khi -  x
f(x) 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 Hình 1.2 Töø coâng thöùc (1.6) ta coù  0  1 1 1 1 ao     f ( x)dx    0.dx    1dx  0   .  1  0  1 0  an   f ( x) cos nxdx  1  0dx  1  cos nxdx        1 sin nx  1  0 .   .  sin n  sin 0   0  . n  0 n  0  1 1 1 bn    f ( x) sin nxdx    0dx    sin nxdx   0  1 cos nx  1  0 .   .  cos n  cos 0   n  0 n 0, khi n=2m   2  n ,khi n=2m+1 Chuoãi Fourier cuûa haøm f laø ao  f  x    ak cos kx  bk sin kx  2 k 1 ao   a1 cos x  a2 cos 2 x  ...  b1 sin x  b2 sin 2 x  ... 2 1 2 2   0  0  ..  sin x  0.sin 2 x  .sin 3 x  ... 2  3 1 2 2   sin x  .sin 3 x  ... 2  3 1  2   sin(2k  1) x 2 k 1 (2k  1) Tổng riêng thứ n
1 2 2 2 Sn (x)   sin x  .sin 3 x  ...  sin nx 2  3 n trong đó n lẻ. Đồ thị của hàm Sn(x) (hình 1.3) f(x) 1.5 1 S1 0.5 S3 x -3 -2.5 -2 -1.5 -1 -0.5 0.5 1 1.5 2 2.5 3 -0.5 a) b) f(x) f(x) S9 1.5 S15 1.5 1 1 0.5 0.5 x x -3 -2.5 -2 -1.5 -1 -0.5 0.5 1 1.5 2 2.5 3 -3 -2.5 -2 -1.5 -1 -0.5 0.5 1 1.5 2 2.5 3 -0.5 -0.5 c) d) Hình 1.3 Ta thấy rằng, khi n càng lớn, hàm Sn(x) càng xấp xỉ hàm f hơn. Đồ thị của Sn(x) tiến gần đến đồ thị hàm f(x), ngoại trừ tại x=0 và các điểm k (kZ). Nói cách khác, f(x) bằng tổng của chuỗi Fourier của nó, ngoại trừ tại các điểm mà f không liên tục. 1.1.3.Dấu hiệu hội tụ của chuỗi Fourier Định lí: Cho hàm f tuần hoàn với chu kì 2, bị chặn và đơn điệu từng khúc trên mỗi chu kì. Khi đó chuỗi Fourier của hàm f hội tụ, tổng của chuỗi Fourier bằng f(x) tại mọi điểm x mà hàm f liên tục. Tại những điểm xo mà hàm f không liên tục, tổng chuỗi fourier hội tụ về giá trị 1  f ( xo )  f ( xo )  2 trong đó f ( xo )  lim f ( x) x  xo  f ( x )  lim f ( x) o x  xo Nếu áp dụng định lí về dấu hiệu hội tụ cho hàm f trong ví dụ 1.1, ta có
f (0 )  lim f ( x)  1 x 0 f (0 )  lim f ( x)  0 x 0 và kết quả tương tự với các điểm khác mà hàm f không liên tục. Hơn nữa ta có 1 1  f (0 )  f (0 )   2 2 Vậy với mọi số nguyên n, ta có 1  2 S ( x)    sin(2k  1) x 2 k 1 (2k  1)  f ( x), khi x  n   1  2 , khi x=n 1.1.4.Dạng phức của chuỗi Fourier đối với hàm tuần hoàn chu kì 2 Giả sử hàm f(x) khả tích trên đoạn [-;]. Đối với hàm này ta lập chuỗi Fourier ao  f ( x)    an cos nx  bn sin nx  (1.8) 2 n 1 trong đó   1 an   f ( x) cos nxdx (n  0,1, 2,..)      (1.9) b  1 f ( x)sin nxdx  n   (n  1, 2,..)   Ta sử dụng đẳng thức Euler liên hệ các hàm lượng giác với hàm mũ ei  cos   i sin  ei  e i ei  e i Suy ra cos   ,sin   2 2i Vì vậy ta có thể viết einx  e inx einx  e inx einx  e inx cos nx  ,sin   i 2 2i 2 Thay vào (1.8) ta được ao   an  ibn inx an  ibn  inx  f ( x)  e  e  (1.10) 2 n 1  2 2  ao a  ibn a  ibn Nếu đặt co  , cn  n , c n  n (n  1, 2,..) (1.11) 2 2 2 thì tổng riêng thứ m của chuỗi (1.10), tức là của cả chuỗi (1.8), có thể được viết là
m m Sm ( x)  co   (cn e  c n e inx  inx ) ce n inx (1.12) n 1 n m Vì vậy ta có cách viết  f ( x) ce n  n inx (1.13) Đây là dạng phức của chuỗi Fourier của hàm f(x). Tính hội tụ của chuỗi (1.13) được hiểu như tính tồn tại giới hạn khi m   của các tổng đối xứng (1.12). Các hệ số cn cho bởi công thức (1.11) được gọi là các hệ số Fourier phức của hàm f(x). Đối với các hệ số này có các hệ thức sau  1  f ( x)e  inx cn  dx (n  0, 1, 2,..) (1.14) 2  Thật vậy, nhờ đẳng thức Euler và các công thức (1.11) ta có    1 1 1  f ( x)e [  f ( x) cos nxdx  i  f ( x) sin nxdx]  (an  ibn )  cn  inx dx  2  2   2    1 1 1 2   f ( x)einx dx  [  f ( x) cos nxdx  i  f ( x)sin nxdx]  (an  ibn )  c n 2   2 Đối với hàm thực f(x) có các hệ số cn và c-n là các số phức liên hợp. Điều này suy ra từ (1.11). Ta nhận thấy các công thức (1.14) có thể nhận được bằng cách tính trực tiếp giống như các công thức (1.9), nếu giả thiết rằng trong (1.13) thay dấu () bởi dấu (=) và phép tích phân từng phần của các  chuỗi là đúng. Thật vậy, khi nhân cả hai vế của đẳng thức f ( x)  ce k  n ikx với e -inx và tích phân vế phải từng thành phần trên đoạn [-;] ta tìm được   f ( x)e dx  2 cn  inx (1.15)  Vì với k  n ta có   1 e dx  ck  [cos(k  n) x  i sin(k  n) x]dx  0 i ( k n ) x ck  2   tức là tất cả các tích phân ở vế phải sẽ bằng 0, trừ tích phân tương ứng khi k=n ta được 2 cn . Các công thức (1.14) được suy ra từ (1.15). 1.2.CHUỖI FOURIER CỦA HÀM CHẴN, HÀM LẺ CHU KÌ 2 1.2.1.Hàm chẵn, hàm lẻ Giả sử hàm f(x) cho trước trên toàn trục Ox, hay trên một đoạn nào đó đối xứng qua gốc tọa độ.
Ta nói f(x) là hàm chẵn nếu với mọi x ta có f(-x) = f(x) Từ định nghĩa này suy ra rằng đồ thị của mọi hàm chẵn y=f(x) đối xứng qua trục Oy. Đối với hàm chẵn ta có l l  f ( x)dx  2 f ( x)dx l 0 (1.16) với mọi l ( chỉ cần f(x) xác định và khả tích trên đoạn [-l;l]) Ví dụ 1.2: Hàm số y  x cos x là hàm chẵn, đồ thị đối xứng qua Oy (hình 1.4) 2 f(x) 0.5 x -1.5 -1 -0.5 0.5 1 1.5 -0.5 -1 -1.5 Hình 1.4 Ta gọi hàm số f(x) là hàm lẻ nếu với mọi x ta có f(-x)=-f(x) Đồ thị của hàm lẻ y=f(x) đối xứng qua gốc O(0;0). Đối với hàm lẻ ta có l  f ( x)dx  0 l (1.17) với mọi l ( chỉ cần f(x) xác định và khả tích trên đoạn [-l;l]) Ví dụ 1.3: Hàm số y=x3-2x là hàm số lẻ, đồ thị đối xứng qua gốc O (hình 1.5) f(x) 2 1 x -1 1 -1 -2 Hình 1.5 Từ định nghĩa hàm chẵn và hàm lẻ dễ dàng suy ra
1)Tích của hai hàm chẵn, hay hai hàm lẻ là một hàm chẵn 2)Tích của một hàm chẵn và một hàm lẻ là một hàm lẻ. Thật vậy, Nếu  ( x), ( x) là các hàm chẵn thì đối với f ( x)   ( x). ( x) ta có : f ( x)   ( x). ( x)   ( x). ( x)  f ( x) Nếu  ( x), ( x) là các hàm lẻ thì đối với f ( x)   ( x). ( x) ta có : f ( x)   ( x). ( x)  [ ( x)].[ ( x)]   ( x). ( x)  f ( x) Như vậy tính chất 1) đã được chứng minh. Nếu  ( x) là hàm chẵn,  ( x) là hàm lẻ thì đối với f ( x)   ( x). ( x) ta có : f ( x)   ( x). ( x)   ( x).[ ( x)]   ( x). ( x)   f ( x) Như vậy tính chất 2) đã được chứng minh. 1.2.2. Chuỗi Fourier của hàm chẵn, hàm lẻ chu kì 2 Giả sử f(x) là hàm chẵn, tuần hoàn, có chu kì 2. Vì hàm cosnx (n=0,1,2,..) là hàm chẵn nên theo tính chất 1) ở 1.2.1) ta có f(x).cosnx là hàm chẵn. Vì hàm sinnx (n=1,2,..) là hàm lẻ, nên theo tính chất 2) ở (1.2.1) ta có f(x).sinnx là hàm lẻ. Khi đó do (1.6), (1.16) và (1.17), đối với các hệ số Fourier của hàm chẵn f(x) ta có   1 2  an     f ( x) cos nxdx    0 f ( x) cos nxdx (n  0,1, 2,..)     (1.18) 1  bn     f ( x) sin nxdx  0 (n  1, 2,..)   Do đó, chuỗi Fourier của hàm chẵn chỉ chứa hàm cosin, tức là ao  f ( x)   an cos nx (1.19) 2 n 1 trong đó các hệ số an được tính theo các công thức (1.18). Bây giờ giả sử f(x) là hàm lẻ, tuần hoàn có chu kì 2. Vì cosnx (n=0,1,2,..) là hàm chẵn nên theo tính chất 2) ở (1.2.1) ta có f(x).cosnx là hàm lẻ, còn hàm sinnx (n=1,2,..) là hàm lẻ, nên f(x).sinnx là hàm chẵn. Khi đó do (1.6), (1.16) và (1.17), đối với các hệ số Fourier của hàm lẻ f(x) ta có  1  an    f ( x) cos nxdx  0 (n  0,1, 2,..)       (1.20) 1 2  bn     f ( x) sin nxdx    f ( x) sin nxdx (n  1, 2,..)    Do đó, chuỗi Fourier của hàm lẻ chỉ chứa hàm sin, tức là
 f ( x) b n 1 n sin nx (1.21) trong đó các hệ số bn được tính theo các công thức (1.20). Vì chuỗi Fourier của hàm lẻ chỉ chứa hàm sin nên rõ ràng nó luôn luôn hội tụ đến 0 khi x dần tới  , 0,  (nói chung x dần tới k), bất kể giá trị của f(x) tại các điểm này bằng bao nhiêu. Ta thường gặp bài toán khai triển hàm f(x) trên đoạn [0,] theo hàm cosin hay hàm sin. Để khai triển f(x) thành chuỗi theo hàm cosin ta có thể lí luận như sau: Ta thác triển f(x) một cách chẵn từ đoạn [0,] ra đoạn [-,0] (hình 1.6)  f ( x), 0  x   f1 ( x)    f ( x),   x  0 Hàm f1 được gọi là thác triển chẵn của hàm f. f(x) 4 3 2 1 x -4 -3 -2 -1 1 2 3 4 Hình 1.6 Khi đó với hàm chẵn vừa thác triển, thì tất cả các lí luận ở trên đều đúng, do đó các hệ số Fourier có thể được tính theo các công thức  2  an   0 f ( x) cos nxdx (n  0,1, 2,..)   (1.22) bn  0 (n  1, 2,..)   Trong các công thức này chỉ có mặt các giá trị cho trước trên đoạn [0,] của f(x). Do đó, khi tính toán thực tế có thể không cần làm phép thác triển chẵn như đã nêu. Để khai triển f(x) thành chuỗi theo hàm sin ta có thể lí luận như sau: Ta thác triển f(x) một cách lẻ từ đoạn [0,] ra đoạn [-,0] (hình 1.7).  f ( x), 0  x   f 2 ( x)    f ( x),   x  0 Hàm f 2 được gọi là thác triển lẻ của hàm f Khi đó các hệ số Fourier được tính theo công thức
an  0 (n  0,1, 2,..)    2  (1.23) bn     f ( x) sin nxdx (n  1, 2,..)   f(x) 4 3 2 1 x -4 -3 -2 -1 1 2 3 4 -1 -2 -3 -4 Hình 1.7 Vì ở đây chỉ có giá trị f(x) trên đoạn [0,] nên cũng như trong trường hợp chuỗi theo hàm cosin, thực tế không cần thực hiện phép thác triển hàm f(x) từ đoạn [0,] ra đoạn [-,0]. Tuy nhiên để khỏi mắc sai lầm khi sử dụng dấu hiệu hội tụ trong (1.1.3), ta cần phác vẽ đồ thị của hàm f(x) với thác triển chẵn hay lẻ của nó trên đoạn [-,0] và với thác triển tuần hoàn (theo chu kì 2) trên trục Ox. Ví dụ 1.4: Tìm chuỗi Fourier cosin của hàm f(x)=x với x   0,   Giải Theo (1.22) ta có a0     2 2 an    f ( x) cos nxdx    x cos nxdx 0 0  2 n 2  cos n  1  2 n 2  1  1 (n  1, 2,..) n bn  0 (n  1, 2,..) Do đó ao   4 1 1 f ( x)   an cos nx   (cos x  cos 3 x  cos 5 x  ..) 2 n 1 2  9 25
n=1 n=3 f(x) f(x) 3 3 2 2 1 1 x x 1 2 3 1 2 3 Hình 1.8 Ví dụ 1.5: Tìm chuỗi Fourier sin của hàm f(x)=1 với x   0,   Giải Theo (1.23) ta có an  0 (n  0,1, 2,..)   2 2 bn    f ( x) sin nxdx    sin nxdx 0 0 2 2  ( cos nx  1)  (1  (1) n ) (n  1, 2,..) n n Do đó 4 1 1  f ( x)  sin x  sin 3 x  sin 5 x  ..   3 5  n=1 n=5 f(x) f(x) 1 1 x x 1 2 3 4 1 2 3 4 Hình 1.9 Ví dụ 1.6: Tìm chuỗi Fourier của hàm f(x)=x2 với   x   , f(x+2)=f(x) Giải Ta có f là hàm chẵn, đồ thị của f được vẽ trên hình (1.10) f(x) 10 9 8 7 6 5 4 3 2 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Hình 1.10
Vì f liên tục, trơn từng khúc nên theo dấu hiệu hội tụ ở (1.1.3), chuỗi Fourier sẽ hội tụ khắp nơi về hàm f. Ta có   2 2  x3  2 2 ao   x dx     2  0   3 0 3   2 2 1 2x 2  an   x cos nxdx   x 2 sin nx  2 cos nx  3 sin nx  2  0  n n n 0 4 4 2 cos n  (1) n . 2 (n  1, 2,..) n n bn  0 (n  1, 2,..) 2 1 1 Vậy f ( x)   4(cos x  cos 2 x  cos 3x  ..) 3 22 32 f(x) 10 9 8 7 6 5 4 3 2 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 f(x) 10 9 8 7 6 5 4 3 2 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Hình 1.11 (n=1,n=3) Ví dụ 1.7: Tìm chuỗi Fourier của hàm f(x)=x với   x   , f(x+2)=f(x) Giải Ta có f là hàm lẻ, đồ thị của f được cho trên hình (1.12) f(x) 3 2 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 -1 -2 -3 Hình 1.12 Theo (1.23) ta có:
an  0 (n  0,1, 2,..)   2 2 x 1  bn   x sin nxdx     cos nx  2 sin x     n n 0 2 2   cos n  .(1) n 1 (n  1, 2,..) n n Vậy 1 1 f ( x)  2(sin x  sin 2 x  sin 3x  ..) 2 3 f(x) 3 2 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 -1 -2 -3 f(x) 3 2 1 x -9 -8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8 9 -1 -2 -3 Hình 1.13 (n=1,n=3) 1.3.CHUỖI FOURIER CỦA HÀM TUẦN HOÀN CHU KÌ TÙY Ý 1.3.1.Chuỗi Fourier của hàm có chu kì tùy ý Nếu một hàm f tuần hoàn có chu kì khác 2, ta tìm chuỗi Fourier của nó bằng phép đổi biến số. Giả sử hàm f(x) có chu kì 2l , nghĩa là f(x+2l)=f(x) với mọi x. Đặt x  lt  t và g (t )  f ( x)  f   l   thì ta xác định được hàm g có chu kì 2 và x  l tương ứng với t   . Chuỗi Fourier của hàm g là ao  g (t )    an cos nt  bn sin nt  (1.24) 2 n 1 trong đó   1 an   g (t ) cos ntdt (n  0,1, 2,..)      b  1 g (t ) sin ntdt  n   (n  1, 2,..)  
Trở lại biến x ban đầu ta có chuỗi Fourier của hàm f(x) là ao   n x n x  f ( x)    an cos  bn sin  (1.25) 2 n 1  l l  trong đó  1 l n x a  n   l  l f ( x ) cos l dx (n  0,1, 2,..)  (1.26) b  1 f ( x) sin n x dx l  n l l (n  1, 2,..)  l Ví dụ 1.8: Tìm chuỗi Fourier của hàm f xác định bởi: f ( x)  x với 1  x  1 và f(x+2)=f(x) với mọi x. Giaûi Đồ thị của hàm f được biểu diễn ở hình (1.14), f có chu kì T=2l=2 f(x) 1 x -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 Hình 1.14 Từ (1.26) ta có các hệ số Fourier là 0 1 x2  x2  l 1 0 1 1 1 a0   f ( x)dx   x dx   ( x)dx   xdx       1 l l 1 1 1 0 2  1 2  0 Khi n≥1 ta có: n x l 1 1 1 an   f ( x) cos dx   x cos(n x)dx  2  x cos(n x)dx l l l 1 0 1  x 1   1  2  x cos(n x)dx  2   sin(n x)  2 2 cos(n x)     n n  0  1   2 0, khi n  2k  2 2  cos n  1   n  24 2 , khi n  2k  1  n n x l 1 1 bn   f ( x) sin dx   x sin(n x)dx  0 l l l 1 (Do x cos(n x) là hàm chẵn, x sin(n x) là hàm lẻ) Từ đó, chuỗi Fourier của hàm f là
1 4 4 4 f ( x)  2 cos( x)  2 2 cos(3 x)  2 2 cos(5 x)  .. 2  3 5 hay 1  4 f ( x)  cos[(2n  1) x] 2 n 1  2n  12  2 n=1 f(x) 1 x -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 n=3 f(x) 1 x -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 Hình 1.15 1.3.2.Chuỗi Fourier của hàm chẵn, hàm lẻ chu kì tùy ý Giaû söû f(x) laø haøm chaün, tuaàn hoaøn coù chu kì 2l. Tương tự trường hợp haøm coù chu kì 2, ta coù theå ñònh nghóa chuoãi Fourier cuûa f trong caùc tröôøng hôïp f laø haøm chaün hay haøm leû. Töø keát quaû ôû (1.3.1), vôùi pheùp ñoåi bieán x  lt  t và g (t )  f ( x)  f   l   ta ñöôïc haøm g coù chu kì 2 và x  l tương ứng với t   . Chuỗi Fourier của hàm g là ao  g (t )    an cos nt  bn sin nt  (1.27) 2 n 1 trong đó   1 1 l  n x   an   g (t ) cos ntdt   f ( x ) cos   dx ( n  0,1, 2,..)    l l  l    b  1 g (t ) sin ntdt  1 f ( x ) sin  n x  dx l  n   l l   l   ( n  1, 2,..)    n x  Neáu f(x) laø haøm chaün thì f ( x) sin   laø haøm leû.  l  Do ñoù
bn =0 (n=1,2,..)   n x   n x  l l  1 2 (1.28) an  l  f ( x)cos  l  dx  l  f ( x)cos  l  dx (n=0,1,2,..)  l   0   Chuỗi Fourier của haøm f laø ao   n x  f ( x)   an cos   (1.29) 2 n 1  l   n x  Neáu f(x) laø haøm leû thì f ( x) cos   laø haøm leû. Do ñoù  l  an  0 (n  0,1, 2,..)  n x  n x  l l  1 1 (1.30) l l 2l 0 bn  f ( x ) sin dx  f ( x ) sin   ( n  1, 2,..)  l  l  Chuoãi Fourier cuûa haøm f laø   n x  f ( x) b n 1 n sin   l   (1.31) Ví duï 1.9: Tìm chuoãi Fourier cuûa haøm f(x)= sin x Giaûi Ta coù f laø haøm chaün, chu kì  vaø sin x =sinx vôùi x   0,   , neân   2  2  2 2  a0   f ( x)dx   sin x dx   sin xdx  .   cos x    0  0  0  0 2 4    cos   cos 0       2 2 an    f ( x) cos nxdx    sin x cos nxdx 0 0  1    sin( x  nx)  sin( x  nx) dx 0  1    sin(1  n) x  sin(1  n) x  dx 0  1  cos(1  n) x cos(1  n) x       1 n 1  n  0 1   1  1  1  1    1n  1  1n  1  n 1 n 1 1          1  n 1 n     1 n 1 n  