Toronto Math Forum

APM346-2012 => APM346 Math => Home Assignment 6 => Topic started by: Bowei Xiao on November 01, 2012, 02:11:55 PM

Title: Problem 1--simplified
Post by: Bowei Xiao on November 01, 2012, 02:11:55 PM
I guess in problem 1 part c and d...you actually want to type X^n exp() and so does d? Guess there's typo there..

Yes, thanks, it was typo, but I decided for a sake of simplicity to take $n=1$. V.I.
Title: Re: Problem 1
Post by: Calvin Arnott on November 03, 2012, 08:37:38 PM
In part d. of this question, the Fourier transform of $ x^ne^{-\alpha |x|}\cos(\beta x)$, I can find quite a few representations for $F(k)$ but none of them have a really tractable closed form. Is it OK to write an answer for the transform in the form of operators acting on a function?- this form of the solution is easily the most elegant in appearance.
Title: Re: Problem 1- simplified
Post by: Victor Ivrii on November 04, 2012, 05:01:40 PM
In part d. of this question, the Fourier transform of $ x^ne^{-\alpha |x|}\cos(\beta x)$, I can find quite a few representations for $F(k)$ but none of them have a really tractable closed form. Is it OK to write an answer for the transform in the form of operators acting on a function?- this form of the solution is easily the most elegant in appearance.

If you can (c) then you can (d); however to make things simpler I changed $n$ to $1$ in both (c) and (d).
Title: Re: Problem 1--simplified
Post by: Hanqing Liu on November 04, 2012, 05:34:18 PM
In part b and d, Does it matter if we change the trig into its complex form?
Title: Re: Problem 1--simplified
Post by: Victor Ivrii on November 04, 2012, 05:51:43 PM
In part b and d, Does it matter if we change the trig into its complex form?

No spoilers, please! :D
Title: Re: Problem 1--simplified
Post by: Hanqing Liu on November 04, 2012, 05:59:43 PM
Sorry   :D

Also, just to clarify, the 1/2pi term in front of FT could be a part of either Fourier integral or Fourier transform, where should we usually put it?
Title: Re: Problem 1--simplified
Post by: Victor Ivrii on November 04, 2012, 06:08:12 PM
Sorry   :D

Also, just to clarify, the 1/2pi term in front of FT could be a part of either Fourier integral or Fourier transform, where should we usually put it?

Usually in FT, not in FI=IFT.

As I mentioned sometimes both carry $\frac{1}{\sqrt{2\pi}}$. AFAIAC you need to be just consistent.
Title: Re: Problem 1--simplified
Post by: Hanqing Liu on November 04, 2012, 06:40:54 PM
Does the condition "beta>0" matter in this question? Since it doesn't really enter the integral evaluation.
Title: Re: Problem 1--simplified
Post by: Victor Ivrii on November 04, 2012, 06:51:38 PM
Does the condition "beta>0" matter in this question? Since it doesn't really enter the integral evaluation.

No, it does not (you may guess why).
Title: Re: Problem 1--simplified
Post by: Hanqing Liu on November 04, 2012, 07:04:04 PM
Does the condition "beta>0" matter in this question? Since it doesn't really enter the integral evaluation.

No, it does not (you may guess why).

We are worried about the possibility of the definite integrals values go to infinity.

When we evaluate the definite integrals, only the sign of the real part (alpha) matters, since beta is timed by i, its sign doesn't matter.

But then again, I think it's necessary to impose condition alpha and beta belongs to R
Title: Re: Problem 1--simplified
Post by: Victor Ivrii on November 04, 2012, 07:09:59 PM
But then again, I think it's necessary to impose condition alpha and beta belongs to R

$\alpha >0$ implies $\alpha \in \mathbb{R}$ by definition.
Title: Re: Problem 1--simplified
Post by: Aida Razi on November 07, 2012, 09:30:00 PM
Solution is attached!
Title: Re: Problem 1--simplified
Post by: Fanxun Zeng on November 07, 2012, 09:30:57 PM
Question 1 a solution attached
Title: Re: Problem 1--simplified
Post by: Calvin Arnott on November 07, 2012, 09:33:54 PM
I ended up solving with $x^n$ in this problem. Notice that the messy integration in part b. could have been avoided by using properties of the Fourier transform as is done later in the problem.

