2
$\begingroup$

Define the function $f:[0,1] \to \mathbb{R}$ by $ f(x)=\int_E x^tg(t)d\mu(t) $ where $E \subset \mathbb{R^+}$, $\mu$ is a nonnegative measure on $\mathbb{R}$ and $g:\mathbb{R} \to \mathbb{R}$ is a $\mu$-integrable function, that is $\int |g|d\mu < \infty$.
Is $f$ a continuous function of $x$?

I would be tempt to use the relation between absolute continuity and the lebesgue integral but as the measure is not Lebesgue, it's of no use.
Is it possible to show that $f$ is continuous?
Does this need any extra assumptions?

  • 0
    @copper.hat I meant the integral of $x^t$, sorry.2012-06-19

2 Answers 2

3

Use the dominated convergence theorem noting that $|x^t g(t)| \leq |g(t)|$, when $x\in [0,1]$. Then if $x_n\to \hat{x}$, you will have $x_n^t \to \hat{x}^t$, hence $f(x_n) \to f(\hat{x})$. Since this is true for all such sequences, $f$ is continuous.

  • 0
    @ByronSchmuland Good point. I forgot to mention that the $t$ are positive. Thank you.2012-06-19
2

It's a consequence of the dominated convergence theorem. We just need to show sequential continuity. Let $x\in [0,1]$ and $\{x_n\}\subset [0,1]$ a sequence which converges to $x$. Let $g_n(t):=x_n^tg(t)$. Then $g_n$ is integrable, $g_n(t)\to x^tg(t)$ for all $t\in E$ and $|g_n(t)|\leq |g(t)|$, which is supposed to be integrable.

  • 1
    Luck of the Irish...2012-06-19