Changes

1,282 bytes added ,  11:32, 8 September 2023
m
KS update 1.3
Line 5: Line 5:     
In [[mathematics]], a Taylor series shows a [[Function (mathematics)|function]] as the sum of an [[wikipedia:Series_(mathematics)|infinite series]]. The sum's terms are taken from the function's [[Derivative (mathematics)|derivative]]s. Taylor series come from [[Taylor's theorem]].
 
In [[mathematics]], a Taylor series shows a [[Function (mathematics)|function]] as the sum of an [[wikipedia:Series_(mathematics)|infinite series]]. The sum's terms are taken from the function's [[Derivative (mathematics)|derivative]]s. Taylor series come from [[Taylor's theorem]].
   
== History ==
 
== History ==
 
The [[Ancient Greece|Ancient Greek]] [[philosopher]] [[Zeno of Elea]] first came up with the idea of this series. The [[paradox]] called "[https://en.m.wikipedia.org/wiki/Zeno's_paradoxes Zeno's paradox]" is the result. He believed that it would be impossible to add an [[infinity|infinite]] number of values and get a single [[finite]] value as a result.
 
The [[Ancient Greece|Ancient Greek]] [[philosopher]] [[Zeno of Elea]] first came up with the idea of this series. The [[paradox]] called "[https://en.m.wikipedia.org/wiki/Zeno's_paradoxes Zeno's paradox]" is the result. He believed that it would be impossible to add an [[infinity|infinite]] number of values and get a single [[finite]] value as a result.
Line 14: Line 13:     
[[James Gregory (mathematician)|James Gregory]], a [[Scotland|Scottish]] mathematician, worked in this area in the 1600s. Gregory studied the Taylor series and published several Maclaurin series. In 1715, [[Brook Taylor]] discovered a general method for applying the series to all [[function (mathematics)|functions]]. (All of the previous research showed how to apply the method to only specific functions.)<ref>{{cite book|last=Taylor|first=Brook|title=Methodus Incrementorum Directa et Inversa|language=Latin|location=London|year=1715|chapter=Proposition VII, Theorem 3, Corollary 2|pages=21–23}} ''cited in'' {{cite book|last=Struik|first=D.J.|title=A Source Book in Mathematics 1200-1800|url=https://archive.org/details/sourcebookinmath0000stru|publisher=Harvard University Press|location=Cambridge, Massachusetts|year=1969|pages=[https://archive.org/details/sourcebookinmath0000stru/page/329 329]–332}}</ref> [[:en:Colin_Maclaurin|Colin Maclaurin]] published a special case of the Taylor series in the 1700s. This series, which is based around [[zero]], is called the ''Maclaurin series''.
 
[[James Gregory (mathematician)|James Gregory]], a [[Scotland|Scottish]] mathematician, worked in this area in the 1600s. Gregory studied the Taylor series and published several Maclaurin series. In 1715, [[Brook Taylor]] discovered a general method for applying the series to all [[function (mathematics)|functions]]. (All of the previous research showed how to apply the method to only specific functions.)<ref>{{cite book|last=Taylor|first=Brook|title=Methodus Incrementorum Directa et Inversa|language=Latin|location=London|year=1715|chapter=Proposition VII, Theorem 3, Corollary 2|pages=21–23}} ''cited in'' {{cite book|last=Struik|first=D.J.|title=A Source Book in Mathematics 1200-1800|url=https://archive.org/details/sourcebookinmath0000stru|publisher=Harvard University Press|location=Cambridge, Massachusetts|year=1969|pages=[https://archive.org/details/sourcebookinmath0000stru/page/329 329]–332}}</ref> [[:en:Colin_Maclaurin|Colin Maclaurin]] published a special case of the Taylor series in the 1700s. This series, which is based around [[zero]], is called the ''Maclaurin series''.
   
== Definition ==
 
== Definition ==
 
A Taylor series can be used to describe any function ''ƒ''(''x'') that is a [[smooth function]] (or, in mathematical terms, "infinitely differentiable.") The function ''ƒ'' can be either [[real number|real]] or [[complex number|complex]]. The Taylor series is then used to describe what the function looks like in the [[neighborhood (mathematics)|neighborhood]] of some number ''a''.
 
A Taylor series can be used to describe any function ''ƒ''(''x'') that is a [[smooth function]] (or, in mathematical terms, "infinitely differentiable.") The function ''ƒ'' can be either [[real number|real]] or [[complex number|complex]]. The Taylor series is then used to describe what the function looks like in the [[neighborhood (mathematics)|neighborhood]] of some number ''a''.
Line 25: Line 23:     
Here ''n''! is the [[factorial]] of ''n''. ''ƒ''<sup>&nbsp;(''n'')</sup>(''a'') is the ''n''th [[derivative]] of ''ƒ'' at the point ''a''. <math>a</math> is a number in the function's [[domain]]. If the Taylor Series of a function is equal to that function, the function is called an "[[analytic]] function."
 
Here ''n''! is the [[factorial]] of ''n''. ''ƒ''<sup>&nbsp;(''n'')</sup>(''a'') is the ''n''th [[derivative]] of ''ƒ'' at the point ''a''. <math>a</math> is a number in the function's [[domain]]. If the Taylor Series of a function is equal to that function, the function is called an "[[analytic]] function."
 
+
== Maclaurin series ==
=== Maclaurin series ===
   
When <math>a=0</math>, the function is called a '''Maclaurin series'''. The Maclaurin series written as a [[power series]] looks like:
 
When <math>a=0</math>, the function is called a '''Maclaurin series'''. The Maclaurin series written as a [[power series]] looks like:
 
:<math>f(0)+\frac {f'(0)}{1!} x+ \frac{f''(0)}{2!} x^2+\frac{f^{(3)}(0)}{3!}x^3+ \cdots. </math>
 
:<math>f(0)+\frac {f'(0)}{1!} x+ \frac{f''(0)}{2!} x^2+\frac{f^{(3)}(0)}{3!}x^3+ \cdots. </math>
Line 32: Line 29:  
When written in [[sigma notation]], the Maclaurin series is:
 
When written in [[sigma notation]], the Maclaurin series is:
 
:<math> \sum_{n=0} ^ {\infin } \frac {f^{(n)}(0)}{n!} \, x^{n}</math>
 
:<math> \sum_{n=0} ^ {\infin } \frac {f^{(n)}(0)}{n!} \, x^{n}</math>
   
== Common Taylor series ==
 
== Common Taylor series ==
   
Some important Taylor series and Maclaurin series are the following.
 
Some important Taylor series and Maclaurin series are the following.
   Line 55: Line 50:  
Where <math>B_{n}</math> is the nth [[Bernoulli number]], and <math>\ln</math> is the [[natural logarithm]].
 
Where <math>B_{n}</math> is the nth [[Bernoulli number]], and <math>\ln</math> is the [[natural logarithm]].
    +
== Taylor Series Media ==
 +
<gallery widths='160px' heights='100%' mode='traditional' caption=''>
 +
File:sintay_SVG.svg|As the degree of the Taylor polynomial rises, it approaches the correct function. This image shows {{math|sin ''x''}} and its Taylor approximations by polynomials of degree '''1''', '''3''', '''5''', '''7''', '''9''', '''11''', and '''13''' at {{math|1=''x'' = 0}}.
 +
 +
File:Exp neg inverse square.svg|The function {{math|1=''e''(−1/''x''2)}} is not analytic at {{math|1=''x'' {{=}} 0}}: the Taylor series is identically 0, although the function is not.
 +
 +
File:Taylorsine.svg|The sine function (blue) is closely approximated by its Taylor polynomial of degree 7 (pink) for a full period centered at the origin.
 +
 +
File:LogTay.svg|The Taylor polynomials for {{math|ln(1 + ''x'')}} only provide accurate approximations in the range {{math|−1 < ''x'' ≤ 1}}. For {{math|''x'' > 1}}, Taylor polynomials of higher degree provide worse approximations.
 +
 +
File:Logarithm GIF.gif|The Taylor approximations for {{math|ln(1 + ''x'')}} (black). For {{math|''x'' > 1}}, the approximations diverge.
 +
 +
File:Second Order Taylor.svg|Second-order Taylor series approximation (in orange) of a function {{math|''f''&thinsp;(''x'',''y'') {{=}} ''ex'' ln(1 + ''y'')}} around the origin.
 +
</gallery>
 
== References ==
 
== References ==
 
{{reflist}}
 
{{reflist}}