3
$\begingroup$

How to show that $f \star g$ is continuous if $f$ or $g$ is continuous? Do you use $\epsilon - \delta $ - approach in the proof? some hint.

I define $$(f \star g)(x)=\frac{1}{2\pi} \int_{- \pi}^{\pi} f(y)g(x-y)dy,$$ if $f,g \in L^1[-\pi,\pi].$

  • 1
    What does $f \star g$ mean?2012-10-08
  • 0
    @Stefan: Let me ask you that do you mean $\epsilon - \delta $ - definition? Ok.2012-10-08
  • 1
    Oh I'm sorry, I was thinking about something entirely else. Please forget my comment (I have deleted it).2012-10-08
  • 1
    Hint: Take a point $x_0 \in \mathbb{R}$ and $(x_n)_n \to x_0$. Use the fact that $f,g \in L^1$ to apply the dominated convergence theorem. Then use the continuity of $f$ or $g$.2012-10-08

1 Answers 1

1

Extend $f$ and $g$ by periodicity if necessary to get that $f\star g=g\star f$. So we can assume WLOG that $g$ is continuous on $[-\pi,\pi]$, hence uniformly continuous on this interval.

Fix $\varepsilon>0$, and $\delta>0$ such that if $x\in\Bbb R$, $|s|\leq \delta$ then $|f(x+t)-f(x)|\leq \varepsilon$. Then if $|x_1-x_2|\leq \delta$, we have $$|f\star g(x_1)-f\star g(x_2)|\leq\int|(g(x_1-t)-g(x_2-t))f(t)|dt\leq \varepsilon\int_{[-\pi,\pi]}|f(s)|ds.$$

  • 0
    Should there be some intermediate steps? I mean that how you get from $|f(x+t)-f(x)| \leq \epsilon$ last line and how do you get $|f \star g(x_1)-f \star g(x_2)| \leq \epsilon \int_{[-\pi,\pi]}|f(s)|ds$?2012-10-16
  • 0
    @alvoutila I've added a step.2012-10-16
  • 0
    excuse me. How do you get from $\int |(g(x_1-t)-g(x_2-t))f(t) |dt$ to $\leq \epsilon \int_{[-\pi,\pi]} |f(s)|ds$?2012-10-24
  • 0
    You can write $|g(x_1-t)-g(x_2-t)|\leq\varepsilon$ by uniform continuity.2012-10-24