2
$\begingroup$

A problem I've been working on has lead me to consider power series of the form $\sum_{n \geq 0} a_n x^n$ with $a_n = 0$ or $a_n = 1$ for all $n$.

Is there any literature available on these series? What do we know about them? I'm interested in convergence, analytic properties, and possibly even representation by known functions. Any help would be greatly appreciated.

  • 0
    Is there any pattern in the sequence $a_n$?2011-04-20
  • 0
    J.M., no, I'm considering these series in general.2011-04-20

2 Answers 2

7

If there's only a finite number of $a_j=1$, then, well, the series converges for all $x$.

If there's an infinite number of $a_j=1$ then it will converge for $-1 due to comparison with $\Sigma x^n = 1/(1-x)$ and diverge for $x=\pm 1$ due to terms not going to zero.

7

For one thing, "representation by known functions" is clearly overly optimistic - there are uncountably many power series of this form, and only countably many can be explicitly named or described by any list of "known" functions.

Many examples of lacunary functions have 0/1 coefficients.

  • 0
    Right, hence my question in the comments. If there's no pattern, the likelihood of a closed form is miniscule.2011-04-20
  • 0
    I almost bit my fingers when I typed it, but I figured I should give it a shot anyway in the hopes that special cases have been studied.2011-04-20
  • 0
    *special* cases have certainly been studied. Some of those series are rational functions, others are lacunary functions, etc.2011-04-20
  • 1
    For a while I had trouble wrapping my head around the "uncountably many" in the above comment. But now I see that the series are in 1-1 correspondence with the real numbers between 0 and 1 by describing them with as binary decimals. I'll upvote this when I get my vote back later today.2011-04-20
  • 0
    An infinite sequence of 0's and 1's also corresponds to a subset of the natural numbers (consider the set of indices where the sequence has the value 1). Thus, the set of such sequences is in 1:1 correspondence with the set of subsets of natural numbers, an uncountable set.2011-04-20