2
$\begingroup$

This is a question from past comp exam,

Let ${(g_n)_n }$ be a real continuous funtion with support in $(\frac{1}{n+1}, \frac{1}{n})$, such that $\int_0^1 g_n(t)dt =1$, for $n=1,2,3....$ Now define $ f(x,y)= \sum _n^\infty [g_n(x)-g_{n+1}(x)] g_n(y)$ on $[0,1]*[0,1]$.

I am trying to prove this function is not integrable on $[0,1]*[0,1]$. What I know is I need to prove that the absolute value of the function $f(x,y)$ is not integrable. on $[0,1]*[0,1]$. showing that the sum actually goes to infinity. I would love to see if someone there who like to prove this fact rigorously. In addition why this fact does not contradict the hypothesis of the Tonelli's and Fubini's Theorem. Thank you in advance.

1 Answers 1

3

Let $I_k:=[(k+1)^{-1};k^{-1})$ and $a_{j,k}:=\int_{I_j\times I_k}|f(x,y)|dydx$.

We have \begin{align} a_{j,k}&=\int_{I_j\times I_k}|g_k(x)-g_{k+1}(x)||g_k(y)|dydx\\ &\geqslant \int_{I_j}|g_k(x)-g_{k+1}(x)|dx \end{align} and in particular, as $g_{k+1}$ vanishes on $I_k$, $a_{k,k}\geqslant\int_{I_k}|g_k(x)|\geqslant 1.$ This proves the divergence of the series $\sum_{j,k}a_{j,k}$, hence the divergence of the considered integral.

  • 0
    I mean, I was okay with the line you added, what I did not see was how that absolute value of the integral is greater than the integral without the absolute value in the context of our problem. Since the $a_{j,k}$ itself defined in form of the absolute integral. I am sorry, I am still missing those points. Thanks2012-12-30