テイラー展開

{{#invoke:sidebar|collapsible

| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded = Series

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• 基本定理

• 関数の極限
• 連続性

• 平均値の定理
• ロルの定理

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

積分一覧
定義
不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分
Integration by
部分積分 Discs Cylindrical shells Substitution (trigonometric) 部分分数 順序 Reduction formulae

| list4name = series | list4title = テンプレート:Bigger | list4 =

幾何 (算術幾何) 調和 交代 冪 二項 テイラー
収束判定法
項の極限（項判定法） 比 冪根 積分 比較 極限比較 交代級数 Cauchy condensation ディリクレ アーベル

| list5name = vector | list5title = テンプレート:Bigger | list5 =

勾配 発散 回転 ラプラシアン 方向微分 公式
定理
発散 勾配 グリーン ケルビン・ストークス

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

Formalisms
行列 テンソル 外 幾何学的
定義
偏微分 多重積分 線積分 面積分 体積積分 ヤコビアン ヘッセ行列

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

• 分数階
• マリアヴァン
• 確率
• 変分

}}

ファイル:Sintay SVG.svg

テイラー多項式の次数が上がるにつれて、正しい関数に近づく。この図は sin x と、そのテイラー近似のうち、1, 3, 5, 7, 9, 11, 13 次の多項式を示している。

ファイル:Exp series.gif

指数関数 e^x (青) と、その 0 におけるテイラー級数の最初の n + 1 項の和 (赤)。

数学において、テイラー級数 (英: Taylor series) は関数のある一点での導関数たちの値から計算される項の無限和として関数を表したものである。そのような級数を得ることをテイラー展開という。

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

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

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

点 a を含む開区間 I ⊆ R 上で無限回微分可能な実数値関数 f ∈ C^∞(I) が与えられたとき、べき級数

[math] \sum_{n=0}^{\infin} \frac{f^{(n)}(a)}{n!} (x - a)^{n} [/math]

を関数 f の点 a まわりのテイラー級数という。ここで n! は n の階乗、f ⁽ⁿ⁾(a) は x = a における f の n 次微分係数である。また、便宜的に (x − a)⁰ は 1 であると定義する。テイラー級数が収束し、元の関数 f に一致するとき、f はテイラー展開可能であるという。テイラー展開がある大域的な領域の各点で可能な関数は、その領域において解析的 (analytic) である、またはその領域上の解析関数 (analytic function) であるという。

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

[math]R_n (x) = {f^{(n)}(c) \over n!} (x - a)^n[/math]

と書ける。または積分を用いて、次のように表せる；

[math]R_n (x) =\frac{1}{(n-1)!}\int_a^x (x-t)^{n-1} f^{(n)}(t)\, dt.[/math]

また、この剰余項を評価することで関数の近似値を精度保証つきで数値的に求めることもできる（テイラーの定理#例を参照）。

特に a = 0 における以下の様な展開

[math] \sum_{n=0}^{\infin} \frac{f^{(n)}(0)}{n!} x^{n} [/math]

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

テイラー展開図であらわして、一次、二次、三次までをブロックで説明すると分かりやすい。

マクローリン級数の一覧

いくつかの重要な関数のテイラー展開を以下に示す。これらはすべて複素解析的な関数であり、複素変数であると考えても成り立つ。

多項式

多項式をマクローリン展開したものは元の多項式自身である。

指数関数

[math]e^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!}\quad\mbox{ for all }x[/math]

自然対数

[math]\log(1+x) = \sum^{\infin}_{n=1} \frac{(-1)^{n+1}}n x^n\quad\mbox{ for all } |x| \lt 1[/math]

[math]\log(1-x) = - \sum^{\infty}_{n=1} \frac{x^n}n\quad\text{ for } |x| \lt 1[/math]

幾何級数

[math]\frac{1}{1-x} = \sum^{\infin}_{n=0} x^n\quad\mbox{for all } |x| \lt 1[/math]

[math]\frac{1}{(1-x)^2} = \sum^\infty_{n=1} nx^{n-1}\quad\text{ for }|x| \lt 1\![/math]

[math]\frac{x}{(1-x)^2} = \sum^\infty_{n=0} nx^n\quad\text{ for }|x| \lt 1\![/math]

[math]\frac{2}{(1-x)^3} = \sum^\infty_{n=2} (n-1)nx^{n-2}\quad\text{ for }|x| \lt 1\![/math]

