11
$\begingroup$

The question here might be standard in some textbook. Let $a_n, n\ge1$ be a series of real numbers. It is evident that

  • if $\displaystyle \sum_{n\ge 1} |a_n|<+\infty$, then $\displaystyle \sum_{n\ge1} e^{2n\pi i t}a_n$ converges for all $0\le t< 1$.

What about the converse implication? That is,

  • Assume $\displaystyle \sum_{n\ge1} e^{2n\pi i t}a_n$ converges for all $0\le t< 1$. Does this imply $\displaystyle \sum_{n\ge 1} |a_n|<+\infty$?
$\endgroup$
  • 1
    $\begingroup$ Very interesting question. The answer to the first question is a simple "yes": an absolutely convergent series is always convergent. The second one is more difficult. If the exponential factor were not present, the answer would be "no": the alternating harmonic series converges, but the harmonic series does not. Again go very interesting! This will probably keep me up tonight thinking about it--thanks a lot ;) $\endgroup$ – MPW Apr 15 '14 at 1:03
  • 2
    $\begingroup$ It might be helpful to notice that this is a power series evaluated at a point on the unit circle. The terms are $a_nz^n$ with $z=e^{2\pi i t}$... $\endgroup$ – MPW Apr 15 '14 at 1:05
  • 1
    $\begingroup$ Relevant question $\endgroup$ – Henning Makholm Apr 15 '14 at 1:07
  • 1
    $\begingroup$ I expect the answer is no. A counterexample might be found by taking $a_n = \frac1n e^{i\theta(n)}$, where $\theta(n)$ are randomly chosen between $0$ and $2\pi$; alternatively, where $\theta(n)=n^2$. $\endgroup$ – Greg Martin Apr 15 '14 at 1:32
3
$\begingroup$

Here is my thought according to MPW's viewpoint as a power/Fourier series.

(a). $\displaystyle \sum_{n\ge1} e^{2n\pi i t}a_n$ converges for all $0\le t< 1$.

Condition (a) implies that we have a well defined function, say $f(t)$.

(b). $\displaystyle \sum_{n\ge 1} |a_n|<+\infty$.

Condition (b) implies that the series in (a) converges to $f$ absolutely and uniformly.

According to Wikipedia, there exists some function, whose "Fourier series converges pointwise, but not uniformly; see Antoni Zygmund, Trigonometric Series, vol. 1, Chapter 8, Theorem 1.13, p. 300." This should be a theoretically counterexample.

$\endgroup$
1
$\begingroup$

An explicitly example is listed on the following wikipedia page

For each $n\ge 1$, and for each $2^{n-1}\le k< 2^n$, let $\displaystyle a_k=\frac{(-1)^n}{n\cdot 2^n}$. Consider the series $\displaystyle \sum_{k\ge 1}a_k z^k$.

  • This series converges (uniformly) on the closed disk $|z|\le 1$.

  • $\displaystyle\sum_{k\ge 1}|a_k|=\sum_{n\ge 1}\sum_{2^{n-1}\le k< 2^n}\frac{1}{n\cdot 2^n}=\sum_{n\ge 1}\frac{1}{2n}$ diverges.

$\endgroup$

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.