Lebesgue Integration over Indicator/characteristic function

439 Views Asked by At

Let's say I have a function $f:\mathbb R^2\longrightarrow\mathbb R$ given by $$ f(x,y) = \begin{cases} g(x,y)\quad 0<x<y<\infty\\0 \quad\text{else}\end{cases}$$ and I want to calculate the Lebesgue integral over this function (assuming all necessary conditions regarding $g$ are met for integration). $$ $$ Assuming that $g$ is non-negative, I can use Tonellis Theorem to get $$ \int_{\mathbb R^2} f\ d(x,y) = \int_\mathbb R\int_\mathbb R ?$$ but then I am stuck because I don't know how to split up the indicator to something like $1_A(x)$ and $1_B(y)$ where $A$ and $B$ are sets associated to the integration bounds. If I set $A=]0,y[$ and $B=]x,\infty[$ I have the problem the indicator depends on the one variable and the corresponding sets and the other. How do I correctly integrate over such an indicator function?

1

There are 1 best solutions below

3
On BEST ANSWER

For fixed $y$, let $g^y(x)=g(x,y)$. Then $$\int_{\mathbb{R}^2}fd(x,y)=\int_{\mathbb{R}}\left(\int_{\mathbb{R}}g^y\chi_{[0,y)}dm(x)\right)\chi_{[0,\infty)}dm(y)$$

Otherwise:

For fixed $x$, let $g_x(y)=g(x,y)$. Then $$\int_{\mathbb{R}^2}fd(x,y)=\int_{\mathbb{R}}\left(\int_{\mathbb{R}}g_x\chi_{[x,\infty)}dm(y)\right)\chi_{[0,\infty)}dm(x)$$