Proof: Integral is finite (Fubini/Tonelli?)

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
ChemEng1
Messages
52
Reaction score
0

Homework Statement


Let f:[0,1]→ℝ be non-negative and integrable. Prove that [itex]\int_{[0,1]}\frac{f(y)}{|x-y|^{1/2}}dy[/itex] is finite for ae x in [0,1]

Homework Equations


This looks like a Fubini/Tonelli's Theorem problem from the problem givens.

The Attempt at a Solution


I honestly don't know where to start with this problem. Any help or gentle nudges would be appreciated.
 
Physics news on Phys.org
It doesn't seem to me to be true, so I must be missing something.
Given x in (0, 1), consider ##f(y) = |x-y|^{-\frac{1}{2}}## for y≠x, f(x)=0. Isn't that integrable? But ##\int_0^1|x-y|^{-1}dy## is not finite.
 
Here's what I am thinking.

Consider: [itex]\int_{[0,1]}f(y)\left[\int_{[0,1]}\frac{1}{|x-y|^{1/2}}dx\right]dy=\int_{[0,1]}f(y)\left[2\left(\sqrt{1-y}-\sqrt{y}\right)\right]dy\leq\int_{[0,1]}f(y)\cdot 2<∞[/itex]. Therefore [itex]\int_{[0,1]^{2}}\frac{f(y)}{|x-y|^{1/2}}<\infty[/itex] by Tonelli's Theorem. Then [itex]\int_{[0,1]}\frac{f(y)}{|x-y|^{1/2}}dy[/itex] is finite for ae x in [0,1] again by Tonelli.

Think I still need to add some measurability and non-negative qualifiers, but this is close.

Thoughts?
 
Last edited: