Monday, June 17, 2013

2.17

Part a.) By construction, it's straight-forward to see that since for any $x \geq 0 \hspace{0.25cm} \exists n \in \mathbb{N}$ such that $x \in [n,n+1)$, that $f_x(y) = a_n - a_n = 0$ for all $x \geq 0$. Thus, certainly: $$\forall x, \int_{\mathbb{R}} f_x(y) dy = 0$$ ...and therefore: $$\int_\mathbb{R} \int_\mathbb{R} f_x(y) dy \hspace{0.1cm} dx = 0$$ Part b.) By construction again, you'll observe that since every $y \geq 0$ is between an $n \in \mathbb{Z}$ and $n+1$, that: $$\int_{\mathbb{R}} f^y(x) \chi_{[n,n+1)}(y) dx = a_n - a_{n-1}$$ (Aside from the $n=0$ case, where the integral simply evaluates to $a_0$.) Thus, since: $$a_n = \sum_{k \leq n} b_k$$ We can see: $$a_n - a_{n-1} = b_n$$ ...and finally, since these were constructed to be piecewise-constant functions: $$\int_{\mathbb{R}} \int_{\mathbb{R}} f^y(x)dx \hspace{0.1cm} dy = \sum_{n=0}^\infty \int_{[n,n+1)} \Big(\int_{\mathbb{R}} f^y(x)dx\Big) dy \hspace{0.1cm} = \ldots$$ $$\ldots = a_0 + \sum_{n=1}^\infty (a_n - a_{n-1}) \hspace{0.25cm} = \hspace{0.25cm} \sum_{n=0}^\infty b_n = s < \infty$$
Part c.) Lastly, since $b_n > 0 \hspace{0.25cm} \forall n$, observe that $a_n > a_0 = b_0 > 0 \hspace{0.25cm} \forall n$. Thus, $$ \int_{\mathbb{R}} \int_{\mathbb{R}} |f(x,y)| dx \hspace{0.1cm} dy \hspace{0.25cm} > \hspace{0.25cm} a_0 + 2\sum_{n=1}^\infty a_0 \hspace{0.25cm} = \hspace{0.25cm} \infty$$

No comments:

Post a Comment