3.6.1 ベキ級数の展開

ベキ級数展開

近傍で を4次項までベキ級数展開する．

In[1]:= Series[ Exp[x], {x, 0, 4} ]

Out[1]=

近傍で を級数展開する．

In[2]:= Series[ Exp[x], {x, 1, 4} ]

Out[2]=

級数展開できない関数だと，導関数を使いシンボル的に展開形を表してくれる．

In[3]:= Series[ f[x], {x, 0, 3} ]

Out[3]=

Seriesの機能は数学的にいって，関数についてテイラー(Taylor)級数を構成することにある．

近傍における関数 のテイラー級数展開は， 階の導関数 を使い，公式 に従って求められる．この公式が適用可能な式なら， Seriesを使い公式と同じ

展開形が得られる．（ただし，頻繁に使われる関数については Seriesの使うアルゴリズムの方が公式より効率よく展開処理ができる．）

さらに， Seriesを使うと，標準的なテイラー級数の公式で直接カバーされない分数や負の指数部分をもつベキ級数も展開できる．

xに負のベキをもつベキ級数を展開する．

In[4]:= Series[ Exp[x]/x^2, {x, 0, 4} ]

Out[4]=

xに分数のベキをもつベキ級数を展開する．

In[5]:= Series[ Exp[Sqrt[x]], {x, 0, 2} ]

Out[5]=

Seriesを使えば，対数項をもつ級数でも展開できる．

In[6]:= Series[ Exp[2x] Log[x], {x, 0, 2} ]

Out[6]=

もちろん，数学関数の中には，通常の意味のベキ級数の展開ができないものもある． Mathematicaは，そのような場合を認識している．

において が真性特異点をもつため，級数展開は行われない．

In[7]:= Series[ Exp[1/x], {x, 0, 2} ]

Out[7]=

しかし，においては は展開可能である．

In[8]:= Series[ Exp[1/x], {x, Infinity, 3} ]

Out[8]=

特に負のベキが現れるとき， Seriesが実際にいくつ項を生成するかで微妙な問題が生じる．

特定の次数までとったベキ級数と特定の精度でとった実数とを比較し類推してみると，このとき展開がどう進むか理解しやすくなる．すなわち，有限精度の実数を近似値とみなすようにベキ級数は「近似式」とみなされる．

ベキ級数を構築するために Seriesでとられる手順は，ちょうど Nにおいて実数の近似値を求めるために使われる手順によく似ている．つまり，これらの関数ではともに，展開する式が，最小な部分から有限の次数に（または，有限の桁精度に）置換され，そうすることで近似された式が評価される，という手順がとられる．例えば，項の相殺等が起こると，この手順だと指定した次数や桁精度に達しないところで展開が打ち切られる状況も起こり得る．ただし， Nと異なり Seriesには，指定した次数の展開が得られるまでなるべく計算を繰り返す機能をもたせてあるので，仮に指定した次数まで展開しきれなくても，高い次数を指定しておけば十分に高い精度の展開が可能である．

Seriesで展開する．展開される式にキャンセル項がでるが，最終的には の項まで構築できる．

In[9]:= Series[ Sin[x]/x^2, {x, 0, 3} ]

Out[9]=

変数 xについてベキ級数展開をするとき，関数が具体的に xを含まないとき，同オブジェクトは xから独立しているものとみなされる．このため， Seriesの構築するテイラー級数は，実は Dの機能をもとに偏微分をとることで展開が行われる．

aおよび nは，ともに xから独立しているとみなされる．

In[10]:= Series[ (a + x)^n , {x, 0, 2} ]

Out[10]=

a[x]として， xへの依存を明示する．

In[11]:= Series[ (a[x] + x)^n, {x, 0, 2} ]

Out[11]=

Seriesを使い複数の変数に関してもベキ級数を展開することができる． Integrateや Sumと同じように， Seriesでも，最後に指定した変数が展開操作の最初の対象になる．

Seriesの級数展開で変数が複数あると，1つの変数に関する展開が終ってから次の変数の展開が進められる．この例では， yの級数を係数とした xの級数が求 まる．

In[12]:= Series[Exp[x y], {x, 0, 3}, {y, 0, 3}]

Out[12]=