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à,

: \int_{t_1}^{t_2} |f(t)|^2\, dt

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) =  \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*,

:*  \omega_0 = \frac{2\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) = \sum_{n=-\infty}^{+\infty} c_n e^{i \omega_n t}
với:
:\omega_n ={2\pi\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 \omega_n t} = \cos(\omega_n t) + i \sin(\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 [−*&pi;*, *&pi;*], 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) = \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

:\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*0 trên trục *x*, giá trị tổng của chuỗi tại *x*0 có thể khác giá trị của *ƒ*(*x*0). 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
## Tham khảo

## Xem thêm
* Biến đổi Fourier rời rạc
* Biến đổi Fourier nhanh
* Giải tích Fourier
* Biến đổi Fourier
* Chuỗi Laurent

## Liên kết ngoài