Chơng 5. Biến Đổi Fourier Và Biến Đổi Laplace Giáo Trình Toán Chuyên Đề Trang 85 Đ4. Tính chất của biến đổi Fourier Giả sử các hàm mà chúng ta nói đến sau đây khả tích tuyệt đối và do đó luôn có ảnh và nghịch ảnh Fourier. Kí hiệu f F với f(t) là hàm gốc và F() là hàm ảnh tơng ứng. 1. Tuyến tính Nếu hàm f và hàm g khả tích tuyệt đối thì với mọi số phức hàm f + g cũng khả tích tuyệt đối. , f(t) + g(t) F(z) + G(z) (5.4.1) Chứng minh ( ) + + dte)t(g)t(f ti = + dte)t(f ti + + dte)t(g ti 2. Dịch chuyển gốc Nếu hàm f khả tích tuyệt đối thì với mọi số thực hàm f(t - ) cũng khả tích tuyệt đối. 3, f(t - ) e -i F() (5.4.2) Chứng minh + dte)t(f ti = e -i + )t(de)t(f )t(i Đổi biến = t - 3. Đồng dạng Nếu hàm f khả tích tuyệt đối thì với mọi số thực khác không hàm f(t) cũng khả tích tuyệt đối. 3 * , f(t) )(F | | 1 và f(-t) F(-) (5.4.3) Chứng minh + dte)t(f ti = + )t(de)t(f )sgn( )t(i Đổi biến = t Ví dụ Cho f(t) = > 1 |t| 0 1 |t| 1 F() = 2 sin Ta có g(t) = f(3t + 3) - 2 1 f(t + 3) G() = 2e i3 )3/sin( - e ỉ3 sin 4. Đạo hàm gốc Giả sử hàm f và các đạo hàm của nó khả tích tuyệt đối. f(t) iF() và n , f (n) (t) (i) n F() (5.4.4) Chứng minh f(t) + dte)t(f ti = + ti e)t(f + (i) + dte)t(f ti = (i) + dte)t(f ti Qui nạp suy ra công thức thứ hai. Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Chơng 5. Biến Đổi Fourier Và Biến Đổi Laplace Trang 86 Giáo Trình Toán Chuyên Đề 5. Tích phân gốc Giả sử hàm f và tích phân của nó khả tích tuyệt đối. t d)(f i 1 F() + F(0)() (5.4.5) Chứng minh Kí hiệu g(t) = t d)(f G(), g(t) = f(t) Theo tính chất 4 3, (i)G() = F() Suy ra G() = i 1 F() với 0 và G(0) = F(0)() 6. ảnh của tích chập Nếu hàm f và hàm g khả tích tuyệt đối thì tích chập của chúng cũng khả tích tuyệt đối. (fg)(t) F()G() (5.4.6) Chứng minh (fg)(t) + + dted)(g)t(f ti = + + de)(gdte)t(f i)t(i = F()G() 7. Hệ thức Parseval Giả sử hàm f và hàm ảnh F của nó khả tích tuyệt đối. + dt|)t(f| 2 = 2 1 + d)(F 2 (5.4.7) Chứng minh + dt|)t(f| 2 = + dt)t(f)t(f * = + + dtde)(F 2 1 )t(f it* = + + d)(Fdte)t(f 2 1 *it = 2 1 + d)(F 2 Ví dụ 1. (t) 1 (t) = t d)( i 1 + () và (t) = dt d i( i 1 + ()) 1 2. g(t) = t d)(f = (f)(t) F()( i 1 + ()) = i 1 F() + F(0)() 3. f(t) = [e - t (t)][e - à t (t)] ( à) F() = +à+ i 1 i 1 = ) i 1 i 1 ( 1 +à +à F ) (t) = à 1 (e - t - e - à t )(t) f(t) Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Chơng 5. Biến Đổi Fourier Và Biến Đổi Laplace Giáo Trình Toán Chuyên Đề Trang 87 Công thức đối ngẫu So sánh cặp công thức Fourier (5.3.1) và (5.3.2) f(t) F() F(t) 2 + de)(f 2 1 )(i = 2 F ( (-) 2f(-) F() f(t) f() + de)(f 2 1 )t(i = 2 1 f (-t) 2 1 f(-t) (5.4.8) Từ đó suy ra tính đối ngẫu của cặp biến đổi Fourier. Nếu biến đổi Fourier thuận có tính chất thì biến đối Fourier nghịch cũng có tính chất đó chỉ sai khác một hằng số 2 và biến số có dấu ngợc lại. Chúng ta có các công thức sau đây. 2. Dịch chuyển ảnh 3 e i t f(t) F( - ) (5.4.2) 3. Đồng dạng 3 * ) t (f | | 1 F( ) (5.4.3) 4. Đạo hàm ảnh - itf(t) F( ) và n , (-it) n f(t) F (n) ( ) (5.4.4) 5. Tích phân ảnh - it 1 f(t) + f(0) (t) d)(F (5.4.5) 6. ảnh của tích f(t)g(t) + d)(G)(F 2 1 = 2 1 (F G)( ) (5.5.6) Ví dụ 1. f(t) = e - |t| ( > 0) F( ) = 22 2 + g(t) = 22 t 2 + G() = 2e - | | 2. F() = + ia 1 (Rea > 0) f(t) = e -at (t) G() = e -a () g(t) = 2 1 ita 1 3. u(t) =1 2() 3, e i t 2( - ) f(t) = sint = i 2 1 e i t - i 2 1 e -i t F() = i ( - ) - i ( + ) G() = sin g(t) = 2 1 ( i (-t - ) + i (-t + )) Đ5. Tìm ảnh, gốc của biến đổi Fourier Từ cặp công thức đối ngẫu (5.4.8) suy ra rằng nếu chúng ta có đợc một công thức cho hàm ảnh thì sẽ có công thức tơng tự cho hàm gốc và ngợc lại. Vì vậy trong mục này chúng ta chỉ đa ra công thức tìm ảnh hoặc công thức tìm gốc. Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Chơng 5. Biến Đổi Fourier Và Biến Đổi Laplace Trang 88 Giáo Trình Toán Chuyên Đề ảnh của hàm tuần hoàn Do hàm mũ g() = e -i t tuần hoàn với chu kỳ T = 2 nên hàm ảnh F() luôn là hàm tuần hoàn với chu kỳ T = 2. Ngợc lại, ta có 3, F 1 () = 2( - ) f 1 (t) = 2 1 + dte)(2 ti = e i t Nếu hàm f(t) là hàm tuần hoàn chu kỳ T, khai triển Fourier f(t) = + - tik k ea với a k = T 0 tik dte)t(f T 1 , k 9 và = T 2 Do tính tuyến tính f(t) F( ) = + - k )k(2a (5.5.1) Ví dụ 1. Hàm f(t) = + )nTt( tuần hoàn chu kỳ là T và k 9, a k = T 1 suy ra f(t) = + )nTt( F() = + ) T 2 k( T 2 2. Ta có f(t) = cost = 2 1 e -i t + 2 1 e i t F() = ( + ) + ( - ) suy ra f(t)g(t) + d)(G)(F 2 1 = 2 1 G( + ) + 2 1 G( - ) với g(t) G() ảnh của hàm trị thực Kí hiệu f * (t) là liên hợp phức của hàm f(t). Khi đó nếu hàm f khả tích tuyệt đối thì hàm f * cũng khả tích tuyệt đối và ta có + dte)t(f ti* = * t)(i dte)t(f + = F * (- ) Từ đó suy ra công thức f * (t) F * (-) (5.5.2) Giả sử 3, F() = R() + iI() = |F()| e ( ) Nếu f(t) là hàm trị thực f * (t) = f(t) F * (-) = R(-) - iI(-) F() = R() + iI() Từ đó suy ra R(-) = R(), I(-) = - I() và |F(-)| = |F()|, (-) = - () (5.5.3) Nếu f(t) là hàm trị thực và chẵn f * (t) = f(t) và f(-t) = f(t) F * (-) = F(-) = F() là hàm trị thực và chẵn Nếu f(t) là hàm trị thực và lẻ Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . Chơng 5. Biến Đổi Fourier Và Biến Đổi Laplace Giáo Trình Toán Chuyên Đề Trang 89 f * (t) = f(t) và f(-t) = - f(t) F * (-) = - F(-) = F() là hàm thuần ảo và lẻ Nếu f(t) là hàm trị thực bất kì, phân tích f(t) = 2 1 [(f(t) + f(-t)] + 2 1 [f(t) - f(-t)] = Ef(t) + Of(t) với Ef là hàm chẵn và Of là hàm lẻ. Dùng tính tuyến tính và các kết quả ở trên f(t) R( ) + iI( ) = F( ) (5.5.4) Ví dụ f(t) = e - |t| = 2E{ e - t (t) } ( > 0) F( ) = 2Re{ + i 1 } = 22 2 + Gốc của hàm hữu tỷ Ta đ có + ia 1 (Rea > 0) e -at (t) (5.5.5) Sử dụng công thức đạo hàm ảnh và qui nạp suy ra n )ia( 1 + (Rea > 0) )!1n( t 1n e -at (t) (5.5.6) Xét trờng hợp hàm F() là một phân thức hữu tỷ thực sự. Do hàm F() khả tích tuyệt đối nên nó không có cực điểm thực. Trớc hết chúng ta phân tích F() thành tổng các phân thức đơn và phân thực bội. Sau đó sử dụng các công thức (5.4.1) - (5.4.7) để đa về các trờng hợp trên. Trong các trờng hợp phức tạp hơn có thể phải dùng đến các công thức ảnh của tích hoặc ảnh của tích chập để tìm gốc. Ví dụ Tìm gốc của phân thức 1. F() = 9i6)i( 2i3)i( 2 2 ++ ++ = A + + i3 B + 2 )i3( C + = 1 - + i3 1 + 2 )i3( 2 + f(t) = (t) - e -3t (t) + 2te -3t (t) 2. F() = 5 4 12 2 + = 5)i(i4)i( 12 2 ++ = + ii21 A + + ii21 B = + + i i 2 1 i2 - + + ii21 i2 f(t) = (-2 + i)e -(1+2i)t (t) - (2 + i)e -(1-2i)t (t) Phơng trình vi phân hệ số hằng Cho phơng trình vi phân hệ số hằng == = M 0j )j( j N 0k )k( k )t(xb)t(ya với N M (5.5.7) Chuyển qua ảnh Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m Click to buy NOW! P D F - X C h a n g e V i e w e r w w w . d o c u - t r a c k . c o m . . Fourier Và Biến Đổi Laplace Trang 88 Giáo Trình Toán Chuyên Đề ảnh của hàm tuần hoàn Do hàm mũ g() = e -i t tuần hoàn với chu kỳ T = 2 nên hàm ảnh F() luôn là hàm tuần hoàn với chu kỳ T = 2 Xét trờng hợp hàm F() là một phân thức hữu tỷ thực sự. Do hàm F() khả tích tuyệt đối nên nó không có cực điểm thực. Trớc hết chúng ta phân tích F() thành tổng các phân thức đơn và phân thực bội 2 1 G( + ) + 2 1 G( - ) với g(t) G() ảnh của hàm trị thực Kí hiệu f * (t) là liên hợp phức của hàm f(t). Khi đó nếu hàm f khả tích tuyệt đối thì hàm f * cũng khả tích tuyệt đối và ta có