Consider f a bounded, measurable function defined on [ 1 , <mi mathvariant="norma

Davion Harding

Davion Harding

Answered question

2022-06-13

Consider f a bounded, measurable function defined on [ 1 , ] and define a n := [ n , n + 1 ) f. Does the fact that f is integrable imply n = 1 a n converges?
I would like to say that the argument
n = 1 a n = 1 f
made in that post is not correct.
My attempt was the following: Since f is integrable, | f | is also integrable. Therefore,
[ 1 , ) | f | = lim k 1 k | f | < .
Moreover, we have the following:
n = 1 a n = n = 1 n n + 1 f n = 1 | n n + 1 f | n = 1 n n + 1 | f | = lim k n = 1 k n n + 1 | f |
However, I cannot proceed further from here. Can anyone help?

Answer & Explanation

Braylon Perez

Braylon Perez

Beginner2022-06-14Added 34 answers

We have
n = 1 | a n | n = 1 [ n , n + 1 ) | f | = n = 1 | f | 1 [ n , n + 1 ) = n = 1 | f | 1 [ n , n + 1 ) = | f | 1 [ 1 , ) < .
The second equality is by MCT and additivity of the integral on nonnegative functions. Alternatively, you can argue directly using DCT that n = 1 a n = f 1 [ 1 , ) .
Damon Stokes

Damon Stokes

Beginner2022-06-15Added 6 answers

Since f is integrable, you know that
1 k + 1 | f | d x = n = 1 k n n + 1 | f | d x
converges to 1 | f | d x < as k (by monotonic convergence, extending f by zero beyond k + 1). Thus your last limit is finite and your series a n is convergent

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?