MathLabs
Định lýĐã chứng minh

Công thức tổng Poisson

Phát biểu

Với hàm Schwartz ff, ∑n=−∞∞f(n)=∑k=−∞∞f^(k)\sum_{n=-\infty}^{\infty} f(n) = \sum_{k=-\infty}^{\infty} \hat f(k): tổng của hàm trên mọi số nguyên bằng tổng biến đổi Fourier của nó trên mọi số nguyên.

Vì sao đúng?

Đây là cầu nối giữa việc lấy mẫu tín hiệu tại các điểm nguyên và tuần hoàn hóa phổ của nó: vế trái là kết quả khi cộng các mẫu f(n)f(n), vế phải là kết quả từ phổ. Đẳng thức duy nhất này là nền tảng của định lý lấy mẫu, tổng trên mạng tinh thể học, và phương trình hàm của hàm theta và hàm zeta Riemann.

Phác thảo chứng minh

Bước 1 (tuần hoàn hóa). Với hàm Schwartz ff, đặt F(x)=∑n=−∞∞f(x+n)F(x) = \sum_{n=-\infty}^{\infty} f(x+n). Do ff giảm nhanh nên tổng này hội tụ tuyệt đối và đều, và FF là hàm trơn có chu kỳ 1, nên nó có chuỗi Fourier riêng trên đường tròn.

Bước 2 (tính các hệ số Fourier của hàm tuần hoàn hóa). Hệ số Fourier thứ kk của FF là ck=∫01F(x)e−2πikx dx=∑n∫01f(x+n)e−2πikx dxc_k = \int_0^1 F(x) e^{-2\pi i k x}\,dx = \sum_{n} \int_0^1 f(x+n) e^{-2\pi i k x}\,dx. Đổi biến y=x+ny = x+n trong mỗi số hạng và dùng tính tuần hoàn của e−2πikxe^{-2\pi i k x} theo nn sẽ ghép các mảnh lại thành một tích phân duy nhất trên toàn R\mathbb{R}: ck=∫−∞∞f(y)e−2πiky dy=f^(k)c_k = \int_{-\infty}^{\infty} f(y) e^{-2\pi i k y}\,dy = \hat f(k).

Bước 3 (tính tại x=0). Vì FF trơn nên chuỗi Fourier của nó hội tụ điểm về chính nó, đặc biệt tại x=0x=0: F(0)=∑kcke0F(0) = \sum_k c_k e^{0}, tức là ∑n=−∞∞f(n)=∑k=−∞∞f^(k)\sum_{n=-\infty}^{\infty} f(n) = \sum_{k=-\infty}^{\infty} \hat f(k). Vế trái đúng bằng F(0)=∑nf(n)F(0) = \sum_n f(n) theo định nghĩa, hoàn tất chứng minh.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
  2. Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
  3. Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3