Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Integral of exponentiated Fourier expansion

  1. Nov 11, 2009 #1
    Hello everyone,
    I need to solve an integral, opfully extracting Fourier coefficients, and I don't have a clue.

    It is just

    \int^{2\pi}_0 d\sigma \text{exp}{A(\sigma)}


    A(\sigma) = \sum_n a_n e^{-i n \sigma }

    I tried to work with complex coordinates [tex]
    z = e^{-i \sigma}
    [/tex] and look for the poles, but since there are poles at every order I can't go through that...

    Any idea? I don't even know how to look on the net for something like this...
    Thank you guys!
  2. jcsd
  3. Nov 13, 2009 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    I don't know if I can help you or not, but your question is not clear to me. What do you mean by "poles at every order"? Is [itex]A(\sigma)[/itex] a given periodic function for which you seek the complex Fourier coefficients? Does it satisfy the Dirichlet conditions? More details please.
  4. Nov 13, 2009 #3
    well, [tex] \[ A(\sigma) \] [/tex] should be a [tex] \[ C^\infty \] [/tex] function (all derivatives exist and are differentiable).

    I don't know if the problem is really well defined mathematically, for me [tex] \[ A(\sigma) \] [/tex] is a field for which I know the expansion in creation and annihilation operators. And everything is normal ordered. But I would like to avoid all the complications of considering it as a quantum operator and go straight to the mathematical problem, if it is solvable ;)

    As for the "poles at every order" i meant that i can define [tex] \[ z = e^{-i \sigma} \] [/tex], and write the integral as

    [tex] i \int_\gamma d z \frac{1}{z} \text{exp}\left( \sum_{n>0}( f_n z^n + f_{-n} z^{-n}) + f_0 \right)[/tex]

    where [tex] \[ \gamma \] [/tex] is a closed contour around the origin in the complex plane.
    I could try now to compute the residues at the poles, expanding the exponential for the negative n.

    [tex] i \int_\gamma d z \frac{e^{f_0}}{z} \sum_{k>0} \left( \sum_{m>0} f_{-m} z^{-m}\right)^k \text{exp}\left( \sum_{n>0} f_n z^n \right)[/tex]

    but even assuming that I can compute the k power of this series i would get

    [tex] i \int_\gamma d z e^{f_0} \sum_{k>0} \sum_{m>0} F_{m,k} z^{-mk-1} \text{exp}\left( \sum_{n>0} f_n z^n \right)[/tex]

    where F_{m,k} are some combinations of the f's.
    At this point there are poles at every order, from 1 to infinity, so one should take an arbitrary high derivative of the exponential left (that depends on z) and then compute it for z=0 to get the residue...
    It doesn't seems a good way to go through this problem, does it?

    Thank you anyway ;)
  5. Nov 13, 2009 #4


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Well, that clarifies enough for me to tell that I'm not the guy to help you with it. Sorry, but it's a bit far afield for me.
  6. Nov 13, 2009 #5
    hehehe, thank you anyway ;)
  7. Nov 13, 2009 #6


    User Avatar
    Homework Helper

    You might try the following:

    [tex]\exp\left[ \sum_n a_n e^{-in\sigma} \right] = \prod_n \exp\left[a_n e^{-in\sigma}\right] = \prod_n \exp\left[a_n \cos(n\sigma)\right]\exp\left[-ia_n \sin(n\sigma)\right],[/tex]

    then use the identities

    [tex] e^{iz \sin\phi} = \sum_{m=-\infty}^{\infty} J_m(z) e^{im\phi} [/tex]


    [tex] e^{z \cos\phi} = I_0(z) + 2\sum_{m=1}^{\infty} I_m(z) \cos{m\phi} [/tex]

    where J and I are bessel functions and modified bessel functions, respectively.


    This will, however, place your coefficients [itex]a_n[/itex] inside the bessel functions, which may not be so useful in being able to extract them. You will also have very many products of sums, which may be quite difficult, if not impossible, to deal with.
    Last edited: Nov 13, 2009
  8. Nov 13, 2009 #7
    thanks, it seems to be a good solution ;)

    I just checked these functions and since they contain just powers of my creation/annihilation operators they would work perfectly. Anyway tomorrow I will check in detail and I will let you know ;)

    thanks again!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook