Rudin- Ch. 3 #13

Problem Statement: Given \sum a_n and \sum b_n define the product to be \sum c_n where c_n=\sum\limits_{k=0}^{n}a_kb_{n-k}. Suppose that \sum a_n converges to A absolutely and \sum b_n converges to B absolutely. Prove that \sum c_n converges to a value C absolutely.

Proof: Since \sum a_n and \sum b_n converge absolutely we know that their product converges to AB (this is by Rudin Theorem 3.50 which requires only one of the sums converge absolutely in order to guarantee that their product will converge to AB. This theorem does not guarantee that the product converges absolutely.).

Define C_n=\sum\limits_{k=0}^{n}|c_k| where c_k is as defined previously. Also define \beta_n=B_n-B where B_n=\sum\limits_{k=0}^{n}b_k. Similarly let A_n=\sum\limits_{k=0}^{n}a_k. Then it follows that :







\leq\left|A_nB\right|+ \left|a_0\beta_n+\dots+a_n\beta_0 \right|

Recall that we are trying to show that the sequence of C_n converges to AB. So let \gamma_n=\left|a_0\beta_n+\dots+a_n\beta_0\right|. Since we know that A_n\rightarrow A it follows that the limit of the above equation will tend to AB iff \gamma_n\rightarrow 0. Let us define A^{*}=\sum\limits_{n=0}^{\infty}\left|a_n\right| (we know that A^{*} exists since we know the series converges absolutely).

First note that  as n\rightarrow\infty it follows that \beta_n\rightarrow 0 since B_n\rightarrow B. So let \varepsilon >0. Then there is a N\in\mathbb{N} such that for n> N it follows that \left|B_n-B\right|<\dfrac{\varepsilon}{A^{*}}. But by our definition of \beta_n this also means that for n>N it follows that \left|\beta_n\right|<\dfrac{\varepsilon}{A^{*}}.

Now consider n> N:


\leq \left|a_0\beta_n+\dots+a_{n-N-1}\beta_{N+1}\right|+\left|a_{n-N}\beta_N+\dots+a_n\beta_0\right|





Now let \delta=\left|a_0\beta_n+\dots+a_{n-N-1}\beta_{N+1}\right|. Since N is fixed the above inequality holds as we take the limit as n\rightarrow\infty. But we know that a_n\rightarrow 0 since the series converges and so as n\rightarrow\infty it follows that \delta\rightarrow 0. This implies that \left|\gamma_n\right|< \varepsilon, but since \varepsilon may be made arbitrarily small, it follows that \left|\gamma_n\right|\rightarrow 0.

Thus, we may conclude that C_n\rightarrow AB and so \sum \left|c_n\right| converges, thus, \sum c_n converges absolutely.


Reflection: The key to this proof is that both original series are absolutely convergent. The necessity of this isn’t immediately clear, but once you try to show that \gamma_n\rightarrow 0 you see that you need to know that you can bound the absolute values of the terms from the series.

This entry was posted in Absolute Convergence, Analysis, Math, Sequence, Series. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s