4
$\begingroup$

Given that $f$ and $g$ belong to $L^2(\mathbf{R})$, how can I show that $$ H(x)=\int_0^1 f(y-x)g(y)~dy$$ is a bounded and continuous function on $\mathbf{R}$.


My attempt for the boundedness part:
$$\begin{align*} |H(x)| = \left|\int_0^1 f(y-x)g(y)~dy\right| &\leqslant \int_0^1|f(y-x)g(y)|~dy \\ & \leqslant\left(\int_0^1|f(y-x)|^2~dy\right)^{1/2}\left(\int_0^1 |g(y)|^2~dy\right)^{1/2}\\ & = \|f\|_2 ~ \|g\|_2. \end{align*}$$ Hence $G(x)$ is bounded.

Is what I've done for the boundedness part okay? I'll also need help in the continuous portion. Thanks


Added after the comments below:
$$\begin{align*} |H(x)-H(t)| &= \left| \int_0^1 f(y-x)(y)~dy)-\int_0^1 f(y-t)g(y)~dy\right| \\ &= \left| \int_0^1\left[f(y-x)-f(y-t)\right] g(y)~dy \right|\\ & \ldots \end{align*}$$

I guess this is where I have to use translation, but I'm unaware of it. Probably, because , my class haven't gotten there yet. Maybe, someone would be kind enough to 'spoon-feed' a little...
Thanks.

  • 0
    Yes your proof of boundedness is correct. For continuity the method is quite similar to the boundedness proof, except instead of making the estimate on plain $ |H(x)|$ you make it on $ |H(x) - H(t)| $ and show that this tends to $0$ as $t\to x. $ You will need to use the theorem on continuity of translation for $L^p(\mathbb{R})$ functions.2011-11-30
  • 0
    You can use the density of the continuous functions with compact support in $L^2(\mathbb R)$.2011-11-30
  • 0
    @RagibZaman: Could you please help out? I unaware of the translation you talk about.Probably because, we haven't discussed it yet.Could you show me it's done, if you don't mind? Thanks.2011-11-30
  • 0
    Boundedness is almost correct, except that $||f||_2$ is not the $\int_0^1$ but $\int_{-\infty}^{\infty}$ so the last step is also an inequality, rather than equality.2011-11-30
  • 0
    @ThomasAndrews: Thanks for the correction. Any help with the second part?2011-11-30

1 Answers 1