I take the definition of the Fourier transform $ \hat{f} $ for a function $ f $ to be:  $ F\left(k\right) = \hat{f}\left(k\right) = \int_{-\infty}^{\infty}f\left(x\right) e^{-i k x}dx, $ with inverse Fourier transform $ f\left(x\right) = \check{F}\left(x\right) = \int_{-\infty}^{\infty}F\left(k\right) e^{i k x}\frac{dk}{2 \pi} $.

Problem

Let: $ \alpha > 0,    \beta > 0,    n\in\mathbb{N} $. Compute the Fourier transform for:


a. $e^{-\alpha |x|} $

Answer a.

$$ F\left(k\right) = \int_{-\infty}^{\infty}e^{-\alpha |x|} e^{-i k x}dx = \int_{0}^{\infty}e^{-\alpha \left(x\right)} e^{-i k x}dx + \int_{-\infty}^{0}e^{-\alpha \left(-x\right)} e^{-i k x}dx$$

$$= \int_{0}^{\infty}e^{-\left(\alpha + i k\right)x}dx + \int_{-\infty}^{0}e^{\left(\alpha - i k \right)x}dx = \frac{1}{-\left(\alpha + i k \right)}e^{-\left(\alpha + i k\right)x}\Bigr|_{x=0}^{\infty} + \frac{1}{\left(\alpha- i k\right)}e^{\left(\alpha - i k\right)x}\Bigr|_{x=-\infty}^{0} $$

$$ = \lim_{x \to +\infty} \frac{1}{-\left(\alpha + i k \right)}e^{-\left(\alpha + i k\right)x} - \frac{1}{-\left(\alpha + i k \right)}e^{-\left(\alpha + i k\right)\left(0\right)} + \frac{1}{\left(\alpha- i k\right)}e^{\left(\alpha - i k\right)\left(0\right)} - \lim_{x \to -\infty} \frac{1}{\left(\alpha- i k\right)}e^{\left(\alpha - i k\right)x}$$

$$= 0 + \frac{1}{\left(\alpha + i k \right)} + \frac{1}{\left(\alpha- i k\right)} - 0 = \frac{\left(\alpha- i k\right)+\left(\alpha + i k \right)}{\left(\alpha + i k \right)\left(\alpha- i k\right)}  = \frac{2\alpha}{\alpha ^2 - k^2} $$

$$\implies \frac{2\alpha}{\alpha ^2 - k^2} = F\left(k\right) \text{ is our Fourier transform }\blacksquare$$



b. i) $ e^{-\alpha |x|}\cos\left(\beta x\right)$

Answer

$$ F\left(k\right) = \int_{-\infty}^{\infty}e^{-\alpha |x|} \cos\left(\beta x\right) e^{-i k x}dx = \int_{0}^{\infty}e^{-\alpha \left(x\right)} e^{-i k x} \cos\left(\beta x\right)dx + \int_{-\infty}^{0}e^{-\alpha \left(-x\right)} e^{-i k x} \cos\left(\beta x\right)dx$$

$$ \text{Now, }   \forall\{a,b\}\in\mathbb{C}: \int e^{a x} \cos\left(b x\right) dx = \frac{e^{a x}}{a^2 + b^2}\left(b \sin\left(b x\right) + a \cos\left(b x\right)\right)    \text{ so out integral is:}$$

$$ \int_{0}^{\infty}e^{-\left(\alpha + i k\right) x} \cos\left(\beta x\right)dx + \int_{-\infty}^{0}e^{\left(\alpha -i k\right) x} \cos\left(\beta x\right)dx $$

$$ = \frac{e^{\left(-\left(\alpha + i k\right)\right) x}}{\left(-\left(\alpha + i k\right)\right)^2 + \beta^2}\left(\beta \sin\left(\beta x\right) + \left(-\left(\alpha + i k\right)\right) \cos\left(\beta x\right)\right)\Bigr|_{x=0}^{\infty} + \frac{e^{\left(\alpha -i k\right) x}}{\left(\alpha -i k\right)^2 + \beta^2}\left(\beta \sin\left(\beta x\right) + \left(\alpha -i k\right) \cos\left(\beta x\right)\right)\Bigr|_{x=-\infty}^{0} $$

