Fourier series vs Integral: just one coherent notation?

[FranzDiCoccio]

Fourier series vs Integral: just one "coherent" notation?

Hi all,

notations for Fourier analysis always confuse me.
I understand that the "volume" normalization factor can be disposed of either in the definition of the Fourier coefficient or in the definition of the Fourier series (or split among the two).

However, I have the feeling that the only choice which does not need "coefficient rearrangement" in taking the infinite volume limit is the following

F_k = \int dx e^{-i k x} F(x), \qquad F(x) = \frac{1}{L}\sum_k e^{i k x} F_k

Indeed in the limit L\to\infty one has

\sum_k \rightarrow \frac{L}{2 \pi}\int dk

which neatly cancels out the L coefficient in F(x).

It seems to me that any other choice making sense in the finite volume limit, like e.g.

F_k = \frac{1}{L} \int dx e^{-i k x} F(x), \qquad F(x) = \sum_k e^{i k x} F_k

gives rise to awkward volume dependent coefficients.

Does this make sense?

Thanks a lot

 

[Mute]

The factor out front of the integral when you "convert" the sum to an integral comes about because you have to take account of the fact that the variable you're integrating over does not have uniform spacing when you sum over it.

Let me explain in the context of statistical mechanics: In statistical mechanics, you often find yourself evaluating sums such as

\sum_{n=0}^{\infty} e^{-\beta E_n}

where the energy E_n depends on the index n. Note that the indices, n, are equally spaced; this does NOT need to be true for E_n! If we have a LARGE number of terms in this sum, we might approximate it by an integral. For instance, we could approximate this sum by

\int_{0}^{\infty}dn~e^{-\beta E(n)}

Note that the variable I'm integrating over is still the index n, and the energy is now approximated as a continuous function of n. However, integrating over n isn't really desirable - we'd much rather integrate over the energy. The problem is that the energy isn't evenly spaced out - the values of E_n have some distribution - a "density of states", typically labelled g(E). If you want to integrate over energy instead of the index n, you have to include this density of states in your integral:

\int_{E_0}^{E_{max}}dE~g(E)e^{-\beta E}

where E is now the variable of integration.

This is what's happening when you convert your sum over k. Your sum is written as being over "k", but really you have to order the k you are summing over by some index n. Then, when you convert your sum into an integral and you integrate over k, you have to include a density of states:

\sum_{n=-\infty}^{\infty}f(k_n) \rightarrow \int dk~g(k) f(k)

For your specific example, g(k) = L/2\pi. This is derived in some model by treating particles/waves in a 1d box. The boundary conditions give kL = n\pi, where n runs from -\infty to \infty, so when you convert the sum to an integral over n, you get the relation dn = dk L/\pi. Now, the factor of 1/2 comes about because you're integrating over is in some sense a "1 dimensional circle" of the index n, and you only want the positive half of that 'circle', so you take divide L/\pi by 2.

(The analog of this in 2d is that you have two indices, m and n, and you're integrating the indices over a circle N_max^2 = m^2 + n^2, but m and n are >0, so you take 1/4 the area of the circle, which relates to your density of states.)

 

[FranzDiCoccio]

Hi Mute,

and thanks for replying.

The factor out front of the integral when you "convert" the sum to an integral comes about because you have to take account of the fact that the variable you're integrating over does not have uniform spacing when you sum over it.
[...]

Yes, of course. The origin of the factor is clear to me.

What slightly confuses me is the following: as far as one is interested in Fourier sums, the two notations I have written in the previous post are equivalently good, right? I mean, the 1/L factor can be either in front of the sum or in front of the integral. It is a matter of taste, I guess, and I think have seen both choices in solid state books.

When one let's L go to infinity, the sum over k becomes an integral to within a constant proportional to L. If the above 1/L factor is originally in front of the sum over k this constant is canceled out, and the result does not contain L any more (explicitly). The original 1/L factor is replaced by a 1/2 \pi factor in the integral over k.

Starting with the other choice yields a 1/L factor in front of the dx integral and a L factor in front of the dk integral, which seems odd in view of the fact that L\to\infty.

I see that one could write

<br /> F_k = \int dx e^{-i k x} \frac{1}{L}\sum_k e^{i k x} F_k \to F(k)=\int dx e^{-i k x} \frac{1}{2 \pi}\int dq e^{i q x} F(q) <br />



and then "re-define" the relation between F(k) and F(x) by assigning the 1/2 \pi factor at will. This is the "coefficient rearrangement" I was referring to.

What I was pointing out is that performing the limit on the two relations separately appears to make sense only when the 1/L factor is in front of the sum over k.
Which, b.t.w., is not the usual notation in solid state.