Why there is no integrable complex valued function that has the following Fourier coefficients a_k = 1/k for k >= 1, and a_k = 0 otherwise?
Thanks
Alexei
More detailed question is
Show that there is no (complex valued) Riemann integrable function F(x) with Fourier coefficient a_k = 1/k for k>=1 and a_k=0 otherwise.
This is Exercise 6 (Chapter 3) from "Fourier analysis" by Stein&Shakarchi.
...clearly, the function F(x) if exists can not be real-valued since f is real valued iff conjugate of a_k = a_{-k}, which is not true for the above a_k's.
I dont know how to show "integrable" functions don't exist, but I can see one problem with these co-effs.
Observe that is not finite. Of course these do not cause any problems, since Dirichlet's conditions are only sufficient conditions and not necessary.
I can see that this function is not well defined for x = 0, because you get the harmonic series.
Does this help?
not really. There exist continuous functions whose Fourier series fail to converge at the point of continuity. So the fact that Fourier series diverges at some point does not solve the problem.
But I think I now how to do this problem, anyway.
Assume that an inegrable function with above coeff-s exist, then summing up coefficients gives a harmonic series which is diverging, on the other hand the same sum can be written as an .
Sum of the geometric progression under the integral sign can be easily calculated and is an integrable function. Since is integrable and the product of integrable functions is integrable we get a contradiction.
I'm puzzled by this question. The series converges to everywhere in the interval [–π,π] except at x=0 (by Abel's test).
Obviously this function is not strictly speaking Riemann integrable, because it is unbounded near x=0. But it has an indefinite integral , which has a limit 1 at x=0. So it looks to me as though the improper Riemann integral of the function over the interval [–π,π] exists and is 0.
Is there something wrong with that argument? Edit: Yes there certainly is. See comments below.
The series converges to for |z|<1. It's legitimate to integrate term by term to get for |z|<1. By Abel's result, that equality also holds for |z|=1, except at z=1. Put to get (except for x=0).
There's a theorem telling you that if and the series converges, then the Fourier coefficients of f are the c_k. Of course, in this example, c_k = 1/k, so the series does not converge, and the theorem does not apply.
That was my first mistake. But the second mistake was more serious. I said that the function had an indefinite integral. I was thinking of the fact that has an indefinite integral with respect to z. But you don't get an indefinite integral of with respect to x just by replacing z by .
Moral: Don't make hasty posts to MHF last thing at night.