Advanced Math - Maple Help

All Products Maple MapleSim

Home : Support : Online Help : System : Information : Updates : Maple 2016 : Advanced Math

Advanced Math

Series and Limit Computations

Symbolic Integration

Symbolic Summation

conjugate and RootOf

The conjugate command now has extended support for RootOf expressions. You can now find the conjugate of the following:

•	Indexed RootOfs

•	RootOf expressions with a numerical selector and real coefficients

The following examples return unevaluated in Maple 2015 and earlier.

>	$conjugate (RootOf (x^{5} + x^{2} - 1, index = 2))$

$RootOf ({_Z}^{5} + {_Z}^{2} - 1, index = 5)$

(1.1)

>	$conjugate (RootOf (x^{2} + \sqrt{3} x + 1, - 1 + I))$

$RootOf ({_Z}^{2} + \sqrt{3}_Z + 1, - 1 - I)$

(1.2)

eval

For indefinite integrals, sums, and products, as well as for differentiations, the eval command now supports an additive change of the variable.

>	$\binom{\int f (x) &DifferentialD; x}{} \| \binom{}{x = x + c}$

$\int f (x + c) &DifferentialD; x$

(2.1)

>	$\binom{\sum_{x} f (x)}{} \| \binom{}{x = x + c}$

$\sum_{x} f (x + c)$

(2.2)

