Numerical Summation
Calling Sequence
Parameters
Description
Examples
References
Compatibility
evalf(Sum(f, x=a..b, formal=c))
evalf⁡∑x=ab⁡f
evalf(sum(f, x=a..b, formal=c))
evalf(Sum(f, x=RootOf(g(_Z))))
evalf(sum(f, x=RootOf(g(_Z))))
f
-
algebraic expression; the summand
x
name; the variable of summation
a, b
endpoints of the interval of summation (can be infinite)
c
(optional) either true or false
g(_Z)
algebraic expression with a finite number of roots in Z
The most common command for numerical summation is evalf(Sum(f, x=a..b)) where the summation command is expressed in inert form to avoid first invoking the symbolic summation routines. It is also possible to invoke evalf on an unevaluated sum returned by the symbolic sum command, as in evalf(sum(f, x=a..b)), if it happens that symbolic sum fails (returns an unevaluated sum).
You can enter the command evalf/Sum using either the 1-D or 2-D calling sequence. For example, evalf(Sum(1/(x^2+1), x=-5..5)) is equivalent to evalf⁡∑x=−55⁡1x2+1
The evalf(Sum()) command attempts to compute a result that is accurate to within 1 ulp at the current setting of Digits, so increasing Digits increases the requested accuracy of the result.
The summand f may be another unevaluated sum or integral, that is, nested forms are supported.
Method
In the case of finite sums, or sums over RootOfs, the sum is computed directly through numerical evaluation of the summand.
In the case of infinite sums, Levin's u-transform is used, which has the additional effect that sums that formally diverge may return a result that can be interpreted as evaluation of the analytic extension of the series for the sum (see the examples below).
This behavior can be controlled through the use of the formal option or the _EnvFormal environment variable. If this variable is assigned the value false, or formal=false is specified, then this command will apply some (numeric) convergence tests to determine if the infinite sum in question is convergent, divergent, or otherwise non-convergent.
Below are evaluation of sums over RootOf.
Sum⁡exp⁡x,x=RootOf⁡_Z5+_Z+1
∑x=RootOf⁡_Z5+_Z+1⁡ⅇx
evalf⁡
4.791792042+0.⁢I
Here are some examples of finite sums approaching infinity, and an infinite sum.
evalf⁡Sum⁡1x2+1,x=−5..5
2.794570136
evalf⁡Sum⁡1x2+1,x=−20..20
3.055883631
evalf⁡Sum⁡1x2+1,x=−100..100
3.133448418
evalf⁡Sum⁡1x2+1,x=−∞..∞
3.153348095
An example with nesting.
xpr≔Int⁡BesselK⁡0,sqrt⁡2⁢n+12+x22,x=−∞..∞
xpr≔∫−∞∞BesselK⁡0,2⁢n+12+x22ⅆx
evalf⁡Sum⁡xpr,n=0..∞
0.3088174675
The following is a case where Levin's u-transform computes the values for the analytic extension of the sum.
evalf⁡Sum⁡1sqrt⁡x,x=1..10
5.020997899
evalf⁡Sum⁡1sqrt⁡x,x=1..100
18.58960382
evalf⁡Sum⁡1sqrt⁡x,x=1..1000
61.80100877
evalf⁡Sum⁡1sqrt⁡x,x=1..∞
−1.460354509
The infinite sum diverges.
sum⁡1sqrt⁡x,x=1..∞
∞
This can be seen as a sum from the analytic extension of Zeta:
ζ⁡z=Sum⁡1iz,i=1..∞
ζ⁡z=∑i=1∞⁡1iz
evalf⁡eval⁡,z=12
−1.460354509=−1.460354509
or using 'sum':
_EnvFormal≔true:
ζ⁡12
forget⁡evalf:evalf⁡Sum⁡1sqrt⁡x,x=1..∞
forget(evalf): evalf(Sum(1/sqrt(x), x=1..infinity, formal=false));
Float⁡∞
_EnvFormal≔false:
_EnvFormal≔_EnvFormal:
Fessler, T.; Ford, W.F.; and Smith, D.A. "HURRY: An acceleration algorithm for scalar sequences and series." ACM Trans. Math. Software, Vol. 9, (1983): 346-354.
Levin, D. "Development of non-linear transformations for improving convergence of sequences". Internat. J. Comput. Math, Vol. B3, (1973): 371-388.
The c parameter was introduced in Maple 2016.
For more information on Maple 2016 changes, see Updates in Maple 2016.
See Also
Digits
evalf
Sum
sum
Download Help Document