Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

We often ignore convergence when manipulating formal power series. We can add, substract, multiply, divide, differentiate, and do functional composition on such formal sums without worrying about convergence and we derive an equation formally true, well. But when we try to plug some arbitrary number into these equations, the problem happens.

Take an example from Concrete Mathematics EXERCISE 7.32:

An arithmetic progression is an infinite set of integers \[\{an+b\} = \{b,a+b,2a+b,3a+b,\ldots\}\] A set of arithmetic progressions $\{a_1n+b_1\},\ldots,\{a_mn+b_m\}$ is called an exact cover if every nonnegative integer occurs in one and only one of the progressions. For example, the three progressions $\{2n\},\{4n+1\},\{4n+3\}$ constitute an exact cover. Show that if $\{a_1n+b_1\},\ldots,\{a_mn+b_m\}$ is an exact cover such that $2 \le a_1 \le \cdots \le a_m$, then $a_{m-1} = a_m$.

Well, we can use generating function. First assume that $b_k \ge 0$. If $A$ is a nonneggative integer set, we consider a corresponding power series \[ \sum_{n \ge 0} z^n = \sum_{k=1}^m \sum_{n \ge 0} z^{a_kn+b_k} \tag{1} \] Formally, we derive that \[ \frac 1 {1-z} = \sum_{k=1}^m \frac {z^{b_k}} {1-z^{a_k}} \tag{2} \] We want to plug $\omega = e^{2\pi\imath/a_m}$ into equation (2), but wait a minute. We find that $\sum_{n \ge 0} \omega^n$ might diverge, and it's illegal to plug $z = \omega$ into equation (1), so we should observe something else. Well, it's trivial: eqaution (1) is true whenever $|z| < 1$, as well as equation (2). Both sides of equation (2) are rational functions which hold for all $|z| < 1$, so it holds whenever $z \in \mathbb{C}$. Now we can conclude that $a_{m-1} = a_m$, otherwise let $z \to \omega$, the left side of equation (2) is finity and the other is infinity.

For many readers don't know what I mean, I take another example:

Let $a_0 = 1, a_1, \ldots$ is a real sequence, and $A(z) = \sum_{n \ge 0} a_nz^n$ is its generating function. Now let's discover its reciprocal.

Assume that $A(z) = 1 + \bar A(z)$, we get

\begin{align*} \dfrac 1 {A(z)} &= 1 + \sum_{m > 0} (-1)^m \bar A(z)^m \\ &= 1 + \sum_{m > 0} (-1)^m \sum_{k_1, \ldots, k_m > 0} a_{k_1} \ldots a_{k_m} z^{\displaystyle a_{k_1} + \cdots + a_{k_m}} \\ &= 1 + \sum_{n > 0} z^n \sum_{m > 0} (-1)^m \sum_{\scriptstyle k_1, \ldots, k_m > 0 \atop \scriptstyle k_1 + \cdots + k_m = n} a_{k_1} \ldots a_{k_m} = B(z) \end{align*}

I have interchanged $\sum$-notation without consideration of absolute convergence, so $1/A(z) = B(z)$ is only formally true.

Well, only from such proof, can we say that, whenever $A(z_0)$, $B(z_0)$ converges to a non-zero value, $1 / A(z_0) = B(z_0)$?

Now let's consider a more general problem. It's what I want to ask.

