テイラー展開

数学において**テイラー級数**（テイラーきゅうすう、）は、関数のある一点での導関数の値から計算される項の無限和として関数を表したものである。そのような級数を得ることを**テイラー展開**（テイラーてんかい）という。

テイラー級数の概念はスコットランドの数学者ジェームズ・グレゴリーにより定式化され、フォーマルにはイギリスの数学者ブルック・テイラーによって1715年に導入された。0 を中心としたテイラー級数は、**マクローリン級数** () とも呼ばれる。これはスコットランドの数学者コリン・マクローリンにちなんでおり、彼は18世紀にテイラー級数のこの特別な場合を積極的に活用した。

関数はそのテイラー級数の有限個の項を用いて近似することができる。テイラーの定理はそのような近似による誤差の定量的な評価を与える。テイラー級数の最初のいくつかの項として得られる多項式はテイラー多項式と呼ばれる。関数のテイラー級数は、その関数のテイラー多項式で次数を増やした極限が存在すればその極限である。関数はそのテイラー級数がすべての点で収束するときでさえもテイラー級数に等しいとは限らない。開区間（あるいは複素平面の開円板）でテイラー級数に等しい関数はその区間上の解析関数と呼ばれる。

前述の通り、一定の条件の下でテイラー展開の高次の項を無視することができる。例えば単振り子の問題では、振り子の振れ角  が充分小さいことを利用して、正弦関数  を  で近似できる。このように、関数をテイラー展開することで計算が容易になり、また原点近傍の振る舞いを詳細に調べることができるようになる。

## 一実変数関数のテイラー展開








正弦関数f(x)=\sin xのx=aにおけるテイラー級数のうち次数の少ない項のみを抽出したもの

\sum_{k=0}^n \frac{f^{(k)}(a)}{k!} (x - a)^{k}

（**マウスホイールで<math>n</math>を変更**）




点  を含む実数の開区間  上で無限回微分可能な関数  が与えられたとき、べき級数
: \sum_{n=0}^{\infin} \frac{f^{(n)}(a)}{n!} (x - a)^{n} 
を関数  の点  まわりの**テイラー級数**という。ここで  は  の階乗、 は  における  の  次微分係数である。また、便宜的に  は 1 であると定義する。テイラー級数が収束し、元の関数  に一致するとき、 は**テイラー展開可能**であるという。テイラー展開がある大域的な領域の各点で可能な関数は、その領域において**解析的** () である、またはその領域上の**[[解析関数]]** () であるという。

ここで一般には関数  が無限回微分可能であってもそのテイラー級数が  で収束するとは限らず、たとえ収束しても一致するとは限らないことに注意が必要である。一致するかどうかは、テイラーの定理における剰余項  が 0 に収束するかどうかによって判定できる；ここで剰余項  は、ある  が存在して、
:R_n (x) = {f^{(n)}(c) \over n!} (x - a)^n

と書ける。または積分を用いて、次のように表せる。
:R_n (x) =\frac{1}{(n-1)!}\int_a^x (x-t)^{n-1} f^{(n)}(t)\, \mathrm dt
また、この剰余項を評価することで関数の近似値を精度保証つきで数値的に求めることもできる（テイラーの定理#例を参照）。

特に  における以下のような展開
:
 \sum_{n=0}^{\infin} \frac{f^{(n)}(0)}{n!} x^{n}

を**マクローリン展開**（マクローリンてんかい、; 名称は数学者コリン・マクローリンに由来する）と呼ぶ。

### マクローリン級数の例
いくつかの重要な関数のテイラー展開を以下に示す。これらはすべて複素解析的な関数であり、複素変数であると考えても成り立つ。についてのforの範囲(収束半径)外の実数をに代入したら基本的に発散する。(ただし、元の関数が収束することもある）。

収束半径とxの絶対値が一致している場合､発散する事も収束する事もある。元の関数で発散する場合は収束半径とxの絶対値が一致しても発散する。

なお、 の展開に現われる  、二項展開の \textstyle \binom{\alpha}{n} 、 の展開に現われる  はそれぞれベルヌーイ数、二項係数、オイラー数である。また、 は  の逆関数であるとする。

;多項式
:多項式をマクローリン展開したものは元の多項式自身である。
;指数関数
:e^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!}\quad\mbox{ for all }x
;自然対数
:\log(1-x) = - \sum^{\infty}_{n=1} \frac{x^n}n\quad\mbox{ for } |x| 
:\log(1+x) = \sum^{\infin}_{n=1} \frac{(-1)^{n+1}}n x^n\quad\mbox{ for } |x| 

