create a power series
(optional) equation(s) of the form option = value where option is one of analytic, check, variables, or expand; at least one of analytic and variables must be specified
univariate polynomial over power series
power series generated by this package
The calling sequence PowerSeries(p), where p is a polynomial, creates a power series representing this polynomial. Concretely, the homogeneous part of degree i of this power series is equal to the sum of all terms of degree i in p. In particular, the homogeneous part of degree i of that power series is zero whenever i is greater than the degree of p. Note that the polynomial p can be a complex constant; in that case, p is regarded as a polynomial of degree zero.
The calling sequence PowerSeries(r), where r is a rational function, computes power series for the numerator and denominator of r as above, then computes the quotient of the two. This is possible only if the denominator is invertible, that is, it has a nonzero constant term.
The calling sequence PowerSeries(e), where e is an expression that is not a rational function, uses the series command to attempt to express e as a power series at the origin in each of the variables occurring in e.
The calling sequence PowerSeries(f, opts), where f is a procedure, creates a power series whose homogeneous part of degree i is equal to the value of the function call f(i). This assumes that the procedure f takes a non-negative integer as input and returns a polynomial as output.
If the optional argument analytic=g is passed, where g is an algebraic expression, then the power series is assumed to be equal to g in a neighborhood of the origin. There is no verification of this assumption.
If the optional argument variables=s is passed, where s is a set of variable names, then the power series is a power series in the given variables. If this option is omitted, then the analytic option must be specified, and Maple determines the set of variables from that option. Either this option or the analytic option must be specified.
By default, every time f is invoked, its result is verified to be a polynomial of the expected homogeneous degree in the given variables. If you know this is not necessary, you can include the optional argument check=false to disable these checks for greater efficiency.
By default, every time f is invoked, its result is expanded. If you know that the value returned by f will always be expanded, you can include the optional argument expand=false to disable these calls for greater efficiency.
The calling sequence PowerSeries(u), where u is a univariate polynomial over power series, returns u as a power series. To be precise, if v is the main variable of u and its coefficients are power series with variables in the set of variables x, let y be the union of x with v. Then the power series returned by PowerSeries(u) is the image of u in the power series ring with variables in y. This image is obtained by the natural homomorphism mapping the univariate polynomial ring Rv into the univariate power series ring R⟦v⟧, where R is the ring of power series in variables in x.
The calling sequence PowerSeries(ps), where ps is a power series, returns a copy of ps.
The implementation of power series and univariate polynomials over power series relies on lazy evaluation (also known as calls-by-need). For details, see the MultivariatePowerSeries help page.
When using the MultivariatePowerSeries package, do not assign anything to the variables occurring in the power series, Puiseux series, and univariate polynomials over these series. If you do, you may see invalid results.
Create a power series from a polynomial, determine its inverse, and find its truncation to homogeneous degree 5.
a ≔ PowerSeries⁡1+x+x⁢y+x2
b ≔ Inverse⁡a
b≔PowⅇrSⅇrⅈⅇs of 1x2+x⁢y+x+1 : 1+…
We can also compute b by specifying the rational function that is the inverse of the polynomial used to define a.
b ≔ PowerSeries⁡11+x+x⁢y+x2
Create a power series for the expression ⅇx.
b ≔ PowerSeries⁡ⅇx
b≔PowⅇrSⅇrⅈⅇs of ⅇx : 1+x+x22+x36+x424+x5120+…
Create a power series for an elliptic integral of the third kind.
b ≔ PowerSeries⁡EllipticPi⁡z,ν,k
b≔PowⅇrSⅇrⅈⅇs of EllipticPi⁡z,ν,k : z+z36+z3⁢ν3+3⁢z540+z3⁢k26+…
Create a power series from a procedure and find its truncation to homogeneous degree 3.
bproc := proc(d) local s; s := 2*x + y; return expand(s^d); end proc:
b ≔ PowerSeries⁡bproc,variables=x,y
Create a power series from an anonymous function, specifying the analytic form of that power series. Find the truncations to homogeneous degrees 5 and 10.
c ≔ PowerSeries⁡d→xdd!,analytic=ⅇx
c≔PowⅇrSⅇrⅈⅇs of ⅇx : 1+…
Create a power series from a univariate polynomial over power series.
f ≔ UnivariatePolynomialOverPowerSeries⁡PowerSeries⁡1,PowerSeries⁡x,PowerSeries⁡y,GeometricSeries⁡x,y,z:
The truncation to homogeneous degree 2 is given by truncating each coefficient to that degree, ignoring fs main variable, z.
If we convert f to a power series, its truncation is defined by considering the homogeneous degree in all variables, including z.
d ≔ PowerSeries⁡f
d≔PowⅇrSⅇrⅈⅇs of 1+x⁢z+y⁢z2+z31−x−y : 1+…
Copy a power series.
e ≔ PowerSeries⁡d
e≔PowⅇrSⅇrⅈⅇs of 1+x⁢z+y⁢z2+z31−x−y : 1+x⁢z+y⁢z2+z3+…
The MultivariatePowerSeries[PowerSeries] command was introduced in Maple 2021.
For more information on Maple 2021 changes, see Updates in Maple 2021.
The MultivariatePowerSeries[PowerSeries] command was updated in Maple 2022.
The r and e parameters were introduced in Maple 2022.
For more information on Maple 2022 changes, see Updates in Maple 2022.
Download Help Document