1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Fourier Series & Parceval's identity

  1. Jun 8, 2013 #1
    1. The problem statement, all variables and given/known data
    Calculate the following integral:
    [tex]
    \int_{0}^{2\pi}(\sum_{k=0}^{\infty} \frac{\cos(kx)}{3^k})^2 dx
    [/tex]
    2. Relevant equations
    Parseval's identity: [tex] \frac{1}{2 \pi} \int_{-\pi}^{\pi} {|f(x)|^2 dx} = \sum_{n=0}^{\infty} {|a_n|^2+|b_n|^2} [/tex]
    Where a_n, and b_n are the trigonometric Fourier coefficients; factors for cos(nx) and sin(nx) respectively.
    3. The attempt at a solution
    Since the question posited the integrand as a sum of a trigonometric polynomial, I let f(x) = Ʃ(cos(kx)/(3^k)).
    Then, squaring it, according to Parseval's identity, and taking the integral as shown, should yield the sum of the absolute value of the coefficients(times two Pi -- a constant in the definition of the orthonormal inner product, in the Hilbert space).
    In this case:
    [tex] \int |f(x)|^2 dx = 2 \pi \sum |a_n|^2 = \sum_{k=0}^{\infty} (\frac{1}{9})^k = 2 \pi \frac{9}{8} = \frac{18 \pi}{8} [/tex]
    However, Mathematica claims it's 17π/8!
    http://www.wolframalpha.com/input/?...)]/(3^k),+{k,+0,+Infinity}]^2),+{x,+0,+2+Pi}]
    I'm quite at a loss as to where I have erred,
    And am, as ever, reliant on your help,
    Thanks for your time and attention,
    Daniel
     
    Last edited: Jun 8, 2013
  2. jcsd
  3. Jun 8, 2013 #2
    It is not impossible that you might have found a bug.

    Someone just a couple of days ago found what looks like a bug in infinite sums.

    http://forums.wolfram.com/student-support/topics/519673

    You would think that something as simple as this would have been exhaustively tested, but there are lots of tricky cases.

    Find three completely different ways of coming up with the answer and see if they consistently disagree with Mathematica. If so then maybe someone can get it fixed in a year or two.
     
  4. Jun 8, 2013 #3
    Thanks for a prompt reply...

    But Mathematica is pretty insistent.
    I've tried rewriting the factor a_n in terms of a complex number, then multiplying it by the series element expressed as a complex exponent(i.e. converted the trigonometric series to a complex-exponential one). But still, no change. Mathematica is adamant that the answer is 17 Pi/8, come hell or high water.
    Any further suggestions would be very welcome!
    Thanks again,
    Daniel
    P.S.
    I've just noticed the error I made with regards to the title of this thread:
    It should of course read "Parseval's identity". My apologies to Marc-Antoine.
     
  5. Jun 8, 2013 #4

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    Maple also gave ##17 \pi/8##. I got this by first finding the sum in the integrand as
    [tex]f(x) = \sum_{k=0}^{\infty} \frac{\cos(kx)}{3^k} = \frac{3}{2}\frac{\cos(x)-3}{3\cos(x)-5},[/tex]
    then integrating ##f^2##.

    You are mis-using Parseval: if [tex]f(x) = \sum_{k=-\infty}^{\infty} c_k e^{ikx},[/tex]
    we have
    [tex] \int_{-\pi}^{\pi} |f(x)|^2 \, dx = 2\pi \sum_{k=-\infty}^{\infty} |c_k|^2.[/tex]
    In the example we have [tex]c_0 = 1, \text{ and } c_k =\frac{1}{2}\frac{1}{3^{|k|}}, k \neq 0,[/tex]
    so
    [tex] 2 \pi \sum_{k=-\infty}^{\infty} |c_k|^2 = 2 \pi \left( 1 + 2 \sum_{k=1}^{\infty} \frac{1}{4}\frac{1}{9^k} \right)
    = \frac{17 \pi}{8}.[/tex]
     
  6. Jun 9, 2013 #5
    Thanks Ray! A few questions:

    Ray, thank you for a very cogent reply.
    I'm somewhat unsure about your last substitution there:
    Why is it necessary to separate c_0 from the more general c_k? (after all, n(the sum's interator) crosses zero -- does it not?)
    In this particular equation:
    , why is there an additional factor of two, multiplying the sum?
    Thanks again,
    Daniel
     
  7. Jun 9, 2013 #6

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    In the complex (e^{ikx}) form, c_0 is treated the same as the others, but in the real form it is different; that's why books and papers all write
    [tex] f(x)= \frac{1}{2} a_0 + \sum_{n=1}^{\infty} [ a_n \cos(nx) + b_n \sin(nx) ] [/tex]
    Anyway,
    [tex] \int_{-\pi}^{\pi} \left| \sum_{n=0}^{\infty} c_n \cos(nx) \right|^2 \, dx =
    \pi (2 |c_0|^2 + \sum_{n=1}^{\infty} |c_n|^2 ).[/tex]
    If you don't believe this, try a simple form such as ##f(x) = c_0 + c_1 \cos(x)## and integrate f^2 to see what you get.

    The factor of 2 multiplying the sum comes from converting ##\sum_{k=-\infty}^{-1} + \sum_{k=1}^{\infty}## to ##2\sum_{k=1}^{\infty}##.
     
  8. Jun 9, 2013 #7
    Finally have it, thanks!

    Ray,
    You're superb! Your last line has finally made me see the "light" on this issue.
    Thanks again for all your help,
    Daniel
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Fourier Series & Parceval's identity
  1. Series identity (Replies: 3)

  2. Fourier series (Replies: 10)

  3. Fourier Series (Replies: 1)

  4. Fourier Series (Replies: 6)

Loading...