Partition a divergent integral into finite values

Click For Summary
The discussion centers on the possibility of partitioning an interval where the integral of a function is infinite into countable disjoint subintervals, each with a finite integral value, such as 1/2. It is suggested that this is feasible using any positive finite number, as long as the total sum remains infinite. A counterexample is provided to illustrate complications, particularly with functions that have divergent sections. However, it is noted that for a broad class of functions, if the integral is well-defined and continuous, appropriate intervals can be identified using the intermediate value theorem. This confirms that partitioning is indeed possible under certain conditions.
LikeMath
Messages
62
Reaction score
0
Hi there,

I am reading an article, but I faced the following problem, and I am wondering if it is well known fact.

If the integral of a function on some interval is infinity, can we partition this interval into countable disjoint (in their interiors) subintervals such that the integral on each interval is 1/2 for example?

Thanks in advance
Likemath
 
Physics news on Phys.org
LikeMath said:
Hi there,

I am reading an article, but I faced the following problem, and I am wondering if it is well known fact.

If the integral of a function on some interval is infinity, can we partition this interval into countable disjoint (in their interiors) subintervals such that the integral on each interval is 1/2 for example?

Thanks in advance
Likemath

It looks like it is doable. You could use any positive finite number. (I assume you mean the integral over each piece = 1/2, so that the total is the sum of an infinite number of 1/2's).
 
Thank you, but how can I convince my self that it is doable?
 
Counterexample:
##f:[0,3] \to R##
##f(x)=\frac{1}{1-x}## for ##0\leq x<1##
##f(x)=-1## for ##1\leq x \leq 2##
##f(x)=\frac{1}{x-2}## for ##2 < x \leq 3##

The ugly part is the middle section: You cannot combine it with any interval of the other two sections, as this would diverge.

It is true for a large class of functions, however: if ##\int_a^x f(x') dx'## is well-defined for every x in your interval (a,b), it is continuous and you can find appropriate intervals with the intermediate value theorem. This directly gives a way to count them, too, of course.
 
There are probably loads of proofs of this online, but I do not want to cheat. Here is my attempt: Convexity says that $$f(\lambda a + (1-\lambda)b) \leq \lambda f(a) + (1-\lambda) f(b)$$ $$f(b + \lambda(a-b)) \leq f(b) + \lambda (f(a) - f(b))$$ We know from the intermediate value theorem that there exists a ##c \in (b,a)## such that $$\frac{f(a) - f(b)}{a-b} = f'(c).$$ Hence $$f(b + \lambda(a-b)) \leq f(b) + \lambda (a - b) f'(c))$$ $$\frac{f(b + \lambda(a-b)) - f(b)}{\lambda(a-b)}...

Similar threads

  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K