convert/FormalPowerSeries
convert to formal power (or Laurent-Puiseux) series
Calling Sequence
Parameters
Options
Description
Examples
References
convert(expr, FormalPowerSeries, eq, k, opts)
convert(expr, FormalPowerSeries, eq, b(k), opts)
expr
-
algebraic expression
eq
equation (e.g. x=a) or name (e.g. x); optional if expr contains only one variable
k
(optional) name of the summation variable in the result
b(k)
(optional) name for the kth series coefficient
opts
sequence of options of the form keyword=value; possible keywords are method, makereal, dir, differentialorder, and recurrence
differentialorder: a positive integer n (default: n=4); upper bound for the order of the differential equation searched for. This controls the depth of the search for a differential equation for expr. Higher values of n will increase the chance to find the solution, but increase the running time as well.
dir: one of default, left, right, real, or complex; direction of the limit computation for initial values. If a is finite, then the default is dir=complex. If a is either infinity or -infinity, then the default is dir=real. See also limit.
makereal: either true or false (default); makereal=true (or just makereal for short) indicates that a series with real coefficients should be returned
method: one of default, hypergeometric, rational, or exponential. Specifies the method that will be used; the default method uses an internal selection strategy. See the Examples below for an illustration of the various methods.
recurrence: either true or false (default). If recurrence=true (or recurrence for short) is given and no formal power series can be computed, then the output is a recurrence for b⁡k.
This command expands meromorphic functions of certain type into their corresponding Laurent-Puiseux series as a sum of terms of the form ∑k=0∞⁡b⁡k⁢x−am⁢k+sq, where m is called the symmetry number, s is the shift number, and a is the expansion point.
The following types are supported:
functions of hypergeometric type, where b⁡k+mb⁡k is a rational function of k for some integer m;
functions of exponential type, which satisfy a linear homogeneous differential equation with constant coefficients;
functions of rational type, which are either rational or have a rational derivative;
linear combinations of hypergeometric functions are treated by the Petkovsek-van-Hoeij algorithm; see LREtools[hypergeomsols].
The convert(expr, FormalPowerSeries, x=a) command tries to find a formal power series expansion for expr with respect to the variable x at the point of expansion a. If a=infinity, then the command searches for an asymptotic series. It also works for formal Laurent-Puiseux series, and in certain cases of logarithmic singularities.
The command first looks for a homogeneous linear differential equation with polynomial coefficients for expr; hence Maple must know the derivatives of expr.
If eq is a variable name x, or if eq is omitted and expr has only one variable x, then x=0 is assumed.
The optional argument k is a name that will be taken as the summation variable in the result. If it is not specified, then one of the variable names k, k0, k1, etc. is chosen.
To compute asymptotic power series, one may expand the function around ∞; see the Examples below. The result is a (possibly divergent) series.
The FormalPowerSeries argument can be abbreviated as FPS.
For a complete list of known functions, see inifcns.
The convert/sum command provides the same functionality as the convert/FormalPowerSeries command, with a newer algorithm which can employ alternate methods.
convert⁡sin⁡x,FormalPowerSeries
∑k=0∞⁡−1k⁢x2⁢k+12⁢k+1!
convert⁡ln⁡x,FormalPowerSeries,x=1,j
∑j=0∞⁡−1j⁢x−1j+1j+1
convert⁡sqrt⁡1−sqrt⁡1−xx,FormalPowerSeries,x,n
∑n=0∞⁡2−4⁢n+12⁢4⁢n!⁢xn2⁢2⁢n!2⁢2⁢n+1
convert⁡exp⁡arcsin⁡x,FormalPowerSeries
∑k=0∞⁡∏j=0k⁡4⁢j2+1⁢x2⁢k4⁢k2+1⁢2⁢k!+∑k=0∞⁡2k⁢∏j=0k⁡2⁢j2+2⁢j+1⁢x2⁢k+12⁢k2+2⁢k+1⁢2⁢k+1!
convert⁡t1−x⁢t−t2,FormalPowerSeries,t
∑k=0∞⁡−x2−x2+42kx2+4+x2+x2+42kx2+4⁢tk
The following examples illustrate the use of the method parameter.
convert⁡ln⁡1+x21−x,FormalPowerSeries,method=rational
∑k=0∞⁡−Ik⁢Ik+I⁢−Ik−I⁢Ik⁢xk+1−Ik⁢Ik⁢k+1
convert⁡exp⁡x⁢sin⁡x,FormalPowerSeries,method=hypergeometric
∑k=0∞⁡I⁢1−Ik2⁢k!−I⁢1+Ik2⁢k!⁢xk
convert⁡exp⁡x−2⁢exp⁡−x2⁢cos⁡sqrt⁡3⁢x2+π3,FormalPowerSeries,method=exponential
∑k=0∞⁡1k!−cos⁡2⁢k⁢π3k!+3⁢sin⁡2⁢k⁢π3k!⁢xk
convert⁡exp⁡x−2⁢exp⁡−x2⁢cos⁡sqrt⁡3⁢x2+π3,FormalPowerSeries,method=hypergeometric
∑k=0∞⁡3⁢x3⁢k+13⁢k+1!
The output can be a Puiseux series or a Laurent series.
convert⁡exp⁡sqrt⁡x,FormalPowerSeries
∑k=0∞⁡xkk!
convert⁡sin⁡xx6,FormalPowerSeries
∑k=0∞⁡−1k⁢x2⁢k−52⁢k+1!
User-defined functions are handled provided their derivative is known. We define the derivative of the function g as follows (see diff for more information).
`diff/g` := proc(a,x) g(a)*diff(a,x) end proc:
convert⁡g⁡x,FormalPowerSeries,x=0
∑k=0∞⁡g⁡0⁢xkk!
Indefinite integrals are handled.
convert⁡Int⁡erf⁡tt,t=0..x,FormalPowerSeries,x
∑k=0∞⁡2⁢−1k⁢x2⁢k+1π⁢k!⁢2⁢k+12
Linear combinations of hypergeometric functions are recognized.
convert⁡−12⁢x+16⁢x3⁢arctan⁡x+−14⁢x2+112⁢ln⁡x2+1+512⁢x2+14,FormalPowerSeries,x=0,makereal
14+∑k=0∞⁡xk+4⁢cos⁡k⁢π2k+4⁢k+3⁢k+2⁢k+1
The input functions can contain parameters.
convert⁡sin⁡x+y,FormalPowerSeries,x
∑k=0∞⁡sin⁡y⁢−1k⁢x2⁢k2⁢k!+∑k=0∞⁡cos⁡y⁢−1k⁢x2⁢k+12⁢k+1!
In the next example, the output is expressed in terms of algebraic numbers.
convert⁡1x4+x+1,FormalPowerSeries,method=rational
∑k=0∞⁡∑_α=RootOf⁡_Z4+_Z+1⁡36⁢_α3−48⁢_α2+64⁢_α+27229⁢_αk+1⁢xk
Maple's special functions are handled.
convert⁡AiryAi⁡x,FormalPowerSeries
∑k=0∞⁡3−2⁢k+13⁢x3⁢k3⁢Γ⁡23⁢pochhammer⁡23,k⁢k!+∑k=0∞⁡−Γ⁡23⁢3−2⁢k+16⁢x3⁢k+12⁢π⁢pochhammer⁡43,k⁢k!
convert⁡hypergeom⁡a,b,c,x,FormalPowerSeries,x
∑k=0∞⁡pochhammer⁡b,k⁢pochhammer⁡a,k⁢xkpochhammer⁡c,k⁢k!
Hidden polynomials are detected.
convert⁡cos⁡4⁢arccos⁡x,FormalPowerSeries
8⁢x4−8⁢x2+1
f≔expand⁡cos⁡x2+sin⁡x210
f≔cos⁡x20+10⁢cos⁡x18⁢sin⁡x2+45⁢cos⁡x16⁢sin⁡x4+120⁢cos⁡x14⁢sin⁡x6+210⁢cos⁡x12⁢sin⁡x8+252⁢cos⁡x10⁢sin⁡x10+210⁢cos⁡x8⁢sin⁡x12+120⁢cos⁡x6⁢sin⁡x14+45⁢cos⁡x4⁢sin⁡x16+10⁢cos⁡x2⁢sin⁡x18+sin⁡x20
convert⁡f,FormalPowerSeries
1
Asymptotic power series can be computed.
convert⁡exp⁡x2⁢1−erf⁡x,FormalPowerSeries,x=∞,dir=left
∑k=0∞⁡−1k⁢2⁢k!⁢4−k⁢1x2⁢k+1π⁢k!
convert⁡sin⁡1x,FormalPowerSeries,x=∞
∑k=0∞⁡−1k⁢1x2⁢k+12⁢k+1!
Real and one-sided (asymptotic) series can be computed using the dir option.
convert⁡exp⁡−1x2,FormalPowerSeries,x=0,dir=real
0
convert⁡exp⁡−1x,FormalPowerSeries,x=0,dir=right
convert⁡exp⁡−1x,FormalPowerSeries,x=0,dir=left
ⅇ−1x
Some examples where convert(...,FormalPowerSeries) does not succeed, e.g., because of an essential singularity.
convert⁡exp⁡1x,FormalPowerSeries
ⅇ1x
convert⁡tan⁡x,FormalPowerSeries
tan⁡x
Here is an example where convert(...,FormalPowerSeries) fails to compute a formal power series, but is able to determine a recurrence equation for the coefficients.
convert⁡arcsin⁡x3,FormalPowerSeries
arcsin⁡x3
convert⁡arcsin⁡x3,FormalPowerSeries,b⁡k,recurrence
k4⁢b⁡k−2⁢k+1⁢k+2⁢k2+2⁢k+2⁢b⁡k+2+k+1⁢k+2⁢k+3⁢k+4⁢b⁡k+4=0
Generalized series.
convert⁡arcsech⁡x,FormalPowerSeries
ln⁡2+ln⁡1x+∑k=0∞⁡−2⁢k+1!⁢4−k⁢x2⁢k+22⁢k!2⁢k+1⁢2⁢k+2
Gruntz, Dominik, and Koepf, Wolfram. "Maple package of formal power series." Maple Technical Newsletter, Vol. 2(2), (1995):22-28.
Koepf, Wolfram. "Algorithmic development of power series. Artificial intelligence and symbolic mathematical computing." Lecture Notes in Computer Science, Vol. 737, pp. 195-213. Edited by J. Calmet and J. A. Campbell. Berlin-Heidelberg: Springer, 1993.
Koepf, Wolfram. "Examples for the algorithmic calculation of formal Puiseux, Laurent and power series." SIGSAM Bulletin Vol. 27, (1993): 20-32.
Koepf, Wolfram. "Power series, Bieberbach conjecture and the de Branges and Weinstein functions." Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation. pp. 169-175. New York: ACM, 2003.
Koepf, Wolfram. "Power series in computer algebra." Journal of Symbolic Computation, Vol. 13, (1992): 581-603.
van Hoeij, Mark. "Finite singularities and hypergeometric solutions of linear recurrence equations." J. Pure and Appl. Algebra, Vol. 139, (1999): 109-131.
See Also
convert/0F1
convert/1F1
convert/2F1
convert/hypergeom
convert/sum
convert/to_special_function
gfun[holexprtodiffeq]
hypergeom
LREtools[hypergeomsols]
series
simplify/hypergeom
sum
SumTools
taylor
Download Help Document
What kind of issue would you like to report? (Optional)