数学において、開区間(a-r, a+r)で定義された無限回微分可能な実関数fのテイラー級数 (Taylor series)とは、べき級数
![{\displaystyle \sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}=f(a)+f^{\prime }(a)(x-a)+{\frac {f^{\prime \prime }(a)}{2!}}(x-a)^{2}+{\frac {f^{\prime \prime \prime }(a)}{3!}}(x-a)^{3}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/43fba3b9d3587b51b44878ba63aefd0b3eddbde6)
のことを言います。
ここで、n ! は、nの階乗のことであり、f (n)(a)は、点aにおけるfのn階微分を表します。ただし、0!=1 です。
この級数が区間(a-r, a+r)内のすべてのxに対して収束し、その和がf(x)に等しければ、関数f(x)は実解析的であると言います。この級数がf(x)に収束するかどうかを確かめるには、通常はテイラーの定理の剰余項を考えます。べき級数がその関数に収束するときかつその場合に限り関数は実解析的となり、べき級数の係数は必然的に上記のテイラー級数の公式で与えられたものになります。
特に、a=0の場合この級数をマクローリン級数と呼びます。
このようなべき級数表現の重要性は2つあります。1つ目に、べき級数の微分と積分は項ごとに計算することが可能であり、ゆえにとりわけ容易となることです。2つ目に、展開した点の近傍における関数の値を(一部を切り捨てた)級数で近似できることです。
ただし、無限回微分可能な関数f(x)に対して、テイラー級数は収束するにも関わらず、f(x)と等しくはならない場合があることに注意してください。
たとえば、指数関数 exp を用いた
(ただし x ≠ 0)
![{\displaystyle f(0)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d308c32c9894b88115262081194321ae7d9bbf3)
のように区分的に定義された関数fを考えると、x=0では全ての微分は0なので、関数値はほとんどの点で0でないにも関わらず、f(x)のテイラー級数は0となり、収束半径は無限大となります。
exp(x) とは、指数関数 ex のことです。指数関数の変数が多い場合など、たとえば先ほどの例を
と書くと読みづらいし書きづらいので、読みやすくするために
と書きます。
上の節の記述は抽象的で分かりにくい、というのであれば、具体的な関数を見てみましょう。ここでは、三角関数と指数関数を例に、なぜテイラー級数展開ができるのかを直観的に説明してみます。
(式1)
というふうに級数和で表せると仮定して、このとき C0やC1などに入る定数を考えよう。変数
は実数とする。級数の収束・発散の吟味は、いったん無視して、とりあえず(式1)右辺は収束すると仮定する。
まず、変数xに0を代入した場合を考えれば、
かつ
より、
![{\displaystyle C_{0}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8867aa67ce1d4ec8c078298eb8ac261b71334950)
つぎに、(式1)を微分すれば、
(式2)
となる。変数xを実数と仮定してるので、高校で習った通常の微分と同様に微分してよい。
さて、(式2)で変数xに0を代入した場合を考えれば、
であり、
なので、
よって
同様に(式2)を微分すれば、
(式3)
であり、変数xに0を代入した場合を考えれば、
なので、よって
![{\displaystyle C_{2}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eb6f21ac2690dc4ec9294db5d018379bf7c1c9d)
同様に(式3)を微分すれば、
(式4)
であり、変数xに0を代入した場合を考えれば、
なので、よって
![{\displaystyle C_{3}={\frac {-1}{3!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2240935fab2fb396a5af8c07b9d1ad71014926f)
同様の計算を続けていき、最終的に、
の級数展開は、
![{\displaystyle \sin {x}=x-{\frac {1}{3!}}x^{3}+{\frac {1}{5!}}x^{5}-{\frac {1}{7!}}x^{7}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1104fd9d9dceb2c3705440d32ce39bbb56af9bd3)
となる。
(式2-1)
と仮定する。級数の収束・発散の吟味は、とりあえず(式2-1)右辺は収束すると仮定する。x=0の場合を考え、
![{\displaystyle \cos {0}=1=C_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4ce425b1a851c45295cb62da2e7fa65ae24b7c6)
(式2-1)を微分して、
![{\displaystyle \cos ^{\prime }{x}=-\sin {x}=C_{1}+2C_{2}x+3C_{3}x^{2}+4C_{4}x^{3}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c20afafa90dfd0bd913145d07fd23443a2c5c428)
となり、これにx=0を代入して、
![{\displaystyle -sin{0}=0=C_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f2c6f29bfe5ad3d165fb5c02bf1cffbfc557051)
同様に計算していき、最終的に
![{\displaystyle \cos {x}=1-{\frac {1}{2!}}x^{2}+{\frac {1}{4!}}x^{4}-{\frac {1}{6!}}x^{6}+{\frac {1}{8!}}x^{8}-\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/abebde64add0b7dd3faf0b949ff7b5139c5a0aa6)
(式3-1)
について、まずx=0を代入して
![{\displaystyle e^{0}=1=C_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56fdac996e1474defd4fe0cf49f092f00e33e058)
(式3-1)を微分すれば、
(式3-2)
いっぽう、指数関数の微分は指数関数だから、
である。
つまり
である。これにx=0を代入すれば、
となる。
(式3-2)を微分すれば、
(式3-3)
これにx=0を代入すれば、
![{\displaystyle 1=2C_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddc0d65847b2a302fcece2972bddfec245592ca8)
なので、
![{\displaystyle C_{2}={\frac {1}{2}}={\frac {1}{2!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44e73c81d309f81f689e9a2486387cdbe95b93f0)
(式3-3)を微分すれば、
(式3-4)
これにx=0を代入すれば、
![{\displaystyle 1=3\cdot 2\cdot C_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/744b31c704c70367fc1ba76f7d799a2f3799f5ce)
なので、
![{\displaystyle C_{3}={\frac {1}{3\cdot 2}}={\frac {1}{3!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2055d51daebae4a5a5c9ff7acaac5e07eae88483)
最終的に、級数展開は
![{\displaystyle e^{x}=1+x+{\frac {1}{2!}}x^{2}+{\frac {1}{3!}}x^{3}+{\frac {1}{4!}}x^{4}+{\frac {1}{5!}}x^{5}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ce34332c7a0256801b9c50907d8cdd93a2684e4)
となる。
以上の基本的な関数のテイラー展開の応用として、次の公式
![{\displaystyle e^{ix}=\cos {x}+i\sin {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06b850217a635c5f87e0ce9d8a3c79a0f50b5724)
を証明してみよう。なお、iは虚数単位である。
先ほどの級数展開より、まず
![{\displaystyle e^{x}=1+x+{\frac {1}{2!}}x^{2}+{\frac {1}{3!}}x^{3}+{\frac {1}{4!}}x^{4}+{\frac {1}{5!}}x^{5}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ce34332c7a0256801b9c50907d8cdd93a2684e4)
![{\displaystyle \cos {x}=1-{\frac {1}{2!}}x^{2}+{\frac {1}{4!}}x^{4}-{\frac {1}{6!}}x^{6}+{\frac {1}{8!}}x^{8}-\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/abebde64add0b7dd3faf0b949ff7b5139c5a0aa6)
![{\displaystyle \sin {x}=x-{\frac {1}{3!}}x^{3}+{\frac {1}{5!}}x^{5}-{\frac {1}{7!}}x^{7}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1104fd9d9dceb2c3705440d32ce39bbb56af9bd3)
である。
したがって、まず指数関数の変数をixにすると、
![{\displaystyle e^{ix}=1+ix+{\frac {1}{2!}}(ix)^{2}+{\frac {1}{3!}}(ix)^{3}+{\frac {1}{4!}}(ix)^{4}+{\frac {1}{5!}}(ix)^{5}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/acd8c754af9c406483c6d499c58f76651ba2de5b)
![{\displaystyle e^{ix}=1+ix-{\frac {1}{2!}}x^{2}-i{\frac {1}{3!}}x^{3}+{\frac {1}{4!}}x^{4}+i{\frac {1}{5!}}x^{5}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffe02a7f5ce83248f49b43211f3fb95e9ea4eae2)
である。
また、
![{\displaystyle \cos {x}=1-{\frac {1}{2!}}x^{2}+{\frac {1}{4!}}x^{4}-{\frac {1}{6!}}x^{6}+{\frac {1}{8!}}x^{8}-\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/abebde64add0b7dd3faf0b949ff7b5139c5a0aa6)
![{\displaystyle i\sin {x}=ix-i{\frac {1}{3!}}x^{3}+i{\frac {1}{5!}}x^{5}-i{\frac {1}{7!}}x^{7}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3bd7c6cd55827f3e1f700e23908960dfd8fdc31)
であるから、
![{\displaystyle \cos {x}+i\sin {x}=1+ix-{\frac {1}{2!}}x^{2}-i{\frac {1}{3!}}x^{3}+{\frac {1}{4!}}x^{4}+i{\frac {1}{5!}}x^{5}-{\frac {1}{6!}}x^{-}i{\frac {1}{7!}}x^{7}+\cdot \cdot \cdot }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fac341c3b22c84c6052132908c059490924db8f9)
である。
級数の各項の係数を比べれば、同じである。
よって、
![{\displaystyle e^{ix}=\cos {x}+i\sin {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06b850217a635c5f87e0ce9d8a3c79a0f50b5724)
が成り立つ。(証明終)
テイラー級数展開のうち、重要なものを以下に挙げます。
指数関数と自然対数
![{\displaystyle e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}\quad {\mbox{ for all }}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c242269fafb817808471a2739957c119c21c363)
を
と書く。「ln」とは log natural のことである。natural とは自然対数(natural logarithm)のこと。
![{\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}x^{n}\quad {\mbox{ for }}\left|x\right|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33787b2e9333159597f254b51e917545b6c25e84)
幾何級数
![{\displaystyle {\frac {1}{1-x}}=\sum _{n=0}^{\infty }x^{n}\quad {\mbox{for }}\left|x\right|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1b11696393b55119fbd919842a4c596a4ee7d31)
二項定理
![{\displaystyle (1+x)^{\alpha }=\sum _{n=0}^{\infty }C(\alpha ,n)x^{n}\quad {\mbox{ for all }}\left|x\right|<1\quad {\mbox{ and all complex }}\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5634a31987e2b3faa3a87a4af245a1edfcb2b2b)
二項展開に現れるC(α,n)は二項係数です。
三角関数
![{\displaystyle \sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}\quad {\mbox{ for all }}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85ab4b6d72c38ae78bcf9d65741747604121f172)
![{\displaystyle \cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}\quad {\mbox{ for all }}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93c9cc9ceaea8280b311f9f92fd271ddeebee60e)
![{\displaystyle \tan x=\sum _{n=1}^{\infty }{\frac {B_{2n}(-4)^{n}(1-4^{n})}{(2n)!}}x^{2n-1}\quad {\mbox{ for }}\left|x\right|<{\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7ff896b36319b429ccf5c2c463b45ffe6a860ae)
tan(x)およびtanh(x)の展開に現れる数Bkはベルヌーイ数です。
![{\displaystyle \sec x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{2n}}{(2n)!}}x^{2n}\quad {\mbox{ for }}\left|x\right|<{\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/504204760531234c43cdf4f17039f38387addfc9)
sec(x)の展開に現れるEkは、オイラー数です。
![{\displaystyle \arcsin x=\sum _{n=0}^{\infty }{\frac {(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}\quad {\mbox{ for }}\left|x\right|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1e2f742a3b2161bc07f20455e0d1b3e235a4676)
![{\displaystyle \arctan x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}x^{2n+1}\quad {\mbox{ for }}\left|x\right|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c4a50fbad8f45c3229685d5270674a94e45bcc9)
双曲線関数
![{\displaystyle \sinh x=\sum _{n=0}^{\infty }{\frac {1}{(2n+1)!}}x^{2n+1}\quad {\mbox{ for all }}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e15ef6da4c5f500818e3be3fc7fca089875c84e3)
![{\displaystyle \cosh x=\sum _{n=0}^{\infty }{\frac {1}{(2n)!}}x^{2n}\quad {\mbox{ for all }}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da72db0d45b5ad813f2f7ff67d0fe93068fd58c9)
![{\displaystyle \tanh x=\sum _{n=1}^{\infty }{\frac {B_{2n}4^{n}(4^{n}-1)}{(2n)!}}x^{2n-1}\quad {\mbox{ for }}\left|x\right|<{\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27c0dd346872cdc1ab8b0be5d2c4fee09a8735e2)
![{\displaystyle \sinh ^{-1}x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}\quad {\mbox{ for }}\left|x\right|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6b0286bd42b1405823d53b7d8eaf4a02b91ecb2)
![{\displaystyle \tanh ^{-1}x=\sum _{n=0}^{\infty }{\frac {1}{2n+1}}x^{2n+1}\quad {\mbox{ for }}\left|x\right|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfa27ed0a185862c029ee809e412618d38ec7a34)
テイラー級数は、二変数以上の関数に対しても、
![{\displaystyle \sum _{n_{1}=0}^{\infty }\cdots \sum _{n_{d}=0}^{\infty }{\frac {\partial ^{n_{1}}}{\partial x^{n_{1}}}}\cdots {\frac {\partial ^{n_{d}}}{\partial x^{n_{d}}}}{\frac {f(a_{1},\cdots ,a_{d})}{n_{1}!\cdots n_{d}!}}(x_{1}-a_{1})^{n_{1}}\cdots (x_{d}-a_{d})^{n_{d}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfdff674b143a8378298d4f3d5dc5991b6ed96a6)
のように一般化されます。
テイラー級数は、数学家ブルック・テイラーにちなんで名付けられました。この級数公式は、1715年に出版されました。
多くの関数のテイラー級数を計算するには、いくつかの方法があります。
テイラー級数をそのまま用いて係数を一般化することもあるでしょう。また、(上記のような)標準的なテイラー級数を求めるために、テイラー級数がべき級数であるという利点を活かして、加減乗除のような操作をすることもあるでしょう。更には、部分積分を繰り返し適用してテイラー級数を導出する場合もあります。
関数
![{\displaystyle f(x)=\ln {(1+\cos {x})}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e63fb931e139dcb510dab7eb3a8c22e446e307c)
に対して、0におけるテイラー級数を求めてみましょう。
自然対数が
![{\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}x^{n}=x-{x^{2} \over 2}+{x^{3} \over 3}-{x^{4} \over 4}+\cdots \quad {\mbox{ for }}\left|x\right|<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad17b4ce92dd3c1f7295bbb6fdc3473043934854)
となること、およびコサインが
![{\displaystyle \cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}=1-{x^{2} \over 2!}+{x^{4} \over 4!}-\cdots \quad {\mbox{ for all }}x\in \mathbb {C} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80c911a449b2af4b1ed1a7e202cfaf4943549d26)
となることは分かっています。
![{\displaystyle \ln {(1+\cos {x})}=\ln 2+\ln \left\{1+{\frac {1}{2}}(\cos x-1)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1f5b666d38850e53d1c9914a1e4d74638314af9)
と変形してから、第2式の級数を第1式に代入することにより、
![{\displaystyle \ln 2+\left(-{x^{2} \over 2\cdot 2!}+{x^{4} \over 2\cdot 4!}-\cdots \right)-{1 \over 2}\left(-{x^{2} \over 2\cdot 2!}+{x^{4} \over 2\cdot 4!}-\cdots \right)^{2}+{1 \over 3}\left(-{x^{2} \over 2\cdot 2!}+{x^{4} \over 2\cdot 4!}-\cdots \right)^{3}-\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5d2c12ff18233d979029e71f0cc777ace59920f)
多項係数を用いて展開することにより、求めるテイラー級数が得られます。コサインが偶関数であるため
も偶関数(
)となり、ゆえに奇数乗(
など)の係数は0となって計算する必要がないということに注意してください。
この級数の前半の数項を書き表すと
![{\displaystyle \ln(1+\cos x)=\ln 2-{x^{2} \over 4}-{x^{4} \over 96}-{x^{6} \over 1440}-{17x^{8} \over 322560}-{31x^{10} \over 7257600}-\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf296ee3ba9c723f39d1938d0aa13a39df1c6ad1)
となります。一般的な係数はFaà di Bruno'sの公式で示されますが、これは一部はっきりしないところがあるのでここでは省略します。
関数
![{\displaystyle g(x)={\frac {e^{x}}{\cos x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f438ccdbe6d9a178c9d4a61b0201bda516d15c4c)
の0におけるテイラー級数を求めてみましょう。ここで、指数関数が
![{\displaystyle e^{x}=\sum _{n=0}^{\infty }{x^{n} \over n!}=1+x+{x^{2} \over 2!}+{x^{3} \over 3!}+{x^{4} \over 4!}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7b3e809a0a747d7caca7a8391cef0c4c66d23fb)
となること、および最初の例のように
![{\displaystyle \cos x=1-{x^{2} \over 2!}+{x^{4} \over 4!}-\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/44dc6a79d1c68c28a9c03b7d14f4ed561c538044)
となることは分かっています。
このべき級数が
![{\displaystyle {e^{x} \over \cos x}=c_{0}+c_{1}x+c_{2}x^{2}+c_{3}x^{3}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd79a7714979ec1535ed651e6b38bd7d4da6cb1c)
となるとすると、分母を払い、コサインの級数を代入することにより
![{\displaystyle {\begin{aligned}e^{x}&=(c_{0}+c_{1}x+c_{2}x^{2}+c_{3}x^{3}+\cdots )\cos x\\&=\left(c_{0}+c_{1}x+c_{2}x^{2}+c_{3}x^{3}+c_{4}x^{4}+\cdots \right)\left(1-{x^{2} \over 2!}+{x^{4} \over 4!}-\cdots \right)\\&=c_{0}-{c_{0} \over 2}x^{2}+{c_{0} \over 4!}x^{4}+c_{1}x-{c_{1} \over 2}x^{3}+{c_{1} \over 4!}x^{5}+c_{2}x^{2}-{c_{2} \over 2}x^{4}+{c_{2} \over 4!}x^{6}+c_{3}x^{3}-{c_{3} \over 2}x^{5}+{c_{3} \over 4!}x^{7}+\cdots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f87c740d68173e6fdb8ea694bc1fa4fc5c2b9532)
となります。4次までの項をまとめると
![{\displaystyle =c_{0}+c_{1}x+\left(c_{2}-{c_{0} \over 2}\right)x^{2}+\left(c_{3}-{c_{1} \over 2}\right)x^{3}+\left(c_{4}+{c_{0} \over 4!}-{c_{2} \over 2}\right)x^{4}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf3982f6edcf35785eb4c7583c24af507e09c058)
となるので、上記の指数関数の級数と係数を比較することにより、求めるテイラー級数が得られます。
![{\displaystyle {\frac {e^{x}}{\cos x}}=1+x+x^{2}+{2x^{3} \over 3}+{x^{4} \over 2}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ead1bf7a2b35fa6bd913eeb10b1f343f2a74bdb)
原理的にはテイラー展開を用いて、三角関数や指数関数の数値計算が簡単に出来る。だが、実際の電卓やパソコンなどの数値計算では、テイラー展開は用いていない。電卓などでは処理速度の高速化のため、あらかじめ計算結果を数表としてコンピューター内部に記憶しており、ユーザーが関数の数値を必要とするときに数表を読み出す、必要に応じて数表をもとに補完計算を行い近似値を求める、などという仕組みになっている。