[math]\frac{2x^2}{(1-x)^3} = \sum^\infty_{n=0} (n-1)nx^n\quad\text{ for }|x| \lt 1\![/math]

二項定理

[math](1+x)^\alpha = \sum^{\infin}_{n=0} \binom{\alpha}{n} x^n\quad\mbox{for all } |x| \lt 1 \mbox{ and any complex } \alpha[/math]

三角関数

[math]\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}\quad\mbox{ for all } x[/math]

[math]\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n}\quad\mbox{ for all } x[/math]

[math]\tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}\quad\mbox{ for } |x| \lt \frac{\pi}{2}[/math]

[math]\csc x = \sum^{\infin}_{n=0} \frac{ (-1)^n (2-2^{2n}) B_{2n}}{(2n)!} x^{2n-1}\quad\mbox{ for } 0 \lt |x| \lt \pi[/math]

[math]\sec x = \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}\quad\mbox{ for } |x| \lt \frac{\pi}{2}[/math]

[math]\cot x = \sum^{\infin}_{n=0} \frac{ (-1)^n 2^{2n} B_{2n}}{(2n)!} x^{2n-1}\quad\mbox{ for } 0 \lt |x| \lt \pi[/math]

[math]\sin^{-1} x = \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ for } |x| \lt 1[/math]

[math]\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| \lt 1[/math]

[math]\tan^{-1} x = \sum^{\infin}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1}\quad\mbox{ for } |x| \lt 1[/math]

双曲線関数

[math]\sinh x = \sum^{\infin}_{n=0} \frac{1}{(2n+1)!} x^{2n+1}\quad\mbox{ for all } x[/math]

[math]\cosh x = \sum^{\infin}_{n=0} \frac{1}{(2n)!} x^{2n}\quad\mbox{ for all } x[/math]

[math]\tanh x = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1}\quad\mbox{ for } |x| \lt \frac{\pi}{2}[/math]

[math]\sinh^{-1} x = \sum^{\infin}_{n=0} \frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\mbox{ for } |x| \lt 1[/math]

[math]\tanh^{-1} x = \sum^{\infin}_{n=0} \frac{1}{2n+1} x^{2n+1}\quad\mbox{ for } |x| \lt 1[/math]

ランベルトのW関数

[math]W_0(x) = \sum^{\infin}_{n=1} \frac{(-n)^{n-1}}{n!} x^n\quad\mbox{ for } |x| \lt \frac{1}{e}[/math]

tan(x), csc(x), cot(x), tanh(x) の展開に現われる B_k はベルヌーイ数である。 二項展開の [math]\textstyle \binom{\alpha}{n}[/math] は二項係数である。sec(x) の展開に現われる E_k はオイラー数である。

多変数関数のテイラー展開

テイラー展開は一変数関数のみならず、多変数関数にも適用できる。d 変数関数 f のテイラー展開は以下の式である。

[math]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).\![/math]

多重指数記法を用いれば、d 変数関数 f (x) のテイラー展開は次式で表現される。

[math]f(\mathbf{x}) = \sum_{\alpha\in\mathbb{N}^d_0}^{}\frac{(\mathbf{x}-\mathbf{a})^{\alpha}}{\alpha !}\,({\mathrm{\partial}^{\alpha}}\,f)(\mathbf{a})[/math]

アインシュタインの縮約記法を用いれば、多変数関数 f (x^μ) のテイラー展開は次式である。

[math]f(x^{\mu}) = \sum^{\infin}_{n=0} \frac{1}{n!} \left[ (x^{\mu} - \alpha^{\mu}) \partial_{\mu} \right]^n f(\alpha^{\mu}) [/math]

上式の ∂_μ は微分演算子であり、ベクトル解析の記法では ∇ に置き換えられる。一番後ろに f (α^μ) があるが、これは f (x^μ) に左の演算子を作用させてから f (x^μ) の引数として α^μ を与えることを表していることに注意する。

参考文献

• 『解析教程』下、蟹江幸博訳、丸善出版、2012年。ISBN 978-4-621-06190-9。

• 長沼伸一郎 『物理数学の直観的方法』 講談社〈ブルーバックス〉、2011年。ISBN 978-4062577380。

関連項目

• 正則関数
• 解析関数
• 整関数
• 収束半径
• ローラン展開
• 漸近展開

外部リンク

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• 微積分I (2012) (12) 漸近展開 (1) (Calculus I (2012), Lecture 12) - YouTube