4
$\begingroup$

An exercise in Carlos ISNARD's Introdução à medida e integração:

Show that if $f$ and $f'$ $\in\mathscr{L}^1(\mathbb{R},\lambda,\mathbb{C})$ and $\lim_{x\to\pm\infty}f(x)=0$ then $\hat{(f')}(\zeta)=i\zeta\hat{f}(\zeta)$.

($\lambda$ is the Lebesgue measure on $\mathbb{R}$.)

I'm tempted to apply integration by parts on the integral from $-N$ to $N$ and then take limit as $N\to\infty$. But to obtain the result I seemingly need $f'e^{-i\zeta x}$ to be Riemann-integrable so as to use the fundamental theorem of Calculus.

What am I missing here?

Thank you.

$\endgroup$
0

2 Answers 2

Reset to default
3
$\begingroup$

We can find a sequence of $C^1$ functions with compact support $\{f_j\}$ such that $$\lVert f-f_j\rVert_{L^1}+\lVert f'-f_j'\rVert_{L^1}\leq \frac 1j.$$ This is a standard result about Sobolev spaces. Actually more is true: the smooth functions with compact support are dense in $W^{1,1}(\Bbb R)$, but that's not needed here. It's theorem 13 in Willie Wong's notes about Sobolev spaces.

Convergence in $L^1$ shows that for all $\xi$ we have $\widehat{f_j}(\xi)\to \widehat{f}(\xi)$ and $\widehat{f_j'}(\xi)\to \widehat{f'}(\xi)$. And the result for $C^1$ functions follows as stated in the OP by integration by parts.

$\endgroup$
3
  • $\begingroup$ Do you happen to have a link to Willie's notes? $\endgroup$
    – t.b.
    Jul 30, 2012 at 15:53
  • $\begingroup$ Actually I download them a long time ago, and I don't remember the link. @WillieWong: could you edit my answer including a link to your notes about Sobolev spaces? Thanks! $\endgroup$
    – Davide Giraudo
    Jul 30, 2012 at 15:56
  • $\begingroup$ I see. Thanks. ${}$ $\endgroup$
    – t.b.
    Jul 30, 2012 at 16:02
2
$\begingroup$

There is a measure-theoretic version of the fundamental theorem of Calculus, see here.

$\endgroup$
1
  • $\begingroup$ Thank you. The thing is, up to that point in the textbook no such theorem has been mentioned, so that's why I'm wondering. $\endgroup$
    – Weltschmerz
    Jul 30, 2012 at 13:45

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .