✨Chuỗi Fourier

Trong toán học, chuỗi Fourier (được dặt tên theo nhà toán học Joseph Fourier) của một hàm tuần hoàn là một cách 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 e^jnx, trong đó, e là số Euler và j là đơn vị số ảo.Theo công thức Euler, các chuỗi này có thể được biểu diễn một cách tương đương theo các hàm sin và hàm cos.

Một cách tổng quát, một chuỗi hữu hạn của các hàm lũy thừa của số ảo được gọi là một chuỗi lượng giác. 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. Fourier đã áp dụng chuỗi Fourier để giải phương trình truyền 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 Théorie analytique de la chaleur của ông được công bố vào năm 1822. Theo quan điểm của toán học hiện đại, các kết quả của Fourier có phần không chính thức liên quan đến sự không hoàn chỉnh trong khái niệm hàm số và tích phân vào đầu thế kỉ XIX. Sau đó, Dirichlet và Riemann đã diễn đạt lại các công trình của Fourier một cách chính xác hơn và hoàn chỉnh hơn.

Khái niệm chung

Cho một hàm số f với giá trị phức và biến thực t, f: R → C, mà f(t) là liên tục và khả vi gián đoạn, tuần hoàn với chu kì T, và bình phương khả tích trên đoạn $t\_1$ đến $t\_2$ với chiều dài T, nghĩa là,

:

với

: $T\; =\; t\_2\; -\; t\_1$ là chu kì, : $t\_1$ và $t\_2$ là cận tích phân.

Chuỗi Fourier của f là

:* $f(t)\; =\; \backslash frac\{1\}\{2\}\; a$0 + \sum{n=1}^{\infty}[a_n \cos(n\omega_0 t) + b_n \sin(n\omega_0 t)] mà trong đó, với các số nguyên không âm n,

: $\backslash omega\_0\; =\; \backslash frac\{2\backslash pi\}\{T\}$ là tần số góc (theo radian) của hàm số f, : $a$0 = \frac{2}{T}\int{t_1}^{t_2} f(t) dt : $a$n = \frac{2}{T}\int{t_1}^{t_2} f(t) \cos(n\omega_0 t)\, dt là các hệ số Fourier chẵn của f, và : $b$n = \frac{2}{T}\int{t_1}^{t_2} f(t) \sin(n\omega_0 t)\, dt là các hệ số Fourier lẻ của f. Một cách tương đương, dưới dạng mũ hàm phức,

: $f(t)\; =\; \backslash sum\_\{n=-\backslash infty\}^\{+\backslash infty\}\; c\_n\; e^\{i\; \backslash omega\_n\; t\}$ với: :$\backslash omega\_n\; =\{2\backslash pi\backslash tfrac\; nT\}.$ : $c$n = \frac{1}{T}\int{t_1}^{t_2} f(t) e^{-i \omega_n t}\, dt, : $i$ là đơn vị ảo, và : $e^\{i\; \backslash omega\_n\; t\}\; =\; \backslash cos(\backslash omega\_n\; t)\; +\; i\; \backslash sin(\backslash omega\_n\; t)$ theo đúng công thức Euler.

Chuỗi Fourier cho các hàm số tuần hoàn có chu kì 2π

Với một hàm tuần hoàn khả tích ƒ(x) trên đoạn [−π, π], các số

:$a$n = \frac{1}{\pi}\int{-\pi}^\pi f(x) \cos(nx)\, dx, \quad n \ge 0

và

:$b$n = \frac{1}{\pi}\int{-\pi}^\pi f(x) \sin(nx)\, dx, \quad n \ge 1

được gọi là các hệ số Fourier của ƒ. Tổng một phần của chuỗi Fourier của ƒ, được ký hiệu bởi

:$(S\_N\; f)(x)\; =\; \backslash frac\{a$0}{2} + \sum{n=1}^N \, [a_n \cos(nx) + b_n \sin(nx)], \quad N \ge 0.

Tổng một phần của ƒ là các đa thức lượng giác. Tổng một phần S_N ƒ xấp xỉ hàm số ƒ, và sự xấp xỉ tốt dần lên khi N tiến ra vô hạn. Chuỗi vô hạn

:$\backslash frac\{a$0}{2} + \sum{n=1}^\infty \, [a_n \cos(nx) + b_n \sin(nx)]

được gọi là chuỗi Fourier của ƒ.

Tính hội tụ của chuỗi Fourier

Chuỗi Fourier không phải lúc nào cũng hội tụ, và ngay cả khi nó hội tụ tại một điểm x₀ trên trục x, giá trị tổng của chuỗi tại x₀ có thể khác giá trị của ƒ(x₀). Nếu một hàm số bình phương khả tích trên đoạn [−π, π], thì chuỗi Fourier hội tụ đến hàm số đó tại hầu hết tất cả các điểm.

Tính trực giao