>	$\binom{f' (x)}{} \| \binom{}{x = x + c}$

$D (f) (x + c)$

(2.3)

>	$\binom{\prod_{x} f (x)}{} \| \binom{}{x = x + c}$

$\prod_{x} f (x + c)$

(2.4)

Gröbner Bases

Maple 2016 includes a new C implementation of the F4 algorithm for computing Gröbner bases, replacing FGb. The new code is generally faster and uses multiple threads. The benchmarks below show real time on a quad core Intel Core i5 4590 3.3 GHz computer using a logarithmic scale. The new code supports primes up to $2^{31} - 1$ , an increase over FGb's 16-bit primes. To compute over the rationals, Maple uses Chinese remaindering and rational reconstruction.

product

Maple 2016 includes improved handling of "product over RootOf" cases. The following example returns unevaluated in Maple 2015 and earlier:

>	$\prod_{R = RootOf (z^{2} - 2)} (x - RootOf (z^{2} - R, z))$

$x^{4} - 2$

(4.1)

Series and Limit Computations

A number of improvements were made to series and limit computations in Maple.

The following series and asymptotic functions were added:

•	Asymptotic expansions of Airy functions at $- \infty$

•	Series and asymptotic expansions of hypergeometric functions

•	Series expansions of abs and signum in the real case

•	Series expansion of GAMMA function at a symbolic pole

•	Asymptotic expansion of incomplete GAMMA function w.r.t. the parameter

•	Asymptotic expansion of Hurwitz Zeta function

•	Series and asymptotic expansions of harmonic numbers

•	Series expansions of ln and related functions with a logarithmic branch cut depending on a real parameter were improved.

•	Finally, limit computations of oscillating functions were improved.

New Series Expansions

The following series expansions could not be computed in earlier versions of Maple:

${}_{2}F_{1}$ functions at 1

>	$series (hypergeom ([1, 1], [- \frac{1}{3}], 1 - x), x)$

$- \frac{8}{9} \frac{π \sqrt{3}}{x^{7 / 3}} + \frac{32}{27} \frac{π \sqrt{3}}{x^{4 / 3}} - \frac{16}{81} \frac{π \sqrt{3}}{x^{1 / 3}} + \frac{4}{7} - \frac{32}{729} π \sqrt{3} x^{2 / 3} + \frac{6}{35} x - \frac{40}{2187} π \sqrt{3} x^{5 / 3} + \frac{36}{455} x^{2} - \frac{64}{6561} π \sqrt{3} x^{8 / 3} + \frac{81}{1820} x^{3} + O (x^{11 / 3})$

(5.1.1)

The case where the lower parameter minus the sum of the upper parameters is an integer is supported.

>	$series (hypergeom ([\frac{1}{2}, \frac{3}{2}], [1], 1 - x), x)$

$\frac{\frac{2}{π}}{x} + \frac{1}{2} \frac{- \ln (x) - 1 + 4 \ln (2)}{π} + \frac{1}{2} \frac{- \frac{3}{8} \ln (x) - \frac{13}{16} + \frac{3}{2} \ln (2)}{π} x + \frac{1}{2} \frac{- \frac{15}{64} \ln (x) - \frac{9}{16} + \frac{15}{16} \ln (2)}{π} x^{2} + \frac{1}{2} \frac{- \frac{175}{1024} \ln (x) - \frac{5255}{12288} + \frac{175}{256} \ln (2)}{π} x^{3} + \frac{1}{2} \frac{- \frac{2205}{16384} \ln (x) - \frac{11291}{32768} + \frac{2205}{4096} \ln (2)}{π} x^{4} + O (x^{5})$

(5.1.2)

The Γ function at a symbolic pole.

>	$series (Γ (x), x = n, 3) assuming n ∷ nonposint$

$\frac{\frac{1}{{(- 1)}^{n} Γ (1 - n)}}{x - n} + \frac{Ψ (1 - n)}{{(- 1)}^{n} Γ (1 - n)} + \frac{\frac{1}{6} \frac{π^{2}}{{(- 1)}^{n}} - \frac{\frac{1}{2} Ψ (1, 1 - n) Γ (1 - n) + \frac{1}{2} {Ψ (1 - n)}^{2} Γ (1 - n)}{{(- 1)}^{n} Γ (1 - n)} + \frac{{Ψ (1 - n)}^{2}}{{(- 1)}^{n}}}{Γ (1 - n)} (x - n) + \frac{- \frac{- \frac{1}{6} Ψ (2, 1 - n) Γ (1 - n) - \frac{1}{2} Ψ (1, 1 - n) Ψ (1 - n) Γ (1 - n) - \frac{1}{6} {Ψ (1 - n)}^{3} Γ (1 - n)}{{(- 1)}^{n} Γ (1 - n)} - \frac{Ψ (1 - n) (\frac{1}{2} Ψ (1, 1 - n) Γ (1 - n) + \frac{1}{2} {Ψ (1 - n)}^{2} Γ (1 - n))}{{(- 1)}^{n} Γ (1 - n)} + \frac{1}{6} \frac{(3 {Ψ (1 - n)}^{2} + π^{2} - 3 Ψ (1, 1 - n)) Ψ (1 - n)}{{(- 1)}^{n}}}{Γ (1 - n)} {(x - n)}^{2} + \frac{\frac{7}{360} \frac{π^{4}}{{(- 1)}^{n}} - \frac{\frac{1}{24} Ψ (3, 1 - n) Γ (1 - n) + \frac{1}{6} Ψ (2, 1 - n) Ψ (1 - n) Γ (1 - n) + \frac{1}{8} {Ψ (1, 1 - n)}^{2} Γ (1 - n) + \frac{1}{4} Ψ (1, 1 - n) {Ψ (1 - n)}^{2} Γ (1 - n) + \frac{1}{24} {Ψ (1 - n)}^{4} Γ (1 - n)}{{(- 1)}^{n} Γ (1 - n)} - \frac{Ψ (1 - n) (- \frac{1}{6} Ψ (2, 1 - n) Γ (1 - n) - \frac{1}{2} Ψ (1, 1 - n) Ψ (1 - n) Γ (1 - n) - \frac{1}{6} {Ψ (1 - n)}^{3} Γ (1 - n))}{{(- 1)}^{n} Γ (1 - n)} - \frac{1}{6} \frac{(3 {Ψ (1 - n)}^{2} + π^{2} - 3 Ψ (1, 1 - n)) (\frac{1}{2} Ψ (1, 1 - n) Γ (1 - n) + \frac{1}{2} {Ψ (1 - n)}^{2} Γ (1 - n))}{Γ (1 - n) {(- 1)}^{n}} + \frac{1}{6} \frac{({Ψ (1 - n)}^{3} + Ψ (1 - n) π^{2} - 3 Ψ (1, 1 - n) Ψ (1 - n) + Ψ (2, 1 - n)) Ψ (1 - n)}{{(- 1)}^{n}}}{Γ (1 - n)} {(x - n)}^{3} + O ({(x - n)}^{4})$

(5.1.3)

The harmonic function at a negative integer.

>	$series (harmonic (- 1 + n), n)$

$- n^{- 1} + \frac{1}{6} π^{2} n - ζ (3) n^{2} + \frac{1}{90} π^{4} n^{3} - ζ (5) n^{4} + \frac{1}{945} π^{6} n^{5} + O (n^{6})$

(5.1.4)

>	$series (harmonic (- 2 + n, 2), n)$

$- n^{- 2} - 1 + (- 2 + 2 ζ (3)) n + (- 3 - \frac{1}{30} π^{4}) n^{2} + (- 4 + 4 ζ (5)) n^{3} + (- 5 - \frac{1}{189} π^{6}) n^{4} + (- 6 + 6 ζ (7)) n^{5} + O (n^{6})$

(5.1.5)

New Asymptotic Expansions

The following asymptotic expansions could not be computed in earlier versions of Maple:

Airy functions at $- \infty &colon;$

>	$series (AiryAi (x), x = - \infty)$

$\frac{\sin (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π) {(- \frac{1}{x})}^{1 / 4}}{\sqrt{π}} - \frac{5}{48} \frac{\cos (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π) {(- \frac{1}{x})}^{7 / 4}}{\sqrt{π}} - \frac{385}{4608} \frac{\sin (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π) {(- \frac{1}{x})}^{13 / 4}}{\sqrt{π}} + \frac{85085}{663552} \frac{\cos (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π) {(- \frac{1}{x})}^{19 / 4}}{\sqrt{π}} + O ({(- \frac{1}{x})}^{25 / 4})$

(5.2.1)

>	$series (AiryBi (1, x), x = - \infty)$

$\frac{\sin (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π)}{\sqrt{π} {(- \frac{1}{x})}^{1 / 4}} + \frac{7}{48} \frac{\cos (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π) {(- \frac{1}{x})}^{5 / 4}}{\sqrt{π}} + \frac{455}{4608} \frac{\sin (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π) {(- \frac{1}{x})}^{11 / 4}}{\sqrt{π}} - \frac{95095}{663552} \frac{\cos (\frac{2}{3} {(- x)}^{3 / 2} + \frac{1}{4} π) {(- \frac{1}{x})}^{17 / 4}}{\sqrt{π}} + O ({(- \frac{1}{x})}^{23 / 4})$

(5.2.2)

Hypergeometric functions w.r.t. the argument:

>	$asympt (hypergeom ([1, - \frac{1}{2}], [], x), x)$

$\frac{\frac{1}{2} I \sqrt{π}}{\sqrt{\frac{1}{x}}} - \frac{1}{2} I \sqrt{π} \sqrt{\frac{1}{x}} + \frac{2}{3 x} + \frac{1}{4} I \sqrt{π} {(\frac{1}{x})}^{3 / 2} - \frac{4}{15 x^{2}} - \frac{1}{12} I \sqrt{π} {(\frac{1}{x})}^{5 / 2} + \frac{8}{105 x^{3}} + \frac{1}{48} I \sqrt{π} {(\frac{1}{x})}^{7 / 2} - \frac{16}{945 x^{4}} - \frac{1}{240} I \sqrt{π} {(\frac{1}{x})}^{9 / 2} + \frac{32}{10395 x^{5}} + O ({(\frac{1}{x})}^{11 / 2})$

(5.2.3)

>	$asympt (hypergeom ([- \frac{1}{3}], [2], x), x)$

$(- \frac{1}{3} \frac{{(\frac{1}{x})}^{7 / 3}}{Γ (\frac{2}{3})} - \frac{28}{27} \frac{{(\frac{1}{x})}^{10 / 3}}{Γ (\frac{2}{3})} - \frac{980}{243} \frac{{(\frac{1}{x})}^{13 / 3}}{Γ (\frac{2}{3})} - \frac{127400}{6561} \frac{{(\frac{1}{x})}^{16 / 3}}{Γ (\frac{2}{3})} + O ({(\frac{1}{x})}^{19 / 3})) {&ExponentialE;}^{x}$

(5.2.4)

>	$asympt (hypergeom ([\frac{1}{3}], [1, 2], x), x)$

$(\frac{1}{4} \frac{\sqrt{3} Γ (\frac{2}{3}) {(\frac{1}{x})}^{13 / 12}}{π^{3 / 2}} + \frac{23}{192} \frac{\sqrt{3} Γ (\frac{2}{3}) {(\frac{1}{x})}^{19 / 12}}{π^{3 / 2}} + \frac{8363}{55296} \frac{\sqrt{3} Γ (\frac{2}{3}) {(\frac{1}{x})}^{25 / 12}}{π^{3 / 2}} + \frac{237325}{884736} \frac{\sqrt{3} Γ (\frac{2}{3}) {(\frac{1}{x})}^{31 / 12}}{π^{3 / 2}} + \frac{930728275}{1528823808} \frac{\sqrt{3} Γ (\frac{2}{3}) {(\frac{1}{x})}^{37 / 12}}{π^{3 / 2}} + \frac{123511351105}{73383542784} \frac{\sqrt{3} Γ (\frac{2}{3}) {(\frac{1}{x})}^{43 / 12}}{π^{3 / 2}} + O ({(\frac{1}{x})}^{49 / 12})) {&ExponentialE;}^{\frac{2}{\sqrt{\frac{1}{x}}}}$

(5.2.5)

Cases where the two upper parameters of a $hypergeom$ function differ by an integer are handled as well:

>	$asympt (hypergeom ([- \frac{3}{2}, \frac{1}{2}], [\frac{3}{2}], x), x)$

$- \frac{\frac{1}{4} I}{{(\frac{1}{x})}^{3 / 2}} + \frac{\frac{3}{4} I}{\sqrt{\frac{1}{x}}} - I (\frac{3}{16} \ln (x) + \frac{3}{16} I π + \frac{9}{32} + \frac{3}{8} \ln (2)) \sqrt{\frac{1}{x}} + \frac{1}{32} I {(\frac{1}{x})}^{3 / 2} + \frac{3}{512} I {(\frac{1}{x})}^{5 / 2} + \frac{1}{512} I {(\frac{1}{x})}^{7 / 2} + O ({(\frac{1}{x})}^{9 / 2})$

(5.2.6)

>	$asympt (hypergeom ([- \frac{5}{2}, \frac{3}{2}], [1, 1], - x), x)$

$\frac{256}{75 π^{3 / 2} {(\frac{1}{x})}^{5 / 2}} + \frac{160}{9 π^{3 / 2} {(\frac{1}{x})}^{3 / 2}} + \frac{15}{π^{3 / 2} \sqrt{\frac{1}{x}}} + \frac{5}{8} \frac{\sqrt{\frac{1}{x}}}{π^{3 / 2}} + \frac{5}{3072} \frac{(- 12 \ln (x) - 12 γ - 72 \ln (2) + 47) {(\frac{1}{x})}^{3 / 2}}{π^{3 / 2}} + \frac{9}{40960} \frac{(- 60 \ln (x) - 60 γ - 360 \ln (2) + 283) {(\frac{1}{x})}^{5 / 2}}{π^{3 / 2}} + O ({(\frac{1}{x})}^{7 / 2})$

(5.2.7)

Hypergeometric functions w.r.t. a parameter, when the function is actually elementary:

>	$asympt (hypergeom ([k], [], \frac{z}{k}), k)$

${&ExponentialE;}^{z} + \frac{1}{2} \frac{{&ExponentialE;}^{z} z^{2}}{k} + \frac{{&ExponentialE;}^{z} (\frac{1}{3} z^{3} + \frac{1}{8} z^{4})}{k^{2}} + \frac{{&ExponentialE;}^{z} (\frac{1}{4} z^{4} + \frac{1}{6} z^{5} + \frac{1}{48} z^{6})}{k^{3}} + \frac{{&ExponentialE;}^{z} (\frac{1}{5} z^{5} + \frac{13}{72} z^{6} + \frac{1}{24} z^{7} + \frac{1}{384} z^{8})}{k^{4}} + O (\frac{1}{k^{5}})$

(5.2.8)

>	$convert (hypergeom ([k], [], \frac{z}{k}), elementary)$

${(\frac{k - z}{k})}^{- k}$

(5.2.9)

Hurwitz ζ and incomplete Γ functions w.r.t. the parameter:

>	$asympt (Zeta (0, \frac{1}{3}, v), v)$

$\frac{1}{{(\frac{1}{v})}^{2 / 3}} + \frac{1}{2} {(\frac{1}{v})}^{1 / 3} - \frac{1}{54} {(\frac{1}{v})}^{4 / 3} + \frac{7}{7290} {(\frac{1}{v})}^{10 / 3} + O ({(\frac{1}{v})}^{16 / 3})$

(5.2.10)

>	$asympt (Γ (v, x), v)$

$\frac{\sqrt{2} \sqrt{π} \sqrt{\frac{1}{v}} + \frac{1}{12} \sqrt{2} \sqrt{π} {(\frac{1}{v})}^{3 / 2} + \frac{1}{288} \sqrt{2} \sqrt{π} {(\frac{1}{v})}^{5 / 2} - \frac{139}{51840} \sqrt{2} \sqrt{π} {(\frac{1}{v})}^{7 / 2} - \frac{571}{2488320} \sqrt{2} \sqrt{π} {(\frac{1}{v})}^{9 / 2} + \frac{163879}{209018880} \sqrt{2} \sqrt{π} {(\frac{1}{v})}^{11 / 2} + O ({(\frac{1}{v})}^{13 / 2})}{{(\frac{1}{v})}^{v} {&ExponentialE;}^{v}}$

(5.2.11)

The harmonic function:

>	$asympt (harmonic (n), n)$

$\ln (n) + γ + \frac{1}{2 n} - \frac{1}{12 n^{2}} + \frac{1}{120 n^{4}} + O (\frac{1}{n^{6}})$

(5.2.12)

>	$asympt (harmonic (n, \frac{2}{3}), n)$

$- \frac{1}{{(\frac{1}{n})}^{1 / 3}} + ζ (\frac{2}{3}) - \frac{5}{6} {(\frac{1}{n})}^{2 / 3} + \frac{25}{54} {(\frac{1}{n})}^{5 / 3} - \frac{10}{27} {(\frac{1}{n})}^{8 / 3} + \frac{239}{729} {(\frac{1}{n})}^{11 / 3} - \frac{220}{729} {(\frac{1}{n})}^{14 / 3} + O ({(\frac{1}{n})}^{17 / 3})$

(5.2.13)

Two-sided and One-sided Expansions of abs and signum

Maple can now compute two-sided expansions of signum at finite nonzero points.

>	$series (signum (a + x), x, 4) assuming x ∷ real$

$signum (a) + (- \frac{a &real; (a)}{{|a|}^{3}} + \frac{1}{|a|}) x + (\frac{a (- \frac{1}{2 {|a|}^{2}} + \frac{3}{2} \frac{{&real; (a)}^{2}}{{|a|}^{4}})}{|a|} - \frac{&real; (a)}{{|a|}^{3}}) x^{2} + (\frac{a (\frac{3}{2} \frac{&real; (a)}{{|a|}^{4}} - \frac{5}{2} \frac{{&real; (a)}^{3}}{{|a|}^{6}})}{|a|} + \frac{- \frac{1}{2 {|a|}^{2}} + \frac{3}{2} \frac{{&real; (a)}^{2}}{{|a|}^{4}}}{|a|}) x^{3} + O (x^{4})$

(5.3.1)

One-sided expansions of abs and signum at 0 and asymptotic expansions can now also be computed.

>	$series (abs (\sin (x)), x) assuming x > 0$

$x - \frac{1}{6} x^{3} + \frac{1}{120} x^{5} + O (x^{7})$

(5.3.2)

>	$series (signum (\sin (x)), x) assuming x > 0$

$1$

(5.3.3)

>	$asympt (abs (arccot (x^{2} - \frac{x}{11})), x)$

$\frac{1}{x^{2}} + \frac{1}{11 x^{3}} + \frac{1}{121 x^{4}} + \frac{1}{1331 x^{5}} + O (\frac{1}{x^{6}})$

(5.3.4)

Expansions of Functions with a Logarithmic Branch Cut Depending on a Real Parameter

For functions ln, arctan, arccot, arctanh, arccoth, Ei, Ci and Chi depending on a parameter, Maple now computes series expansions that are correct for all real values of the parameter (and for all complex values of the series variable sufficiently close to the expansion point).

>	$series (\ln (a + x), x) assuming a ∷ real$

$\ln (|a|) + \frac{1}{2} I (signum (a) csgn (I (a + x)) - csgn (I (a + x))) π + \frac{1}{a} x - \frac{1}{2 a^{2}} x^{2} + \frac{1}{3 a^{3}} x^{3} - \frac{1}{4 a^{4}} x^{4} + \frac{1}{5 a^{5}} x^{5} + O (x^{6})$

(5.4.1)

>	$series (\ln (a x), x) assuming a ∷ real$

$\ln (|a|) + \ln (x) + \frac{1}{2} I (csgn (I x) - signum (a) csgn (I x)) π$

(5.4.2)

>	$series (arctanh (a + x), x, 4) assuming a ∷ real$

$- I (\frac{1}{4} csgn (- I signum (a) + I a + I x) π (1 + signum (a^{2} - 1)) + I &real; (arctanh (a))) + \frac{1}{- a^{2} + 1} x - \frac{a}{(a^{2} - 1) (- a^{2} + 1)} x^{2} - \frac{\frac{1}{3} I (- \frac{I}{a^{2} - 1} + \frac{4 I a^{2}}{{(a^{2} - 1)}^{2}})}{- a^{2} + 1} x^{3} + O (x^{4})$

(5.4.3)

>	$series (Chi (a x), x) assuming a ∷ real$

$γ + \ln (|a|) + \ln (x) + \frac{1}{2} I (csgn (I x) - signum (a) csgn (I x)) π + \frac{1}{4} a^{2} x^{2} + \frac{1}{96} a^{4} x^{4} + O (x^{6})$

(5.4.4)

Limits of Oscillating Functions

Limit computations for functions containing oscillating terms were improved. The following limits could not be computed in Maple 2015 or earlier.

>	$lim_{x \to \infty} ({&ExponentialE;}^{ⅈ x} \tan (x))$

$undefined$

(5.5.1)

>	$lim_{x \to \infty} (- \frac{\sinh (x) BesselJ (1, x) \sqrt{x}}{\cosh (x) - \cos {(x)}^{2}})$

$- \frac{\sqrt{2}}{\sqrt{π}} .. \frac{\sqrt{2}}{\sqrt{π}}$

(5.5.2)

>	$lim_{x \to \infty} ({(- 1)}^{x} - {(\frac{1}{x^{2}} - 1)}^{x})$

$0$

(5.5.3)

Symbolic Integration

The results for definite integration of rational functions have been improved. In certain cases when the denominator is of degree $4$ or higher, the result is now simpler.

Maple 2016

Maple 2015

>	$\int_{0}^{\infty} \frac{1}{x^{4} - x + 1} &DifferentialD; x$

$- (\sum_{_R = RootOf ({_Z}^{4} -_Z + 1)} \frac{\ln (-_R)}{4 {_R}^{3} - 1})$

(6.1)

>	$\int_{0}^{\infty} \frac{1}{x^{4} - x + 1} &DifferentialD; x$

$- (\sum_{_R = RootOf (229 {_Z}^{4} + 18 {_Z}^{2} - 8_Z + 1)}_R \ln (\frac{2061}{64} {_R}^{3} + \frac{687}{64} {_R}^{2} + \frac{391}{64}_R - \frac{27}{64}))$

(6.2)

>	$\int_{0}^{\infty} \frac{1}{{(x^{4} + 6 x + 1)}^{3}} &DifferentialD; x$

$\frac{1530171}{18852964} - \frac{3}{18852964} \sum_{_R = RootOf ({_Z}^{4} + 6_Z + 1)} \frac{(1944 {_R}^{2} - 33429_R + 24169) \ln (-_R)}{2 {_R}^{3} + 3}$

(6.3)

>	$\int_{0}^{\infty} \frac{1}{{(x^{4} + 6 x + 1)}^{3}} &DifferentialD; x$

$\frac{1530171}{18852964} - \frac{3}{9426482} \sum_{_R = RootOf (8684 {_Z}^{4} - 194281841538 {_Z}^{2} + 201567506232261_Z - 1531566190081040464)}_R \ln (\frac{1620561084493871952}{99530267357790657410141532829} {_R}^{3} + \frac{2530026158794014504}{45845355761303849567084999} {_R}^{2} - \frac{125011682336520917573411523898}{216080210433763517237417267771759}_R - \frac{15306628176584009543193003}{45845355761303849567084999})$

(6.4)

In addition, Maple can now compute more definite integrals that could not be computed in Maple 2015 or earlier.

>	$\int_{0}^{\infty} \frac{π}{2} - \arctan (x^{9}) &DifferentialD; x$

$- \frac{1}{2} \sum_{_R = RootOf ({_Z}^{6} - {_Z}^{3} + 1)} \frac{({_R}^{3} + 1) \ln (-_R)}{_R (2 {_R}^{3} - 1)} - \frac{1}{3} π \sqrt{3}$

(6.5)

>	$\int_{0}^{\infty} \cos (x) \cdot BesselJ (3, x) &DifferentialD; x$

$\infty$

(6.6)

>	$\int_{- 1}^{1} \|1 + \frac{1}{x^{5} + x^{2} + 2} + \frac{1}{(x^{5} + x^{2} + 2)^{3}}\| &DifferentialD; x$

$\frac{2564314191}{1260823328} - (\sum_{_R = RootOf ({_Z}^{5} + {_Z}^{2} + 2)} \frac{\ln (- 1 -_R)}{_R (5 {_R}^{3} + 2)}) - \frac{3}{1260823328} \sum_{_R = RootOf ({_Z}^{5} + {_Z}^{2} + 2)} \frac{(675729 {_R}^{3} - 19964900 {_R}^{2} - 5401458_R + 75189729) \ln (- 1 -_R)}{_R (5 {_R}^{3} + 2)} + \sum_{_R = RootOf ({_Z}^{5} + {_Z}^{2} + 2)} \frac{\ln (1 -_R)}{_R (5 {_R}^{3} + 2)} + \frac{3}{1260823328} \sum_{_R = RootOf ({_Z}^{5} + {_Z}^{2} + 2)} \frac{(675729 {_R}^{3} - 19964900 {_R}^{2} - 5401458_R + 75189729) \ln (1 -_R)}{_R (5 {_R}^{3} + 2)}$

(6.7)

Symbolic Summation

Maple 2016 includes a number of improvements to Maple's symbolic summation engine:

•	Improved handling of definite parametric sums

•	New option formal for sum

•	Support for Jacobi Theta sums

•	Support for piecewise expressions with more than two branches

•	Improved divergence testing for infinite sums

•	Better support for doubly infinite sums

Parametric Sums and Option Formal

Maple 2016 includes several improvements for parametric sums:

•	The scope of the option parametric was extended so it now works for more types of definite sums.

•	For infinite sums, Maple is now more careful regarding potentially divergent parametric sums. The behavior can be controlled using assumptions, the _EnvFormal environment variable, or, equivalently, a new option formal to the sum command.

By default, Maple returns a generic answer for certain types of parametric definite hypergeometric sums.

With option parametric, a complete case distinction is now returned for hypergeometric sums with a single parameter that is valid for all integer values of the parameter:

>	$sum ({(- 1)}^{k} binomial (m, k) k, k = 0 .. m)$

$0$

(7.1.1)

>	$sum (binomial (n, 4 k), k = 0 .. n)$

$\frac{1}{4} 2^{n} + \frac{1}{4} {(1 + I)}^{n} + \frac{1}{4} {(1 - I)}^{n}$

(7.1.2)

>	$sum ({(- 1)}^{k} binomial (m, k) k, k = 0 .. m, parametric)$

${\begin{array}{c} 0 & m \leq 0 \\ - 1 & m = 1 \\ 0 & 2 \leq m \end{array}$

(7.1.3)

>	$sum (binomial (n, 4 k), k = 0 .. n, parametric)$

${\begin{array}{c} \sum_{k = 0}^{n} binomial (n, 4 k) & n \leq - 1 \\ 1 & n = 0 \\ \frac{1}{4} 2^{n} + \frac{1}{4} {(1 + I)}^{n} + \frac{1}{4} {(1 - I)}^{n} & 1 \leq n \end{array}$

(7.1.4)

The behavior for infinite parametric sums of geometric, hypergeometric, polylog, or Zeta type has changed.

Without any assumptions on the parameter, such sums now return unevaluated.

The same sums with appropriate assumptions:

>	$\sum_{k = 0}^{\infty} {k^{2} x}^{k}$

$\sum_{k = 0}^{\infty} k^{2} x^{k}$

(7.1.5)

>	$\sum_{k = 0}^{\infty} binomial (n + k, k) x^{k}$

$\sum_{k = 0}^{\infty} binomial (n + k, k) x^{k}$

(7.1.6)

>	$\sum_{k = 1}^{\infty} \frac{x^{k}}{k^{2}}$

$\sum_{k = 1}^{\infty} \frac{x^{k}}{k^{2}}$

(7.1.7)

>	$\sum_{k = 1}^{\infty} k^{n}$

$\sum_{k = 1}^{\infty} k^{n}$

(7.1.8)

>	$\sum_{k = 0}^{\infty} {k^{2} x}^{k} assuming - 1 < x < 1$

$- \frac{x (x + 1)}{{(x - 1)}^{3}}$

(7.1.9)

>	$\sum_{k = 0}^{\infty} {k^{2} x}^{k} assuming x > 1$

$\infty$

(7.1.10)

>	$\sum_{k = 0}^{\infty} binomial (n + k, k) x^{k} assuming - 1 < x < 1$

$- \frac{{(- \frac{1}{x - 1})}^{n}}{x - 1}$

(7.1.11)

>	$\sum_{k = 1}^{\infty} \frac{x^{k}}{k^{2}} assuming - 1 < x < 1$

$polylog (2, x)$

(7.1.12)

>	$\sum_{k = 1}^{\infty} k^{n} assuming Re (n) < - 1$

$ζ (- n)$

(7.1.13)

>	$\sum_{k = 1}^{\infty} k^{n} assuming n \geq - 1$

$\infty$

(7.1.14)

Alternatively, formal answers can be obtained by either setting the environment variable $_EnvFormal ≔ true$ , or by specifying the new option formal. (This even works for non-parametric divergent sums.)

For geometric, polylog, and Zeta type sums, option parametric can also be used:

>	$_EnvFormal ≔ true &colon;$

>	$\sum_{k = 0}^{\infty} k^{2} x^{k}$

$- \frac{(1 + x) x}{{(x - 1)}^{3}}$

(7.1.15)

>	$\sum_{k = 0}^{\infty} binomial (n + k, k) x^{k}$

$\frac{1}{{(- x + 1)}^{n + 1}}$

(7.1.16)

>	$_EnvFormal ≔'_EnvFormal' &colon;$

>	$sum (\frac{x^{k}}{k^{2}}, k = 1 .. \infty)$

$\sum_{k = 1}^{\infty} \frac{x^{k}}{k^{2}}$

(7.1.17)

>	$sum (\frac{x^{k}}{k^{2}}, k = 1 .. \infty, formal)$

$polylog (2, x)$

(7.1.18)

>	$sum (k^{3}, k = 1 .. \infty, formal) = ζ (- 3)$

$\frac{1}{120} = \frac{1}{120}$

(7.1.19)

>	$sum (k^{2} x^{k}, k = 0 .. \infty, parametric)$

${\begin{array}{c} - \frac{(1 + x) x}{{(x - 1)}^{3}} & |x| < 1 \\ \infty & 1 \leq x \\ undefined & otherwise \end{array}$

(7.1.20)

>	$sum (\frac{x^{k}}{k^{2}}, k = 1 .. infinity, parametric)$

${\begin{array}{c} polylog (2, x) & x = −1 Or x = 1 Or |x| < 1 \\ \infty & 1 \leq x \\ undefined & otherwise \end{array}$

(7.1.21)

>	$sum (k^{n}, k = 1 .. infinity, parametric)$

${\begin{array}{c} ζ (- n) & 1 < - &real; (n) \\ \infty & - n \leq 1 \\ undefined & otherwise \end{array}$

(7.1.22)

Jacobi Theta

Maple now recognizes infinite sums that can be expressed in terms of Jacobi Theta functions.

>	$\sum_{n = 0}^{\infty} r^{n^{2}} assuming 0 < r < 1$

$\frac{1}{2} JacobiTheta3 (0, r) + \frac{1}{2}$

(7.2.1)

>	$sum (r^{n^{2}}, n = 0 .. \infty, parametric)$

${\begin{array}{c} \frac{1}{2} JacobiTheta3 (0, r) + \frac{1}{2} & |r| < 1 \\ \infty & 1 \leq r \\ undefined & otherwise \end{array}$

(7.2.2)

>	$\sum_{n = 1}^{\infty} 2^{- n^{2} - n} \cos ((2 n + 1) \cdot t)$

$\frac{1}{2} 2^{1 / 4} JacobiTheta2 (t, \frac{1}{2}) - \cos (t)$

(7.2.3)

Piecewise Sums

Maple now supports piecewise summands with integer branch points and more than two branches.

>	$\sum_{n = 0}^{\infty} \{\begin{array}{c} 0 & n \leq 0 \\ a & n \leq 1 \\ 2^{- n} & otherwise \end{array}$

$a + \frac{1}{2}$

(7.3.1)

>	$\sum_{n = 0}^{\infty} n \{\begin{array}{c} 2 & n = 0 \\ 10^{n} & n < 10 \\ x & n = 10 \\ x^{n} & otherwise \end{array} assuming - 1 < x < 1$

$9876543210 - \frac{x^{11} (10 x - 11)}{{(x - 1)}^{2}} + 10 x$

(7.3.2)

Sums Diverging to $\pm \infty$

For some non-hypergeometric infinite sums without parameters, Maple now detects when they diverge to $\pm \infty$ .

>	$\sum_{n = 1}^{\infty} {(1 - \frac{1}{n})}^{n}$

$\infty$

(7.4.1)

>	$\sum_{n = 0}^{\infty} \frac{\cosh ((2 n + 1) \cdot π)}{\cos ((2 n + 1) \cdot π)}$

$- \infty$

(7.4.2)

Doubly Infinite Sums

Maple now has improved support for doubly infinite sums, by splitting them into two one-sided infinite sums.

>	$f ≔ i \to \frac{{(- 1)}^{i}}{4 i^{2} - 1} &colon;$

>	$\sum_{i = - \infty}^{\infty} f (i)$

$- \frac{1}{2} π$

(7.5.1)

>	$\sum_{i = - \infty}^{- 1} f (i)$

$\frac{1}{2} - \frac{1}{4} π$

(7.5.2)

>	$\sum_{i = 1}^{\infty} f (i)$

$\frac{1}{2} - \frac{1}{4} π$

(7.5.3)

>	$+ f (0) +$

$- \frac{1}{2} π$

(7.5.4)

Download Help Document

Maple

Maple Add-Ons

MapleSim

MapleSim Add-Ons

Systems Engineering

Consulting Services

Maple T.A. and Möbius

Education

Industries

Automotive and Aerospace

Robotics

Machine Design & Industrial Automation

Other

Application Areas

Product Pricing

Purchasing

Institutional Student Licensing

Maplesoft Elite Maintenance (EMP)

Support

Product Training

Online Product Help

Webinars & Events

Publications

Content Hubs

Examples & Applications

Community

About Maplesoft

Media Center

User Community

Contact

Online Help

All Products Maple MapleSim

Maple

Powerful math software that is easy to use

Maple Add-Ons

MapleSim

Advanced System Level Modeling

MapleSim Add-Ons

Systems Engineering

Consulting Services

Maple T.A. and Möbius

Education

Industries

Automotive and Aerospace

Robotics

Machine Design & Industrial Automation

Other

Application Areas

Product Pricing

Purchasing

Institutional Student Licensing

Maplesoft Elite Maintenance (EMP)

Support

Product Training

Online Product Help

Webinars & Events

Publications

Content Hubs

Examples & Applications

Community

About Maplesoft

Media Center

User Community

Contact

Online Help

All Products Maple MapleSim