sum - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


Numerical Summation

 

Calling Sequence

Parameters

Description

Examples

References

Compatibility

Calling Sequence

evalf(Sum(f, x=a..b, formal=c))

evalfx=abf

evalf(sum(f, x=a..b, formal=c))

evalfx=abf

evalf(Sum(f, x=RootOf(g(_Z))))

 

evalf(sum(f, x=RootOf(g(_Z))))

 

Parameters

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

Description

• 

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 evalfx=−551x2+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.

Examples

Below are evaluation of sums over RootOf.

Sumexpx,x=RootOf_Z5+_Z+1

x=RootOf_Z5+_Z+1ⅇx

(1)

evalf

4.791792042+0.I

(2)

Here are some examples of finite sums approaching infinity, and an infinite sum.

evalfSum1x2+1,x=5..5

2.794570136

(3)

evalfSum1x2+1,x=20..20

3.055883631

(4)

evalfSum1x2+1,x=100..100

3.133448418

(5)

evalfSum1x2+1,x=..

3.153348095

(6)

An example with nesting.

xprIntBesselK0,sqrt2n+12+x22,x=..

xprBesselK0,2n+12+x22ⅆx

(7)

evalfSumxpr,n=0..

0.3088174675

(8)

The following is a case where Levin's u-transform computes the values for the analytic extension of the sum.

evalfSum1sqrtx,x=1..10

5.020997899

(9)

evalfSum1sqrtx,x=1..100

18.58960382

(10)

evalfSum1sqrtx,x=1..1000

61.80100877

(11)

evalfSum1sqrtx,x=1..

−1.460354509

(12)

The infinite sum diverges.

sum1sqrtx,x=1..

(13)

This can be seen as a sum from the analytic extension of Zeta:

ζz=Sum1iz,i=1..

ζz=i=11iz

(14)

evalfeval,z=12

−1.460354509=−1.460354509

(15)

or using 'sum':

_EnvFormaltrue:

sum1sqrtx,x=1..

ζ12

(16)

forgetevalf:evalfSum1sqrtx,x=1..

−1.460354509

(17)

forget(evalf):
evalf(Sum(1/sqrt(x), x=1..infinity, formal=false));

Float

(18)

_EnvFormalfalse:

forgetevalf:evalfSum1sqrtx,x=1..

Float

(19)

_EnvFormal_EnvFormal:

References

  

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.

Compatibility

• 

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