a) Cho f là một hàm điều chỉnh trên một khoảng mở bị chặn ]a,b*; giả sử tồn tại một hàm thực g, giảm trên ]a,b*, sao cho ∥f(x)∥⩽g(x) trên ]a,b* và sao cho tích phân ∫abg(t)dt hội tụ. Chứng minh rằng nếu (εn) là một dãy các số >0, tiến tới 0, và sao cho infn⩾1nεn>0, thì ta có
n→+∞limn1k=1∑n−1f(a+εn+knb−a)=∫abf(t)dt.(*) b) Hãy cho một ví dụ về một hàm thực điều chỉnh
f>0 trên ]0, 1] sao cho tích phân
∫01f(t)dt hội tụ, nhưng quan hệ (*) lại không đúng với
εn=1/n (lấy
f sao cho giá trị của nó tại
x=2−n là
22n).
c) Với cùng các giả thiết như trong a), chứng minh rằng
n→+∞limn1k=1∑n(−1)kf(a+knb−a)=0.