|
MathematicalFunctions[Series] - compute a series expansion for a mathematical function
|
|
Calling Sequence
|
|
Series(math_function, eqn, n)
|
|
|
Parameters
|
|
|
math_function
|
-
|
mathematical function call
|
|
eqn
|
-
|
equation or name; specifies variable for the expansion (for example, z) and, if an equation (for example, z = z0), the expansion point
|
|
n
|
-
|
(optional) non-negative integer; specifies the truncation order
|
|
|
|
|
|
Description
|
|
|
•
|
The Series function computes a truncated series expansion of the function call math_function, with respect to the variable z indicated in eqn, about the point z0 (default is z = 0), up to order n (default is n = 6). So, the call Series(math_func, z) is equivalent to Series(math_func, z = 0, 6).
|
|
•
|
The series returned is computed (outside singularities/branch cuts) using a unified approach, based on the knowledge of the series expansion around the origin (herein called the Sum form).
|
|
•
|
The Series function is not a replacement for the Maple series command, nor does it have the generality of series. As a function of the MathematicalFunctions package, the goal of Series is to return valuable mathematical information not returned by series (see the examples). As such, Series can be seen as a complement to the series command.
|
|
•
|
Unlike the Maple series command, the first argument in a call to Series must be a known mathematical function call or a Sum. When the expansion is around z = 0, Series computes the requested series expansion directly from the Sum form of the mathematical function. In this case, the output may consist of a sequence of two objects: first the series, then any restrictions on the function parameters known to the FunctionAdvisor such that the Sum representation and so the series expansion is valid. If the series cannot be computed directly from this sum representation, Series returns FAIL.
|
|
•
|
If the expansion point is specified as z = z0 with  , Series first attempts to compute a Taylor series expansion. If that fails, it shifts the expansion variable  , then attempts to compute the series around the origin from the Sum form.
|
|
•
|
For some mathematical functions, the series expansion can be computed only by first factoring out abstract powers of the expansion variable,  . In this case, the Series command attempts the factorization, and, if successful, returns a structure of the form  , where  ,  , ... are of type/series and  , ... are abstract powers of polynomials  ,  , ... in  .
|
|
|
|
Examples
|
|
|
>
|
|
|
![[Series]](/support/helpjp/helpview.aspx?si=7047/file02380/math214.png)
| (1) |
The series expansion around the origin may have restrictions on the function parameters.
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
The information on the function parameters returned for the expansion of  is not returned by the more general series command.
|
>
|
|
|
| (4) |
In general, in the case of entire functions, such as sin, the series does not have restrictions on the function parameters. The functions admitting a hypergeometric representation linear in 0F1 or 1F1 are typically entire functions, such as erf or BesselJ. For functions of these classes depending on more than one parameter, however, the expansion around  may depend on conditions on the other function parameters (not the expansion variable).
Computing a series by first factoring out abstract powers of  :
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
Once the conditions on the parameters are known, in some cases, you can obtain expansions for the complementary conditions (see type/nonposint), for example:
|
>
|
![`assuming`([Series(KummerU(a, b, z), z, 3)], [a::nonposint])](/support/helpjp/helpview.aspx?si=7047/file02380/math297.png)
|
|
| (8) |
Since the approach used to expand a function is to first express it as a Sum, Series can also directly expand the Sum. For example, for the Sum form of the elliptic integral of the first kind (trigonometric form), InverseJacobiAM:
|
>
|
|
|
| (9) |
|
>
|
|
|
| (10) |
|
>
|
|
|
|