$$ = \lim_{x \to +\infty} \frac{e^{-\left(\alpha + i k\right) x}}{\left(\alpha + i k\right)^2 + \beta^2}\left(\beta \sin\left(\beta x\right) - \left(\alpha + i k\right) \cos\left(\beta x\right)\right) - \frac{e^{-\left(\alpha + i k\right) \left(0\right)}}{\left(\alpha + i k\right)^2 + \beta^2}\left(\beta \sin\left(\beta \left(0\right)\right) -\left(\alpha + i k\right) \cos\left(\beta \left(0\right)\right)\right)$$

$$ + \frac{e^{\left(\alpha -i k\right) \left(0\right)}}{\left(\alpha -i k\right)^2 + \beta^2}\left(\beta \sin\left(\beta \left(0\right)\right) + \left(\alpha -i k\right) \cos\left(\beta \left(0\right)\right)\right) - \lim_{x \to -\infty} \frac{e^{\left(\alpha -i k\right) x}}{\left(\alpha -i k\right)^2 + \beta^2}\left(\beta \sin\left(\beta x\right) + \left(\alpha -i k\right) \cos\left(\beta x\right)\right)$$

$$ = 0 - \frac{-\left(\alpha + i k\right)}{\left(\alpha + i k\right)^2 + \beta^2} + \frac{\left(\alpha -i k\right)}{\left(\alpha -i k\right)^2 + \beta^2} - 0 $$

$$ \implies \frac{\left(\alpha + i k\right)}{\left(\alpha + i k\right)^2 + \beta^2} + \frac{\left(\alpha -i k\right)}{\left(\alpha -i k\right)^2 + \beta^2} = F\left(k\right) \text{ is our Fourier transform } \blacksquare$$



b. ii) $e^{-\alpha |x|}\sin\left(\beta x\right)$

Answer

$$ F\left(k\right) = \int_{-\infty}^{\infty}e^{-\alpha |x|} \sin\left(\beta x\right) e^{-i k x}dx = \int_{0}^{\infty}e^{-\alpha \left(x\right)} e^{-i k x} \sin\left(\beta x\right)dx + \int_{-\infty}^{0}e^{-\alpha \left(-x\right)} e^{-i k x} \sin\left(\beta x\right)dx$$

$$ \text{Now, }   \forall\{a,b\}\in\mathbb{C}: \int e^{a x} \sin\left(b x\right) dx = \frac{e^{a x}}{a^2 + b^2}\left(a \sin\left(b x\right) - b \cos\left(b x\right)\right)    \text{ so out integral is:}$$

$$ \int_{0}^{\infty}e^{-\left(\alpha + i k\right) x} \sin\left(\beta x\right)dx + \int_{-\infty}^{0}e^{\left(\alpha -i k\right) x} \sin\left(\beta x\right)dx $$

$$ = \frac{e^{\left(-\left(\alpha + i k\right)\right) x}}{\left(-\left(\alpha + i k\right)\right)^2 + \beta^2}\left(\left(-\left(\alpha + i k\right)\right) \sin\left(\beta x\right) - \beta \cos\left(\beta x\right)\right)\Bigr|_{x=0}^{\infty} $$
$$ + \frac{e^{\left(\alpha -i k\right) x}}{\left(\alpha -i k\right)^2 + \beta^2}\left(\left(\alpha -i k\right) \sin\left(\beta x\right) - \beta \cos\left(\beta x\right)\right)\Bigr|_{x=-\infty}^{0} $$

$$ = \lim_{x \to +\infty} \frac{e^{-\left(\alpha + i k\right) x}}{\left(\alpha + i k\right)^2 + \beta^2}\left(-\left(\alpha + i k\right) \sin\left(\beta x\right) - \beta \cos\left(\beta x\right)\right) - \frac{e^{-\left(\alpha + i k\right) \left(0\right)}}{\left(\alpha + i k\right)^2 + \beta^2}\left(-\left(\alpha + i k\right) \sin\left(\beta \left(0\right)\right) - \beta \cos\left(\beta \left(0\right)\right)\right)$$

$$ + \frac{e^{\left(\alpha -i k\right) \left(0\right)}}{\left(\alpha -i k\right)^2 + \beta^2}\left(\left(\alpha -i k\right) \sin\left(\beta \left(0\right)\right) - \beta \cos\left(\beta \left(0\right)\right)\right) - \lim_{x \to -\infty} \frac{e^{\left(\alpha -i k\right) x}}{\left(\alpha -i k\right)^2 + \beta^2}\left(\left(\alpha -i k\right) \sin\left(\beta x\right) - \beta \cos\left(\beta x\right)\right)$$

