Results 1 to 2 of 2

Thread: Seeking for a Simple Proof

  1. #1
    Jun 2009

    Seeking for a Simple Proof

    Hi I found this in an Advanced Calculus book which does not go into the details of real analysis. Hence, I was wondering what would be an "elementary proof" of this result.

    Show that $\displaystyle \displaystyle\sum_{k=-\infty}^{\infty}f(k)=\sum_{m=-\infty}^{\infty}\left[\int_{-\infty}^\infty e^{2\pi imx}f(x)dx\right]$

    Yes, I understand that this is the Poisson Summation Formula.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Mar 2009
    Depends on what you mean by "elementary" I suppose...

    Assume suitable conditions on the function $\displaystyle f$, such as $\displaystyle f\in \mathrm C_2(\mathbb R)$ with $\displaystyle |f(x)|+|f'(x)|+|f''(x)|<A/(1+x^2)$ which ensure convergence of the relevant series.

    Let $\displaystyle g(x)=\sum_{k=-\infty}^\infty f(x+2k\pi)$. This series converges uniformly to a function in $\displaystyle \mathrm C_2[0,2\pi)$ and can be expanded in a uniformly convergent Fourier series:

    $\displaystyle g(x)=\sum_{n=-\infty}^\infty \bar g(n)\mathrm e^{\mathrm i nx}$ where

    $\displaystyle \bar g(n)=\frac1{2\pi}\int_0^{2\pi}g(x)\mathrm e^{-\mathrm inx}\mathrm dx=\frac1{2\pi}\sum_{k=-\infty}^\infty\int_0^{2\pi}f(x+2k\pi)\mathrm e^{-\mathrm inx}\mathrm dx$$\displaystyle {}=\frac1{2\pi}\sum_{k=-\infty}^\infty\int_{2k\pi}^{2(k+1)\pi}f(x)\mathrm e^{-\mathrm inx}\mathrm dx=\frac1{2\pi}\int_{-\infty}^\infty f(x)\mathrm e^{-\mathrm inx}\mathrm dx=\frac1{2\pi}\hat f(n)$.

    Here $\displaystyle \hat f$ is the Fourier transform of $\displaystyle f$.

    Thus $\displaystyle \sum_{k=-\infty}^\infty f(2k\pi)=g(0)=\sum_{n=-\infty}^\infty \bar g(n)=\frac1{2\pi}\sum_{n=-\infty}^\infty \hat f(n)=\frac1{2\pi}\sum_{n=-\infty}^\infty \int_{-\infty}^\infty f(x)\mathrm e^{-\mathrm inx}\mathrm dx$.

    To obtain your result use $\displaystyle h(x)=f(2\pi x)$ and change $\displaystyle x$ to $\displaystyle -2\pi x$ in the integral.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Seeking sources: Mathematics of knots
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: Apr 13th 2010, 12:03 AM
  2. Replies: 2
    Last Post: Mar 31st 2010, 07:53 AM
  3. seeking matlab mathod for solving it
    Posted in the Math Software Forum
    Replies: 3
    Last Post: Jul 22nd 2009, 09:46 PM
  4. Seeking recommendations for basic software
    Posted in the Math Software Forum
    Replies: 1
    Last Post: Mar 6th 2009, 08:06 AM
  5. Seeking name for a formula
    Posted in the Pre-Calculus Forum
    Replies: 4
    Last Post: Jan 13th 2007, 11:28 AM

Search Tags

/mathhelpforum @mathhelpforum