;幾何級数
:\frac{1}{1-x} = \sum^{\infin}_{n=0} x^n\quad\mbox{for } |x| 
:\frac{1}{(1-x)^2} = \sum^\infty_{n=1} nx^{n-1}\quad\text{ for }|x| 
:\frac{x}{(1-x)^2} = \sum^\infty_{n=0} nx^n\quad\text{ for }|x| 
:\frac{2}{(1-x)^3} = \sum^\infty_{n=2} (n-1)nx^{n-2}\quad\text{ for }|x| 
:\frac{2x^2}{(1-x)^3} = \sum^\infty_{n=0} (n-1)nx^n\quad\text{ for }|x| 

;二項定理
:(1+x)^\alpha = \sum^{\infin}_{n=0} \binom{\alpha}{n} x^n\quad\mbox{for } |x| 

;三角関数
:\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}\quad\mbox{ for all } x
:\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n}\quad\mbox{ for all } x
:\tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}\quad\mbox{ for } |x| 
:\csc x = \sum^{\infin}_{n=0} \frac{ (-1)^n (2-2^{2n}) B_{2n}}{(2n)!} x^{2n-1}\quad\mbox{ for } 0 
:\sec x = \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}\quad\mbox{ for } |x| 
:\cot x = \sum^{\infin}_{n=0} \frac{ (-1)^n 2^{2n} B_{2n}}{(2n)!} x^{2n-1}\quad\mbox{ for } 0 
:\sin^{-1} x = \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ for } |x| 
:\cos^{-1} x = {\pi\over 2}- \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ for } |x| 
:\tan^{-1} x = \sum^{\infin}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1}\quad\mbox{ for } |x| 

;双曲線関数
:\sinh x = \sum^{\infin}_{n=0} \frac{1}{(2n+1)!} x^{2n+1}\quad\mbox{ for all } x
:\cosh x = \sum^{\infin}_{n=0} \frac{1}{(2n)!} x^{2n}\quad\mbox{ for all } x
:\tanh x = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1}\quad\mbox{ for } |x| 
:\sinh^{-1} x = \sum^{\infin}_{n=0} \frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ for } |x| 
:\tanh^{-1} x = \sum^{\infin}_{n=0} \frac{1}{2n+1} x^{2n+1}\quad\mbox{ for } |x| 

;ランベルトのW関数
:W_0(x) = \sum^{\infin}_{n=1} \frac{(-n)^{n-1}}{n!} x^n\quad\mbox{ for } |x| 

## 一変数複素関数のテイラー展開
点  を含む開集合  上で微分可能、すなわち正則な複素関数  が与えられたとき、べき級数

: \sum_{n=0}^{\infin} \frac{f^{(n)}(a)}{n!} (z - a)^{n} 

を関数  の点  まわりの**テイラー級数**という。正則関数の解析性から、点  を中心として  に包含されるような任意の開円板  上でこの級数は  に収束する。

剰余項  は複素線積分を用いて、次のように表せる：

:R_n (z) = (z-a)^n \left [ \frac{1}{2 \pi i}\int_C \frac{f(w)}{(w-a)^{n}(w-z)} \mathrm dw \right ] 

ここで  は、点  と を囲み、周および内部が  に含まれるような反時計回りの円周である。

## 多変数関数のテイラー展開
テイラー展開は一変数関数のみならず、多変数関数にも適用できる。 変数関数  のテイラー展開は以下の式である。
:f(x_1,\dots,x_d) = \sum_{n_1=0}^\infty \sum_{n_2=0}^\infty \cdots \sum_{n_d = 0}^\infty 
\frac{(x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d}}{n_1!\cdots n_d!}\,\left(\frac{\partial^{n_1 + \cdots + n_d}f}{\partial x_1^{n_1}\cdots \partial x_d^{n_d}}\right)(a_1,\dots,a_d).\!

多重指数記法を用いれば、 変数関数  のテイラー展開は次式で表現される。
:f(\mathbf{x}) = \sum_{\alpha\in\mathbb{N}^d_0}^{}\frac{(\mathbf{x}-\mathbf{a})^{\alpha}}{\alpha !}\,({\mathrm{\partial}^{\alpha}}\,f)(\mathbf{a})

アインシュタインの縮約記法を用いれば、多変数関数  のテイラー展開は次式である。
:f(x^{\mu}) = \sum^{\infin}_{n=0} \frac{1}{n!} \left[ (x^{\mu} - \alpha^{\mu}) \partial_{\mu} \right]^n f(\alpha^{\mu}) 
上式の  は微分演算子であり、ベクトル解析の記法では  に置き換えられる。一番後ろに  があるが、これは  に左の演算子を作用させてから  の引数として  を与えることを表していることに注意する。

## 脚注
### 注

### 出典

## 参考文献
* 

## 関連項目

* 正則関数
* 解析関数
* 整関数
* 収束半径
* ローラン展開
* 漸近展開
* パデ近似

## 外部リンク
*
*
*
*