$$ = 0 - \frac{-\beta}{\left(\alpha + i k\right)^2 + \beta^2} + \frac{- \beta}{\left(\alpha -i k\right)^2 + \beta^2} - 0 $$

$$ \implies \frac{\beta}{\left(\alpha + i k\right)^2 + \beta^2} - \frac{\beta}{\left(\alpha -i k\right)^2 + \beta^2} = F\left(k\right) \text{ is our Fourier transform } \blacksquare$$



   c. $ x^n e^{-\alpha |x|}$

Answer

We have for for any function $ f\left(x\right) $ with Fourier transform $ F\left(k\right), $ the transform of $ g\left(x\right) = x f\left(x\right) $  is given by: $ G\left(k\right) = i\frac{dF}{dk} $.  Moreover, it's clear that for: $ g\left(x\right) = x^n f\left(x\right) $, $ G\left(k\right) = i^n\frac{d^n F}{d k^n} $.

Proof:} We proceed by induction. Our base case is obvious: for $ n = 1 $, $ g\left(x\right) = x^n f\left(x\right) = x f\left(x\right) \implies G\left(k\right) = i\frac{dF}{dk} = i^n\frac{d^n F}{d k^n} $. Suppose we have for some $ n \in \mathbb{N} $, $ h\left(x\right) = x^n f\left(x\right) \implies H\left(k\right) = i^n\frac{d^n F}{d k^n}.$ Then, $ g\left(x\right) = x^{n+1} f\left(x\right) = x h\left(x\right) \implies G\left(k\right) = i \cdot i^n\partial_k H\left(k\right) = i^{n+1} \partial_k \frac{d^n F}{d k^n} = i^{n+1}\frac{d^{n+1} F}{d k^{n+1}} $ and $ \forall n \in \mathbb{N}: g\left(x\right) = x^n f\left(x\right) \implies i^n\frac{d^n F}{d k^n} $, as needed $ \square $

Now, we found in part a. that the Fourier transform for $ f\left(x\right) = e^{-\alpha |x|} $ is given by: $ F\left(k\right) = \frac{2\alpha}{\alpha ^2 - k^2}$. Examining the derivatives of $ F\left(k\right)$:

$$ F\left(k\right) = \frac {2\alpha} {\alpha^2-k^2},    F'\left(k\right) = \frac{4 k \alpha }{\left(\alpha ^2-k^2\right)^2},    F''\left(k\right) = 2 \left(\frac{-1}{\left(\alpha-k \right)^3}+\frac{1}{\left(\alpha+k \right)^3}\right) $$

