How do I prove the Fourier transform of f'(x) is iμF(μ) with given conditions?

[member 428835]

Homework Statement

Suppose f(x), -\infty<x<\infty, is continuous and piecewise smooth on every finite interval, and both \int_{-\infty}^\infty |f(x)|dx and \int_{-\infty}^\infty |f'(x)|dx are absolutely convergent. Show the Fourier transform of f'(x) is i\mu F(\mu).

Homework Equations

F(\mu)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-i\mu x}dx where F(\mu) is the Fourier transform of f(x)

The Attempt at a Solution

transforming f'(x) and integrating by parts yields \frac{f(x)e^{-i\mu x}}{2\pi}\Biggr|_{-\infty}^\infty+i\mu \underbrace{\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-i\mu x}dx}_{F(\mu)}

my question here is, evidently \frac{f(x)e^{-i\mu x}}{2\pi}\Biggr|_{-\infty}^\infty=0 but how? any insight is greatly appreciated!

also, where have i used the absolutely convergent material? did it show up in the integration by parts when i had to integrate f'(x) and then again in order to show that \frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-i\mu x}dx exists and may in fact equal F(\mu)?

thanks all!

 

[LCKurtz]

Homework Statement

Suppose f(x), -\infty<x<\infty, is continuous and piecewise smooth on every finite interval, and both \int_{-\infty}^\infty |f(x)|dx and \int_{-\infty}^\infty |f'(x)|dx are absolutely convergent. Show the Fourier transform of f'(x) is i\mu F(\mu).

Homework Equations

F(\mu)=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)<br /> e^{\color{red}{\bf -}i\mu x}dx where F(\mu) is the Fourier transform of f(x)

Aren't you missing the minus sign I added in red?

 

[member 428835]

Aren't you missing the minus sign I added in red?

