Series identity

for every sequence of numbers a_n E_n is this identity correct ?

$$\sum_{n= -\infty}^{\infty}a_n e^{2\pi i E_{n}}= \sum_{n= -\infty}^{\infty}a_n \delta (x-E_{n})$$

Answers and Replies

matt grime
Science Advisor
Homework Helper
Clearly it isn't (and I assume that you mean to have an x in the exponent on the LHS).

matt grime
Science Advisor
Homework Helper
Perhaps you meant to integrate the RHS over the real line?

matt grime
Science Advisor
Homework Helper
I suspect I know who this poster is, and the same advice I've given repeatedly still applies: have you tried it for any examples? Eg a_i=0 for i=/=0 and a_0=1, E_0=0, then the LHS is 1 and the RHS is d(x) (d for delta)...

This is true

$$\sum_{n=-\infty}^{+\infty} e^{i 2 \pi n x} = \sum_{k=-\infty}^{+\infty} \delta(x-k)$$

but to generalize it with arbitrary coefficients (that are placed on both sides) is not a true equality.

rbj and matt were right only this

$$\sum_{n=-\infty}^{+\infty} e^{i 2 \pi n x} = \sum_{k=-\infty}^{+\infty} \delta(x-k)$$ (1)

is correct , however my question is if using Fourier analysis we could generalized to an identity

$$\sum_{n=-\infty}^{+\infty}a_{n} e^{i 2 \pi n x} = \sum_{k=-\infty}^{+\infty} b_{n}\delta(x-k)$$

where the a_n and b_n are related by some way , this is interesting regarding an article of Functional equation for Dirichlet series, using (1) the author was able to proof the functional equation for Riemann Zeta, my idea was to develop a functional equation for almost every dirichlet series to see where they have the 'poles'

If we have in the general case

$$\sum_{n=-\infty}^{+\infty}b_{n} e^{i 2 \pi n x} = D A(x)$$

Where A(x) is the partial sum of a_n and D is the derivative operator , in case A(x)=[x] we recover usual delta identity , then i believe we can calculate b_n by the Fourier integral

$$b_n = \int_{0}^{1} dx DA(x) e^{-2i\pi x}$$