I have a problem:

Let $f$ be a continuous function on the unit circle $(\Gamma)$:

$$\Gamma=\{e^{i\theta}: \theta\in [0, 2 \pi]\}$$

Assume that $f \ne 0$ on $\Gamma$, and the Fourier series of $f$ is absolutely convergent on $\Gamma$.

Prove that the Fourier series of $\dfrac{1}{f}$ is absolutely convergent on $\Gamma$.


  • I've tried to use the definition of $\sum_{n=0}^\infty a_n$ is absolutely convergent:

A real or complex series $\sum_{n=0}^\infty a_n$ is said to converge absolutely if $\sum_{n=0}^\infty \left|a_n\right| = L$ for some real number $L$.

So let the Fourier series of $f$ be given by: $$f(x) = \sum_{n=-\infty}^{\infty} a_{n}e^{in \theta}$$

We want to show that $$\sum_{n=-\infty}^{\infty} |a_{n}e^{in \theta}| \to f(\theta)< +\infty$$


But I still have no solution :( . Can anyone help me!

Any help will be appreciated! Thanks!

  • 1
    $\begingroup$ A pretty proof was given by Gelfand mat.iitm.ac.in/home/shk/public_html/wiener1.pdf $\endgroup$
    – OR.
    Nov 1 '13 at 14:53
  • $\begingroup$ Yes, It's great link! thanks ABC. I'll write it here, Please you check my post. $\endgroup$
    – kimtahe6
    Nov 1 '13 at 15:18
  • $\begingroup$ Since the theorem $3.1$, we have $\lambda - f$ is invertible. But I think that we need to show the Theorem 1.1. (Wiener’s Theorem) (in your link)??? How can we show it? Thanks! $\endgroup$
    – kimtahe6
    Nov 1 '13 at 15:38
  • 1
    $\begingroup$ In that note, the very last paragraph is what would be the proof of Theorem 1.1. After all the work, the proof reduces to: If $f$ is not invertible there is a non-zero functional $\phi$ such that $\phi(f)=0$. All the functionals in this algebra are evaluations at certain point, so $0=\phi(f)=f(t_0)$ for some $t_0$, contradiction. $\endgroup$
    – OR.
    Nov 1 '13 at 15:48
  • 1
    $\begingroup$ Yes, it is not a simple proof (if you begin from scratch). Direct proofs, which existed before Gelfand's, are not so simple either. There are many direct proofs. Online, you can find many searching for 'Weiner's theorem'. $\endgroup$
    – OR.
    Nov 1 '13 at 16:20

The standard proof ever since Gelfand uses commutative Banach agebras, but this requires a certain amount of preparations. A short proof was given by Newman in 1975. The paper is only two pages long, but still too long to summarize. Anyway, the paper is accessible freely at http://www.ams.org/journals/proc/1975-048-01/S0002-9939-1975-0365002-8/S0002-9939-1975-0365002-8.pdf

  • $\begingroup$ Thanks M. Mueger! It's very useful to me. $\endgroup$
    – kimtahe6
    Nov 2 '13 at 1:49
  • $\begingroup$ In Newman's proof: $$\sum_{n \ne 0}n^2|a_n|^2=\dfrac{1}{2\pi}\int_{-\pi}^{\pi}|f'(x)|^2 \rm d x$$ I think that we use the [Parseval's theorem] We apply for $$A(x)=B(x)=f'(x)=\sum_{n=-\infty}^{+\infty}(ina_n)\cdot e^{inx}$$ then $$\sum_{n=-\infty}^{+\infty}(ina_n)\overline{(ina_n)}=\dfrac{1}{2\pi}\int_{-\pi}^{\pi} f'(x) \overline{f'(x)} \rm d x$$ Whence $$\sum_{n \ne 0}n^2|a_n|^2=\dfrac{1}{2\pi}\int_{-\pi}^{\pi}|f'(x)|^2 \rm d x$$ Do I have the correct change? [Parseval's theorem]: en.wikipedia.org/wiki/Parseval%27s_theorem $\endgroup$
    – kimtahe6
    Nov 3 '13 at 16:25
  • $\begingroup$ Yes, this the way to prove it. $\endgroup$
    – M. Mueger
    Nov 5 '13 at 10:31
  • $\begingroup$ This is one of my favorite papers! I thought is was strange N. Wiener did not see that. $\endgroup$
    – AD.
    Dec 28 '16 at 7:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.