ベキ級数の展開
| Series[expr,{x,x0,n}] | expr についてx=x0近傍で最高(x-x0)n 次までベキ級数展開を行う |
| Series[expr,{x,x0,nx},{y,y0,ny}] |
| 最初 y について，次に x についてベキ級数展開を行う |
ベキ級数展開
x=0近傍で exp (x)を x4までベキ級数展開する．
| Out[1]= |  |
|
| Out[2]= |  |
|
級数展開できない関数だと，導関数を使いシンボル的に展開形を表してくれる．
| Out[3]= |  |
|
Seriesの機能は数学的にいって，関数についてテイラー(Taylor)級数を構成することにある．
x=x0近傍における関数
g (x)のテイラー級数展開は，
k 階の導関数
g (k) (x)を使い，公式
に従って求められる．この公式が適用可能な式なら，
Seriesを使い公式と同じ展開形が得られる．（ただし，頻繁に使われる関数については
Seriesの使うアルゴリズムの方が公式より効率よく展開処理ができる．）
さらに，
Seriesを使うと，標準的なテイラー級数の公式で直接カバーされない分数や負の指数部分を持つベキ級数も展開できる．
| Out[4]= |  |
|
| Out[5]= |  |
|
| Out[6]= |  |
|
もちろん，数学関数の中には，通常の意味のベキ級数の展開ができないものもある．
Mathematica は，そのような場合を認識している．
x=0において  が真性特異点を持つため， Seriesで級数展開は行われない．
| Out[7]= |  |
|
しかし， x= においては  は展開可能である．
| Out[8]= |  |
|
特に負のベキが現れるとき，
Seriesが実際にいくつ項を生成するかで微妙な問題が生じる．
特定の次数まで取ったベキ級数と特定の精度で取った実数とを比較し類推してみると，このとき展開がどう進むか理解しやすくなる．すなわち，有限精度の実数を近似値とみなすようにベキ級数は「近似式」とみなされる．
ベキ級数を構築するために
Seriesで取られる手順は，ちょうど
Nにおいて実数の近似値を求めるために使われる手順によく似ている．つまり，これらの関数ではともに，展開する式が，最小な部分から有限の次数に（または，有限の桁精度に）置換され，そうすることで近似された式が評価される，という手順が取られる．例えば，項の相殺等が起ると，この手順だと指定した次数や桁精度に達しないところで展開が打ち切られる状況も起り得る．ただし，
Nと異なり
Seriesには，指定した次数の展開が得られるまでなるべく計算を繰り返す機能を持たせてあるので，仮に指定した次数まで展開し切れなくても，高い次数を指定しておけば十分に高い精度の展開が可能である．
Seriesで展開する．展開される式にキャンセル項が出るが，最終的には x3の項まで構築できる．
| Out[9]= |  |
|
変数
x についてベキ級数展開をするとき，関数が具体的に
x を含まないとき，同オブジェクトは
x から独立しているものとみなされる．このため，
Seriesの構築するテイラー級数は，実は
Dの機能をもとに偏微分を取ることで展開が行われる．
aおよび nは，ともに xから独立しているとみなされる．
| Out[10]= |  |
|
| Out[11]= |  |
|
Seriesを使い複数の変数に関してもベキ級数を展開することができる．
Integrateや
Sumと同じように，
Seriesでも，最後に指定した変数が展開操作の最初の対象になる．
Seriesの級数展開で変数が複数あると，1つの変数に関する展開が終ってから次の変数の展開が進められる．この例では， yの級数を係数とした xの級数が求まる．
| Out[12]= |  |
|
