テイラー展開は、関数を多項式の無限和として表す非常に重要な手法です。しかし、すべての微分可能な関数がテイラー展開できるわけではありません。そのため、「どのような条件を満たせばテイラー展開可能なのか」という疑問が生まれます。
この記事では、テイラー展開可能であるための条件について、必要条件と十分条件の違い、解析関数との関係、そして一般的な判断方法をわかりやすく解説します。
テイラー展開可能とは何を意味するのか
関数f(x)が点x=aのまわりでテイラー展開できるとは、次の形の無限級数で表せることを意味します。
f(x)=f(a)+f'(a)(x-a)+f”(a)(x-a)^2/2!+f”'(a)(x-a)^3/3!+…
つまり、関数の値を、その点での各階微分の情報から作られる多項式の無限和として表現できるということです。
ただし、「何回でも微分できる」という条件だけでは不十分です。無限回微分可能な関数であっても、テイラー級数が元の関数と一致しない場合があります。
テイラー展開可能であるための必要条件
テイラー展開可能であるためには、少なくともその関数が展開したい点の近くで何回でも微分可能である必要があります。
例えば、1回しか微分できない関数や、2階微分が存在しない関数では、そもそもテイラー級数を作ることができません。
したがって、無限回微分可能であることはテイラー展開可能性の必要条件の一つです。しかし、これは十分条件ではありません。
無限回微分可能でもテイラー展開できない関数がある
代表的な例として、次の関数があります。
f(x)=e^(-1/x²)（x≠0）、f(0)=0
この関数はx=0ですべての階数の微分が可能で、しかも0でのすべての導関数が0になります。そのためテイラー級数を作ると、
0+0x+0x²+0x³+…
となり、常に0になります。
しかし実際の関数f(x)はx≠0では正の値を持つため、テイラー級数と元の関数が一致しません。このような関数を「非解析的な関数」と呼びます。
テイラー展開可能であるための十分条件「解析関数」
テイラー展開可能であることを保証する代表的な条件は、その関数が解析関数であることです。
解析関数とは、ある点の周囲でテイラー級数が実際の関数の値と一致する関数のことです。つまり、解析関数であれば必ずテイラー展開できます。
例えば、以下のような初等関数は解析関数です。
- e^x
- sin x
- cos x
- log(1+x)（適切な範囲内）
これらの関数では、微分を繰り返して得られる係数によって、元の関数を無限級数として表すことができます。
テイラー展開可能性の必要十分条件は存在するのか
「関数がテイラー展開可能であるための必要十分条件」という意味では、最も直接的な条件は「その関数が解析関数であること」です。
つまり、ある点aの近傍で、
f(x)=Σ(n=0∞) f⁽ⁿ⁾(a)(x-a)ⁿ/n!
が成立することが必要十分条件になります。
ただし、これはテイラー展開できることを別の言葉で表現したものでもあります。そのため、実際の数学では「解析関数であるかどうか」を調べることで判断します。
実際にテイラー展開できるか判断するときのポイント
具体的な関数について考える場合、まず無限回微分可能かどうかを確認します。しかし、それだけでは不十分なので、テイラー剰余項が0に近づくかどうかを調べます。
テイラーの定理では、n次まで展開した場合の誤差を剰余項として表します。この剰余項がnを無限大にしたとき0へ収束すれば、テイラー級数は元の関数に一致します。
例えば、sin xの場合は微分を繰り返すと周期的に同じ形が現れ、剰余項も適切に小さくなるため、テイラー展開が成立します。
まとめ：テイラー展開可能の本質は解析関数であること
テイラー展開可能であるためには、無限回微分可能であることが必要ですが、それだけでは十分ではありません。
必要十分条件としては、「その関数が解析関数であり、テイラー級数が元の関数と一致すること」が挙げられます。
数学的には、無限回微分可能な関数と解析関数は別物です。この違いを理解することが、テイラー展開を正しく扱ううえで重要なポイントになります。
コメント