Wednesday, December 7, 2016

Assigning values to divergent series



I have been looking at divergent series on wikipedia and other sources and it seems people give finite "values" to specific ones. I understand that these values sometimes reflect the algebraic properties of the series in question, but do not actually represent what the series converges to, which is infinity. Why is it usefull to assign values to divergent series?



The only theory I could come up with, is this:



Say you have 2 divergent series, series' A and B, and you assign each a value,




Series ($A=
\sum_{n=0}^\infty a_n$), which I assigned the value Q



and series ($B=
\sum_{n=0}^\infty b_n$ ), which I assigned the value P



But it just so happens that series $C=A-B=
\sum_{n=0}^\infty (a_n-b_n)$ converges.
Could that imply that the actual value of series $C$ is the difference of the two assigned values to $A$ and $B$, that is $\sum_{n=0}^\infty (a_n-b_n)=Q-P$ ?




If so, then that would make some sense to me, as to why people sometimes assign values to divergent series.


Answer



The most common situation with a divergent series is this: an infinite series with a variable $z$ is given, which converges for some values of $z$ in the complex plane $\mathbb C.$ On the region of convergence, the series defines a holomorphic function, call it $f(z).$ Then the analytic continuation of the function $f(z)$ is correctly described. As a result, there is a well-defined value $f(z)$ for $z$ values that would cause the original series to diverge.



The best example is ZETA. I guess Euler found values of $\zeta(-n)$
at negative integers, and wrote these down in the style of divergent series. So people get an impression that one assigns a value to a divergent series by clever manipulation. This is not the general case, however. When the radius of convergence is strictly exceeded, we are simply reporting the value given by the analytic continuation. Not assigning.



Here is an elementary example: Let us take
$$ f(z) = \frac{1}{1 + z^2}. $$ Now, for $|z| < 1,$ we know

$$ f(z) = 1 - z^2 + z^4 - z^6 + z^8 - z^{10} \cdots $$
If I wrote
$$ 1 - 9 + 81 - 729 + 6561 - 59049 \cdots = \frac{1}{10} $$ you would have every reason to be suspicious as the series obviously diverges. But if I instead wrote
$$ f(3) = \frac{1}{10} $$ you would think that was probably alright.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...