ahh shoot, totally forgot to put this! (although when writing it i remembered, hence the positive integral. at any rate, positive or negative doesn't really affect this limit right (since we evaluate from negative to positive infinity)?

either way, any insight?

 

[member 428835]

i just changed it back to the way it should be (with the negative). thanks

 

[jbunniii]

Note that
$$|F(\mu)| = \left|\int_{-\infty}^{\infty} f(x) e^{-i\mu x} dx\right| \leq \int_{-\infty}^{\infty}|f(x) e^{-i\mu x}| dx = \int_{-\infty}^{\infty}|f(x)| dx$$
So the absolute integrability of $f$ ensures that the Fourier transform is $F(\mu)$ is well defined for all $\mu$.

Similarly, the absolute integrability will allow you to compute the Fourier transform of $f'$ using the usual integral definition.

 

[jbunniii]

[edit] deleted, see next post instead.

 

[jbunniii]

Regarding why
$$\frac{f(x)e^{-i\mu x}}{2\pi}\Biggr|_{-\infty}^\infty=0$$
this is a bit subtle. Note that absolute integrability and smoothness of $f$ are not enough to guarantee this: consider a function $f$ which is zero in most places but has a smooth "bump" centered at each integer $n$, such that as $|n|$ increases, the bumps maintain the same height but become narrower, so that the area of the bump centered at $n$ or $-n$ is $1/2^{|n|}$. Then the integral of $|f|$ is finite, but $\lim_{x \rightarrow \infty} f(x)$ and $\lim_{x \rightarrow -\infty} f(x)$ do not exist.

So you must make use of the fact that the derivative $f'$ is also absolutely integrable.

 

[micromass]

Hint, prove that

\lim_{x\rightarrow +\infty} f(x) = f(0) + \int_0^{+\infty} f^\prime(x)dx.

Thus, in particular, the limit exists. Now you can deduce that the limit is $0$. (as jbun noticed, it might happen that the limit does not exist, which might have been a problem).

 

[member 428835]

Regarding why
Note that absolute integrability and smoothness of $f$ are not enough to guarantee this:

i'm lost on what you're saying. i realize you're beginning to explain why the given value is zero, but i am not sure what is going on. could you further your explanation?

thanks a ton for helping!

 

[member 428835]

Hint, prove that

\lim_{x\rightarrow +\infty} f(x) = f(0) + \int_0^{+\infty} f^\prime(x)dx.

f(0) + \int_0^{+\infty} f^\prime(x)dx = f(0) + \underbrace{\lim_{x\rightarrow +\infty} f(x) - f(0)}_{\text{fundamental theorem}} = \lim_{x\rightarrow +\infty} f(x) but now I'm confused? i guess I'm not seeing how this relates? I'm guessing you're suggesting i substitute this integral into the above f(x) but since the e^{-i\mu x} is not in the integral, I'm missing how this helps?

 

[jbunniii]

f(0) + \int_0^{+\infty} f^\prime(x)dx = f(0) + \underbrace{\lim_{x\rightarrow +\infty} f(x) - f(0)}_{\text{fundamental theorem}} = \lim_{x\rightarrow +\infty} f(x) but now I'm confused? i guess I'm not seeing how this relates?

You are given that $f'$ is absolutely integrable. Therefore,
$$\left|\int_{0}^{\infty} f'(x) dx\right| \leq \int_{0}^{\infty}|f'(x)| dx < \infty$$
This means that $\int_{0}^{\infty} f'(x) dx$ is finite, so (by the equation you indicated above), $\lim_{x \rightarrow \infty} f(x)$ exists; let's call this limit $L$. By a similar argument, $\lim_{x \rightarrow -\infty} f(x)$ also exists; let's call this limit $M$.

But you also know that $\int_{-\infty}^{\infty} |f(x)| dx$ is finite. I claim that this implies that $L$ and $M$ must both be zero. See if you can prove this claim.

Assuming the claim is true, we have $\lim_{x \rightarrow \infty} f(x) = \lim_{x \rightarrow -\infty} f(x) = 0$. Do you see why this immediately implies that
$$\frac{f(x)e^{-i\mu x}}{2\pi}\Biggr|_{-\infty}^\infty=0$$

 

[member 428835]

Do you see why this immediately implies that
$$\frac{f(x)e^{-i\mu x}}{2\pi}\Biggr|_{-\infty}^\infty=0$$

assuming that we can prove $L=M=0$, yes, I definitely agree. i just took a quick glance so i'll try and work out the proof!

honestly though, how on Earth did you manage to think of using $f(0) + \int_0^\infty f(x) dx = \lim_{x \rightarrow \infty} f(x)$?? this seems so random to just think of, although it is brilliant

 

[member 428835]

But you also know that $\int_{-\infty}^{\infty} |f(x)| dx$ is finite. I claim that this implies that $L$ and $M$ must both be zero. See if you can prove this claim.

okay i got you!

so, to summarize, when showing $$\frac{f(x)e^{-i\mu x}}{2\pi}\Biggr|_{-\infty}^\infty=0$$ we consider $\lim_{x \rightarrow \pm \infty} f(x)=0$. using the fact that \int_{-\infty}^\infty |f(x)|dx converges ALMOST guarantees that in the limit $f(x)$ converges to zero (almost because of the counter example that you've shown). evidently we need to show that this limit exists.

to show existence we make use of the equality \lim_{x\rightarrow +\infty} f(x) = f(0) + \int_0^{+\infty} f^\prime(x)dx and couple this with the absolute convergence of $f'(x)$. this guarantees that the above integral is finite. we know $f(0)$ exists, as implied by the piecewise continuity of $f(x)$ on $-\infty < x < \infty$. therefore, the limit in question not only exists but converges to zero.

does this sound right?

thanks a ton you guys!

 

[jbunniii]

to show existence we make use of the equality \lim_{x\rightarrow +\infty} f(x) = f(0) + \int_0^{+\infty} f^\prime(x)dx and couple this with the absolute convergence of $f'(x)$. this guarantees that the above integral is finite. we know $f(0)$ exists, as implied by the piecewise continuity of $f(x)$ on $-\infty < x < \infty$. therefore, the limit in question not only exists but converges to zero.

I didn't follow your argument. How does this show that $L = M = 0$?

Try arguing as follows. We have established that $L = \lim_{x \rightarrow \infty} f(x)$ exists. Suppose $L \neq 0$. Then by the definition of a limit, there exists some $X > 0$ such that $|f(x)| > |L|/2$ for all $x > X$. Now what does this imply about $\int_{X}^{\infty} |f(x)|dx$? You can argue similarly for $M$.

 

[member 428835]

my "proof" is predicated on the fact that, if $\int_0^\infty f(x) dx$ converges and $\lim_{x \rightarrow \infty} f(x)$ exists, then $\lim_{x \rightarrow \infty} f(x)=0$

is this not correct?

 

[member 428835]

Now what does this imply about $\int_{X}^{\infty} |f(x)|dx$?

evidently, $\int_{X}^{\infty} |f(x)|dx$ does not converge, which violates the given conditions.

please respond to my other post, though. i want you're feedback to make sure what I've written is correct.

thanks a ton!

 

[jbunniii]

my "proof" is predicated on the fact that, if $\int_0^\infty f(x) dx$ converges and $\lim_{x \rightarrow \infty} f(x)$ exists, then $\lim_{x \rightarrow \infty} f(x)=0$

is this not correct?

It's correct, I just wanted to make sure you saw why it was true. If the function converges on some nonzero value, then that "tail" has infinite area.

The rest of your summary looks fine.

 

[member 428835]

cool just making sure! thanks again for the help (and the clever counter example mentioned above)