If we get $A(z) = B(z)$ from manipulating (including adding, substracting, multiplying, dividing, differentiating, integrating and changing variables -- functional composition) generating functions (usually formal power series), and $A(z_0)$, $B(z_0)$ are convergent (if it is a explicit power series) or nondegenerate (if it isn't a explicit power series), can we conclude that $A(z_0) = B(z_0)$? If not, you could try to get some useful sufficient conditions.

In the first example, $A(z) = 1/(1-z)$ and $B(z) = \sum_{k=1}^m z^{b_k}/(1-z^{a_k})$. We get $A(z) = B(z)$ from manipulating formal power series, and it's an identity over all $z$.

Thanks for help.

share|improve this question
2  
I'm a little confused. I thought by def two power series $\sum a_i z^i, \sum b_i z^i$ were equal iff $a_i = b_i$ for all $i$...in which case the question degenerates. What do you mean precisely by an equality of formal power series $A(z) = B(z)$? Sry if this a dumb question. –  uncookedfalcon May 26 '12 at 14:09
    
@uncookedfalcon It's one case, easier than two other cases. Case 2: e.g. $1/(1-z) = \sum_{n \ge 0} z^n$. Case 3: e.g. $1/(1-z) = (1+z)/(1-z^2)$ and the problem mentioned in the text is also this case. –  Frank Science May 27 '12 at 3:57
1  
@uncookedfalcon When we're manipulating the generating functions, we only consider the convergence of coefficients, without regard of the convergence of the whole sum. But when we get an equation and plug some value into the equation, the convergence becomes a problem. As mentioned in the text, the equations might diverge when $z$ is such a peculiar value, but the result converges. So I don't know when I'm allowed to plug such values. –  Frank Science May 27 '12 at 4:01
    
@uncookedfalcon I've edited my question. –  Frank Science May 27 '12 at 4:04
    
@uncookedfalcon I've edited a lot. Is it easier to understand? –  Frank Science May 27 '12 at 10:47

3 Answers 3

up vote 3 down vote accepted

$\def\RR{\mathbb{R}}$The main thing we need here is the following facts:

  • There is a subring $R \subseteq \RR[[x]]$ consisting of those power series that converge near $a$.
  • The "evaluation at $a$" map $R \to \RR$ is a ring homomorphism.

With these fact, then if $f,g \in R$ and $fg=1$ in $\RR[[x]]$, then $fg=1$ in $R$, and applying the evaluation homomorphism gives $f(a)g(a) = 1$.

share|improve this answer
    
Both sides of equation (1) is not in subring $R$, where $a = \omega$ but equation (2) is. –  Frank Science May 27 '12 at 11:59
    
Replace $\mathbb{R}$ with $\mathbb{C}$. –  Frank Science May 27 '12 at 12:04
    
Get it, thanks! –  Frank Science May 27 '12 at 12:53
1  
This is just false with ordinary convergence (true with absolute convergence though). Example with $a=-1$, the series $s=\sum_{n=0}^\infty\frac{x^n}{\sqrt{n+1}}$ belongs to $R$ (alternating series with terms tending to $0$), but the coefficients of $s^2$ are easily seen to be all${}\geq1$, so that $s^2\notin R$, and $R$ is not a subring. –  Marc van Leeuwen May 28 '12 at 11:25
    
@Marc: Thanks: I was wondering about that, but in the end I went with the statement that was in my memory (after confirming it with a sloppy heuristic argument). –  Hurkyl Jun 3 '12 at 0:19

I admit I don't really understand the relevance of the general question to the specific example. Convergence is a property of a formal power series at a point. If $A(z) = B(z)$ as formal power series, then $A$ converges iff $B$ converges and by definition we have $A(z_0) = B(z_0)$ whenever we have convergence.

As far as the specific example, the problem is not that we have an equality $A(z) = B(z)$ of formal power series but that we have e.g. an equality $A(z) = B(z) + C(z)$ where $A$ may converge at $z = z_0$ and $B$ and $C$ might not. But this isn't a big issue in the example; both sides are rational functions so you can just think about poles.

share|improve this answer
    
$A(z)$ and $B(Z)$ might not be explicit power series. For example, $A(z) = 1/(1-z)$ and $B(z) = \sum_{n \ge 0} z^n$. The theory of generating functions only formally checks $A(z) = B(z)$. I'm afraid that when interchanging $\sum$-notation I have changed the value for some $z = z_0$, because the infinity sum dosn't absolutely converge. –  Frank Science May 27 '12 at 8:01
    
My example is to show that, $1/(1-z) = \sum_{k=1}^m z^{b_k} / (1-z^{a_k})$ is formally true by expanding both sides into formal power series, but it is not an identity. So I should use the theory of polynomials or rational functions to show that it is identically true. –  Frank Science May 27 '12 at 8:09
    
In general problem, there's no evidence that $A(z)$ and $B(z)$ are rational functions, so I can't show that if $A(z) = B(z)$ is formally true, $A(z) = B(z)$ is an identity except poles. –  Frank Science May 27 '12 at 8:11
    
I've attached another example. –  Frank Science May 27 '12 at 8:33
    
I've edited a lot and figured out the relationship between the example and the general problem. Sorry for my bad English! –  Frank Science May 27 '12 at 10:47

Working with formal power series is actually quite easy if you think of them as formal objects, and of all the operations on them as operations on formal series. Part of your confusion seems to be that you don't seem to really think of them like that; the notation $A(z)$ encourages such confusion, so I'll avoid it, and assume the indeterminate is called $X$ rather than $z$ (that is mainly psychological, but for me it helps).

If $A=B$ as formal power series, they are really just the same, and everything you can do with $A$ you can do with $B$; in particular for any fixed $z\in\mathbf C$ the substitution of $z$ for $X$ into $A$ gives a converging series if and only if the same is true for $B$,

Here is this applied to your first example. For $1\leq k\leq m$ put $A_k=\sum_{n\geq0}X^{a_kn+b_k}$ and assume that $\sum_{k=1}^mA_k=\sum_{n\geq0}X^n=A_0$ (my definition to facilitate the sequel). One has $A_k=\frac{X^{b_k}}{1-X^{a_k}}$ and $A_0=\frac1{1-X}$; these are identities of formal power series, meaning that the denominators are invertible formal power series, and multiplying their inverse series by the numerator gives series the fraction is equated to.

Now take $\omega$ a primitive $a_m$-th root of unity as you do on the question. Since the powers of $\omega$ do not tend to $0$ and all of the series $A_k$ have ceofficients of arbitrarily large powers of $X$ that are $1$, none of these formal series give a converging series when substituting $\omega$ for $X$. This does not help you to get to you conclusion. Instead you reason by using substitutions of values near $\omega$ but strictly inside the unit circle, for which all these formal series do give converging numeric series. You can reason by comparing the functions defined by these series on the interior of the disk, and their limit behaviour near $\omega$; that limit exists for those $A_k$ with $a_k<a_m$ (actually $a_k$ not a multiple of $a_m$ is what counts; the limit exists for $A_0$ since $a_0=1$). Now $A_m=A_0-A_1-A_2-\cdots-A_{m-1}$, and one must have $a_{m-1}=a_m$, or else the limit would exist for the right hand side (finite sums commute with limits) but not for the left hand side.

Personally I would prefer another approach, which avoids two levels of limits (on to get a converging series and anther for the limit of their limits). Instead of looking at the series obtained by substitution, look at the sequence of partial sums $(\sum_{l=0}^nc_l\omega^l)_{n=0}^\infty$ associated to a formal series $\sum_lc_lX^l$. While these sequences never converge for the series $A_k$, they do have different behaviour according as $a_k<a_m$ or $a_k=a_m$, namely the sequence is bounded in the former case (because $1+\omega^{a_k}+\omega^{2a_k}+\cdots+\omega^{(a_m-1)a_k}=\frac{1-\omega^{a_ma_k}}{1-\omega^{a_k}}=0$ when $a_k<a_m$, so the partial sums are periodic), and unbounded in the latter case. This allows concluding along the same lines (using that a sum of finitely many bounded sequences is bounded).

(Added) Your being cautious about the validity of substitution of concrete (complex) values is quite justified. If one has $AB=C$ as formal power series (like in your second example, where $C=1$), then just knowing that for some given $z_0\in\mathbb C$ the substitution of $z_0$ for $X$ into $A$ and $B$ both give convergent series does not allow you to conclude that the same is true for the substitution of $z_0$ for $X$ into $C$. See my comment to the (inexact) answer by Hurkyl for an example where this fails.

However not all is lost. First of all, if the substitution into $A$ and $B$ both give absolutely convergent series, then the same is true for the substitution into $C$, and moreover the limit for $C$ is the product of those for $A$ and $B$ in this case. Also, if the subsitution of some nonzero $z_0$ gives a (just) convergent series, then substitution of any $z$ with $|z|<|z_0|$ gives an absolutely convergent series. I believe that in this case it is guaranteed that the limit of the series at $z_0$ is also the limit as $z\to z_0$ of the limits of the (absolutely convergent) series at $z$ with $|z|<|z_0|$; in other words that the function defined by a series on set of all points where it converges (if it has positive radius of convergence, this is the interior of a disk and some subset of its boundary) is continuous. If this is so (I have no easy reference or proof at hand) then at least we will have that assuming that $AB=C$ and that all three series converge at $z_0$ one can conclude $A(z_0)B(z_0)=C(z_0)$.

share|improve this answer
    
I'm still confused. I might know that $A(z)$, or your notation $A_m$, is really formal objects, for example, apples, where multiplying means a magic merge of two apples. The formula is true whenever the number of each kind of apple is same. My question is on substituting the apple with concrete number, e.g. $\omega$. $\omega$ is so lucky that some of elements in neighborhood converges. What about plugging $2\omega$ into $A_0 = A_1 + \cdots + A_m$? –  Frank Science Jun 3 '12 at 1:00
    
The case of rational functions are not too difficult. I'm afraid I'll manipulate a more complex one, for example, on $e^z$ or something else. –  Frank Science Jun 3 '12 at 1:04

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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