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

Online Help

SumTools[IndefiniteSum]

  

Indefinite

  

compute closed forms of indefinite sums

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Indefinite(f, k, opt)

Parameters

f

-

expression depending on k

k

-

name

opt

-

(optional) equation of the form failpoints=true or failpoints=false

Description

• 

The Indefinite(f, k) command computes a closed form of the indefinite sum of  with respect to .

• 

The command uses a combination of algorithms handling various classes of summands. They include the classes of polynomials, rational functions, and hypergeometric terms and j-fold hypergeometric terms, functions for which their minimal annihilators can be constructed, for example, d'Alembertian terms. For more information, see LinearOperators.

  

A library extension mechanism is also used to include sums for which an algorithmic approach to finding closed forms does not yet exist. Currently the computable summands include expressions containing the harmonic function, logarithmic function, digamma and polygamma functions, and sin, cos, and the exponential functions.

• 

If the option failpoints=true (or just failpoints for short) is specified, then the command returns a pair , where

– 

 is a closed form of the indefinite sum of  w.r.t. , as above,

– 

 is a list of intervals  where  does not exist, and

– 

 is a list of points  where the computed sum  does not satisfy the telescoping equation  or does not exist.

  

If such points appear in the summation interval, the discrete Newton-Leibniz formula may fail.

• 

If the command is unable to compute one of the lists , it returns .

Examples

An example of a rationally summable expression:

(1)

(2)

Check the telescoping equation:

(3)

A hypergeometrically summable term:

(4)

(5)

(6)

The method of accurate summation:

(7)

(8)

Sum of a logarithm of a rational function (provided the argument of the logarithm has constant sign):

(9)

(10)

Example for the library extension mechanism:

(11)

(12)

Compute the fail points:

(13)

(14)

Indeed,  is not defined for any negative integer:

Error, numeric exception: division by zero

and limits do not exist:

(15)

A rational example.  and its limit are not defined at , and the correspondent sum  and its limit are not defined at :

(16)

(17)

(18)

In the next example,  is hypergeometric term defined for all integers :

(19)

(20)

The sum  is not defined at :

Error, numeric exception: division by zero

Note that in this example, however, the limit exists:

(21)

but the telescoping equation does not hold at :

(22)

Consequently, if  is between summation bounds, the Newton-Leibniz formula is wrong:

(23)

Rewriting  in terms of GAMMA functions introduces additional singularities at negative integers. These singularities are removable:

(24)

(25)

The telescoping equation is valid for all integers  (in the limit):

(26)

The singularities of  are detected if _EnvFormal (see sum,details) is set to :

(27)

Error, (in SumTools:-DefiniteSum:-ClosedForm) summand is singular in the interval of summation

See Also

SumTools[DefiniteSummation]

SumTools[IndefiniteSum]

SumTools[IndefiniteSum][Hypergeometric]

SumTools[Summation]

 


Download Help Document