Bourbaki

Bài tập 13, § 2

Hàm số một biến thực, VI, p. 25

Cho ff là một số nguyên ≥1\geq 1, χ\chi là một hàm xác định trong Z\mathbf{Z}, có các giá trị phức, sao cho χ(x+f)=χ(x)\chi(x + f) = \chi(x) với mọi x∈Zx \in \mathbf{Z}. Nếu đặt

χ^(y)=1f∑x=0f−1χ(x)e−2πixy/fcho y∈Z, \hat{\chi}(y) = \frac{1}{f} \sum_{x=0}^{f-1} \chi(x) e^{-2\pi i xy/f} \quad \text{cho } y \in \mathbf{Z},

ta có

χ(x)=∑y=0f−1χ^(y)e2πixy/fcho x∈Z. \chi(x) = \sum_{y=0}^{f-1} \hat{\chi}(y) e^{2\pi i xy/f} \quad \text{cho } x \in \mathbf{Z}.

Suy ra từ Bài tập 12 rằng ta có, với mọi số nguyên m≥2m \geq 2,

∑n∈Z−{0}χ(n)nm=−(2πi)mm!∑y=0f−1χ^(y)Bm(yf). \sum_{n \in \mathbf{Z} - \{0\}} \frac{\chi(n)}{n^m} = -\frac{(2\pi i)^m}{m!} \sum_{y=0}^{f-1} \hat{\chi}(y) B_m \left( \frac{y}{f} \right).
Ví dụ, ta có
1−133+153−⋯+(−1)n(2n+1)3+⋯=π332. 1 - \frac{1}{3^3} + \frac{1}{5^3} - \cdots + \frac{(-1)^n}{(2n+1)^3} + \cdots = \frac{\pi^3}{32}.

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.