Bourbaki

Bài tập 1, § 2

Hàm số một biến thực, VII

Bourbaki marks this one as harder than the rest.

a) Cho gg là một hàm thực liên tục đối với x≥0x \geq 0. Chứng minh rằng nếu gg thỏa mãn hai đẳng thức

∑k=0p−1g(x+kp)=g(x) \sum_{k=0}^{p-1} g\left(\frac{x+k}{p}\right) = g(x)
∑h=0q−1g(x+hq)=g(x) \sum_{h=0}^{q-1} g\left(\frac{x+h}{q}\right) = g(x)
thì nó cũng thỏa mãn đẳng thức
∑j=0pq−1g(x+jpq)=g(x). \sum_{j=0}^{pq-1} g\left(\frac{x+j}{pq}\right) = g(x).

b) Suy ra từ điều này rằng nếu một hàm gg có đạo hàm liên tục đối với x≥0x \geq 0 và thỏa mãn đẳng thức

∑k=0p−1g(x+kp)=g(x) \sum_{k=0}^{p-1} g\left(\frac{x+k}{p}\right) = g(x)
thì nó có dạng a(x−12)a(x-\frac{1}{2}), trong đó aa là một hằng (nhận xét rằng gg thỏa mãn đẳng thức tương tự trong đó pp được thay bởi pnp^n; cho nn tiến tới +∞+\infty và suy ra rằng g′(x)=∫01g′(t) dtg'(x) = \int_0^1 g'(t)\,dt).

c) Kết luận từ b) rằng hàm Γ\Gamma là hàm duy nhất có đạo hàm liên tục đối với x>0x > 0, thỏa mãn phương trình (1) của VII, p. 305, và công thức phép nhân (12) của VII, p. 318, với một giá trị của pp.

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.