### Author Topic: TT2--Problem 1  (Read 11679 times)

#### Victor Ivrii

• Elder Member
• Posts: 2599
• Karma: 0
##### TT2--Problem 1
« 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

#### Jinchao Lin

• Jr. Member
• Posts: 14
• Karma: 6
##### Re: TT2--Problem 1
« Reply #1 on: November 15, 2012, 10:30:03 PM »
Solution for part(a)
« Last Edit: November 16, 2012, 07:28:56 AM by Jinchao Lin »

#### Ian Kivlichan

• Sr. Member
• Posts: 51
• Karma: 17
##### Re: TT2--Problem 1
« Reply #2 on: November 15, 2012, 10:31:55 PM »
Hopeful solutions to both parts attached!

#### Chen Ge Qu

• Full Member
• Posts: 16
• Karma: 8
##### Re: TT2--Problem 1
« Reply #3 on: November 15, 2012, 10:32:44 PM »
See attached

#### Ian Kivlichan

• Sr. Member
• Posts: 51
• Karma: 17
##### Re: TT2--Problem 1
« Reply #4 on: November 15, 2012, 10:38:38 PM »
Chen Ge, in 1.b) I'm not sure you can have the derivative of f since it isn't differentiable.. :S

#### Victor Ivrii

• Elder Member
• Posts: 2599
• Karma: 0
##### Re: TT2--Problem 1
« Reply #5 on: November 16, 2012, 06:34:45 AM »
(a) Actually it reflects the following property of convolution which we never mentioned:
$\newcommand{\supp}{\operatorname{supp}}$

\supp (f*g) \subset \supp(f)+\supp(g)
\label{eq-1}

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$

(f*g): = \int  f(x-y)g(y)\,dy = \int  f(y)g(x-y)\,dy
\label{eq-2}

and then differentiate:

(f*g)'=\left\{\begin{aligned}
&f'*g,
&f*g'
\end{aligned}\right.
\label{eq-3}

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

(f*g)'=f'*g=f*g'

where both differentiation and convolution are extended to this framework.

#### Heqian Zhang

• Newbie
• Posts: 2
• Karma: 0
##### Re: TT2--Problem 1
« Reply #6 on: November 16, 2012, 01:44:20 PM »
Hi, professor. I did use Fourier Transform to prove the derivative of the convolution is continuous. Is that okï¼Ÿ

#### Victor Ivrii

• Elder Member
• Posts: 2599
• Karma: 0
##### Re: TT2--Problem 1
« Reply #7 on: November 16, 2012, 02:58:03 PM »
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.

#### Thomas Nutz

• Full Member
• Posts: 26
• Karma: 1
##### Re: TT2--Problem 1
« Reply #8 on: December 16, 2012, 01:30:08 PM »
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?

#### Victor Ivrii

• Elder Member
• Posts: 2599
• Karma: 0
##### Re: TT2--Problem 1
« Reply #9 on: December 16, 2012, 02:17:45 PM »
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.