$$ F'''\left(k\right) = 6 \left( \frac{1}{\left(\alpha-k\right)^4}-\frac{1}{\left(\alpha+k \right)^4}\right),    F^{\left(4\right)}\left(k\right) = 24 \left(\frac{-1}{\left(\alpha-k \right)^5}+\frac{1}{ \left(\alpha+k \right)^5}\right)$$

$$ \text{So for: } n \in \mathbb{N}: F^n \left(k\right) = n! \left(\frac{\left(-1\right)^{n+1}}{\left(\alpha-k\right)^{n+1}}+\frac{\left(-1\right)^n}{\left(\alpha+k\right)^{n+1}} \right) \text{, and:} $$

$$ g\left(x\right) = x^n f\left(x\right) = x^n e^{-\alpha |x|} \implies G\left(k\right) = i^n\frac{d^n F}{d k^n} = i^n n! \left(\frac{\left(-1\right)^{n}}{\left(\alpha-k\right)^{n+1}}+\frac{\left(-1\right)^{n+1}}{\left(\alpha+k\right)^{n+1}} \right) \text{ is our transform } \blacksquare $$



 d. i) $ x^n e^{-\alpha |x|}\cos\left(\beta x\right)$

Answer

Two properties of the Fourier transform are that for: $ g\left(x\right) = e^{i a x} f\left(x\right) $ the Fourier transform of $ g\left(x\right) $ is given by $ G\left(k\right) = F\left(k-a\right) $, and that the transform is linear: $ h\left(x\right) = a f\left(x\right) + b g\left(x\right) \implies H\left(k\right) = a F\left(k\right) + b G\left(k\right) $

$$ \text{Now, } \cos{\beta x} = \frac{1}{2}\left(e^{i \beta x} + e^{- i \beta x}\right) \text{ so we write:} $$

$$ x^n e^{-\alpha |x|}\cos\left(\beta x\right) = \frac{1}{2}\left(e^{i \beta x} x^n e^{-\alpha |x|} + e^{- i \beta x} x^n e^{-\alpha |x|}\right) $$

$$ \text{Then our transform is given by: } G\left(k\right) = \frac{1}{2}\left(F\left(k-\beta\right) + F\left(k+\beta\right)\right) \text{ where: } $$

$$ F\left(k\right) =  i^n n! \left(\frac{\left(-1\right)^{n}}{\left(\alpha-k\right)^{n+1}}+\frac{\left(-1\right)^{n+1}}{\left(\alpha+k\right)^{n+1}} \right) \text{ is our transform from part c. for } x^n e^{-\alpha |x|}$$

$$ \implies G\left(k\right) = \frac{1}{2} i^n n! \left( \frac{\left(-1\right)^{n}}{\left(\alpha+ \beta - k\right)^{n+1}}+\frac{\left(-1\right)^{n+1}}{\left(\alpha -\beta + k\right)^{n+1}}  + \frac{\left(-1\right)^{n}}{\left(\alpha -\beta -k\right)^{n+1}}+\frac{\left(-1\right)^{n+1}}{\left(\alpha+\beta +k\right)^{n+1}} \right) \blacksquare $$




ii) $x^n e^{-\alpha |x|}\sin\left(\beta x\right)$

Answer

Proceeding as in part i) we use that: $ \sin{\beta x} = \frac{1}{2 i}\left(e^{i \beta x} - e^{- i \beta x}\right) $ to write:

$$ g\left(x\right) = x^n e^{-\alpha |x|}\sin\left(\beta x\right) = \frac{1}{2i}\left(e^{i \beta x} x^n e^{-\alpha |x|} - e^{- i \beta x} x^n e^{-\alpha |x|}\right) $$

$$ \text{Which yields the transform: } G\left(k\right) = \frac{1}{2i}\left(F\left(k-\beta\right) - F\left(k+\beta\right)\right) \text{ with: } F\left(k\right) = i^n n! \left(\frac{\left(-1\right)^{n}}{\left(\alpha-k\right)^{n+1}}+\frac{\left(-1\right)^{n+1}}{\left(\alpha+k\right)^{n+1}} \right) \text{ and so:} $$

$$ G\left(k\right) = \frac{1}{2 i} i^n n! \left( \frac{\left(-1\right)^{n}}{\left(\alpha+ \beta - k\right)^{n+1}}+\frac{\left(-1\right)^{n+1}}{\left(\alpha -\beta + k\right)^{n+1}}  - \frac{\left(-1\right)^{n}}{\left(\alpha -\beta -k\right)^{n+1}}+\frac{\left(-1\right)^{n+1}}{\left(\alpha+\beta +k\right)^{n+1}} \right) \blacksquare $$
Title: Re: Problem 1--simplified
Post by: Calvin Arnott on November 07, 2012, 09:34:13 PM
Part 2 of solution.

*edited to png
Title: Re: Problem 1--simplified
Post by: Victor Ivrii on November 07, 2012, 09:46:05 PM
Calvin: 1) errors with the sign in denominator 2) Please don't upload pdfs as they are not displayed by Forum (so one needs to download them) 3) TeX advice: too long lines (not nice to read)


Everybody: I did not ask you to take all integrals. Instead after you found F.T. of $e^{-\alpha |x|}$ (say $G(\omega)$) you recalling properties of F.T understand that F.t. of $e^{-\alpha |x|}e^{\pm i\beta x}$ are  $G(\omega \mp \beta)$ and then F.T. of  $e^{-\alpha |x|}\cos(\beta x)$ and $e^{-\alpha |x|}\sin(\beta x)$ are $\frac{1}{2}[ G(\omega - \beta)+G(\omega + \beta)]$ and $\frac{1}{2i}[ G(\omega - \beta)-G(\omega + \beta)]$ respectively
Title: Re: Problem 1--simplified
Post by: Victor Ivrii on November 08, 2012, 02:10:15 AM
Calvin, first of all not "edited" but "converted" to png. Now why your png is rather invisible? The answer is simple: you generated pdf via TeX and therefore it has not a white but a transparent background.

Actually all graphics I generated via LaTeX with pgf package but I always put \pagestyle{empty}, then apply pdfcrop to the generated pdf,  and then convert by ImageMagick to png which inserts white background.