2
$\begingroup$

Suppose $g\in L_2([0,1],\lambda)$. I would like to justify that the following map is continuous on $[0,1]$: $G(u)=\int_{0,u} xg(x)d\lambda(x)$ The fundamental theorem of calculus requires $xg(x)$ to be continuous, but so far I only know it is in $L_2$. What could be a good justification?

  • 0
    $G$ is Hölder continuous by Cauchy-Schwarz inequality.2012-10-17

1 Answers 1

2

If $u_1\leq u_2$, we have $|G(u_1)-G(u_2)|=\left|\int_{(u_1,u_2)}xg(x)d\lambda(x)\right|\leq\int_{(u_1,u_2)} \left|xg(x)\right|d\lambda(x) \\ \leq \int_{(u_1,u_2)} \left|g(x)\right|d\lambda(x)\leq\sqrt{|u_2-u_1|}\cdot\lVert g\rVert_{L^2}.$

  • 1
    We can get, with a better above bounding, that $G$ is Lipschitz, hence is, by Rademacher theorem, almost everywhere differentiable.2012-10-17