Author Topic: TT2--Problem 1  (Read 17318 times)

Victor Ivrii

  • Administrator
  • Elder Member
  • *****
  • Posts: 2607
  • Karma: 0
    • View Profile
    • Personal website of Victor Ivrii
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
    • View Profile
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
    • View Profile
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
    • View Profile
Re: TT2--Problem 1
« Reply #3 on: November 15, 2012, 10:32:44 PM »
See attached

Ian Kivlichan

  • Sr. Member
  • ****
  • Posts: 51
  • Karma: 17
    • View Profile
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

  • Administrator
  • Elder Member
  • *****
  • Posts: 2607
  • Karma: 0
    • View Profile
    • Personal website of Victor Ivrii
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}}$

\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.


Heqian Zhang

  • Newbie
  • *
  • Posts: 2
  • Karma: 0
    • View Profile
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

  • Administrator
  • Elder Member
  • *****
  • Posts: 2607
  • Karma: 0
    • View Profile
    • Personal website of Victor Ivrii
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
    • View Profile
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

  • Administrator
  • Elder Member
  • *****
  • Posts: 2607
  • Karma: 0
    • View Profile
    • Personal website of Victor Ivrii
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.