Toronto Math Forum
APM346-2012 => APM346 Math => Term Test 2 => Topic started by: Victor Ivrii on November 15, 2012, 08:14:38 PM
-
Let $f:{\mathbb{R}}\rightarrow {\mathbb{R}}$ be a continuous but non-differentiable function which satisfies $f(x)=0$ for all $|x| > 1.$ Let $g:{\mathbb{R}}\rightarrow {\mathbb{R}}$ be a continuous function which satisfies satisfies $g(x)=0$ for all $|x| > 2.$ Suppose further that derivative $g'$ and second derivative $g''$ are both continuous. The convolution $f*g$ of these two functions is defined by the formula
$$
(f*g) (x) = \int f(x-y)g(y)\,dy.
$$
- (a) Prove that the function $f*g(x) =0$ for $|x|>3$.
- (b) Prove that the derivative of the function $f*g$ is continuous.
post after 22:30
-
Solution for part(a)
-
Hopeful solutions to both parts attached! :)
-
See attached
-
Chen Ge, in 1.b) I'm not sure you can have the derivative of f since it isn't differentiable.. :S
-
(a) Actually it reflects the following property of convolution which we never mentioned:
$\newcommand{\supp}{\operatorname{supp}}$
\begin{equation}
\supp (f*g) \subset \supp(f)+\supp(g)
\label{eq-1}
\end{equation}
where $\supp{f}$ is support of $f$ the smallest closed set outside of which $f=0$ and $+$ mean arithmetic sum of sets: $A+B= \{x+y :\,x\in A,\, y\in B\}$
(b) Ian is correct that one should not differentiate non-differentiable "factor" in convolution but instead first change variable of integration $y\mapsto x-y$
\begin{equation}
(f*g): = \int f(x-y)g(y)\,dy = \int f(y)g(x-y)\,dy
\label{eq-2}
\end{equation}
and then differentiate:
\begin{equation}
(f*g)'=\left\{\begin{aligned}
&f'*g,
&f*g'
\end{aligned}\right.
\label{eq-3}
\end{equation}
Note, I did not use $f*g=g*f$ as this would fail for (say) matrix valued functions while (\ref{eq-3}) would remain valid.
PS. Still, in the framework of the theory of distributions we can differentiate everything and
\begin{equation}
(f*g)'=f'*g=f*g'
\end{equation}
where both differentiation and convolution are extended to this framework.
-
Hi, professor. I did use Fourier Transform to prove the derivative of the convolution is continuous. Is that ok?
-
Hi, professor. I did use Fourier Transform to prove the derivative of the convolution is continuous. Is that ok?
I don't know all the details of it, so I cannot say that it is OK. The correct solution via F.T. is possible, but even if correct it is not a solution I would like. The reason: to prove that $f*g$ is continuous you don't need to assume that both $f,g$ (and thus $f*g$) have good F.T. In fact everything makes perfect sense if $f$ is continuous, $g$ bounded and one of these functions is $0$ as $|x|\ge c$. In this case only this function necessarily has F.T., another function and their convolution may grow fast as $x\to \infty$ and not have F.T.
-
Is eq. (3)
$$(f \star g)'=f\star g'$$ sufficient to prove that $(f \star g)'$ is continuous? I.e. can we assume that the convolution of two continuous functions is continuous, or do we have to take difference quotients as Ian did in his solution?
-
Is eq. (3)
$$(f \star g)'=f\star g'$$ sufficient to prove that $(f \star g)'$ is continuous? I.e. can we assume that the convolution of two continuous functions is continuous, or do we have to take difference quotients as Ian did in his solution?
First, it is not a $\star$ but $*$. Second, you need to prove that the convolution of two continuous functions is continuous; actually, one function should be just integrable.