 mersenneforum.org > Math functions which don't have an exact Taylor Series.
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read 2017-07-19, 21:49 #1 wildrabbitt   Jul 2014 2×32×52 Posts functions which don't have an exact Taylor Series. As I understand it (from my Open University course material), generally if an infinite number of terms are taken for a Taylor Approximation Polyonomial of a function the resulting Taylor Series is not a perfectly accurate version of the function. Can anyone tell of a few functions from this majority? Is the class of functions for which there is a perfectly accurate Taylor Series simply defined?   2017-07-19, 22:30   #2
ewmayer
2ω=0

Sep 2002
República de California

11,743 Posts Quote:
 Originally Posted by wildrabbitt Is the class of functions for which there is a perfectly accurate Taylor Series simply defined?
Without dusting off my references, i.e. seat-of-pants:

Um ... polynomials?

OK, so more generally, from Wikipedia: "A function that is equal to its Taylor series in an open interval (or a disc in the complex plane) is known as an analytic function in that interval ... If f(x) is equal to its Taylor series for all x in the complex plane, it is called entire. The polynomials, exponential function e^x, and the trigonometric functions sine and cosine, are examples of entire functions. Examples of functions that are not entire include the square root, the logarithm, the trigonometric function tangent, and its inverse, arctan."

Polynomials are a special case in being exactly approximable via a finite-term Taylor series expansion.

Last fiddled with by ewmayer on 2017-07-19 at 22:37   2017-07-19, 23:05 #3 wildrabbitt   Jul 2014 2·32·52 Posts So if a function is entire, it's Taylor Series is accurate for real numbers then?   2017-07-20, 00:40   #4
ewmayer
2ω=0

Sep 2002
República de California

11,743 Posts Quote:
 Originally Posted by wildrabbitt So if a function is entire, it's Taylor Series is accurate for real numbers then?
Not just 'accurate', exact - though in a practical sense we can never compute infinitely many terms, so in practice speed of convergence matters a lot. Real numbers are a subset of the complex ones, so yes. Note that the convergence of a Taylor series to a "strictly real" function in fact depends on the location of any poles (infinities) the function has in the complex plane - i.e. you may think you are only interested in the real line and not the whole complex plane, but the whole complex plane is nonetheless interested in you, to paraphrase the famous bromide about politics. :)

A good example of this is f(x) = 1/(1+x^2) ... the denominator is nonvanishing along the entirety of the real line, but the convergence domain of the TS about any point x0 (or more generally, complex point z0) is defined by the location of the nearest of the complex poles (considering the same function over the complex numbers, i.e. f(z) = 1/(1+z^2)) at z = +- i. A good exercise for you: compute the TS about the origin and show that it will only converge for |x| < 1. (More generally, the complex TS about the origin only converges within the open disc |z| < 1.)

Last fiddled with by ewmayer on 2017-07-20 at 00:48   2017-07-20, 06:57   #5
Nick

Dec 2012
The Netherlands

5·353 Posts Quote:
 Originally Posted by wildrabbitt As I understand it (from my Open University course material), generally if an infinite number of terms are taken for a Taylor Approximation Polyonomial of a function the resulting Taylor Series is not a perfectly accurate version of the function. Can anyone tell of a few functions from this majority?
My favourite example is Cauchy's terrible flat function $$f:\mathbb{R}\rightarrow\mathbb{R}$$ given by
$f(x)=\left\{ \begin{array}{ll} e^{-\frac{1}{x^2}} & \mbox{if }x\neq 0 \\ 0 & \mbox{otherwise} \end{array} \right.$
This function is so flat at 0 that all its derivatives are 0!
Quote:
 Originally Posted by wildrabbitt Is the class of functions for which there is a perfectly accurate Taylor Series simply defined?
As Ernst suggests, the deep answer to this question comes from complex analysis instead of real analysis.
For a function f defined on an open ball with centre a in the complex plane, f is equal to its Taylor series at a if and only if f is differentiable (as a complex function).

This is one example of how analysis with complex numbers is more elegant than with real numbers!   2017-07-20, 19:37 #6 xilman Bamboozled!   "𒉺𒌌𒇷𒆷𒀭" May 2003 Down not across 101100111011002 Posts Another cute function is f(x)=x if x is rational, 0 otherwise. Substitute "transcendental", "algebraic", "computable" as desired.   2017-07-21, 13:03   #7
Dr Sardonicus

Feb 2017
Nowhere

25·11·17 Posts Quote:
 Originally Posted by wildrabbitt As I understand it (from my Open University course material), generally if an infinite number of terms are taken for a Taylor Approximation Polyonomial of a function the resulting Taylor Series is not a perfectly accurate version of the function. Can anyone tell of a few functions from this majority? Is the class of functions for which there is a perfectly accurate Taylor Series simply defined?
Another "pathological" function defined on the real numbers, is

f(x) = 0, if x is irrational, and 1/b if x is rational, where b is the least positive integer for which x = a/b with a, b integers.

This function has the amusing property of being continuous at irrational x, but discontinuous at rational x.

As far as power series are concerned, I join the chorus that analytic functions (functions of one complex variable) are the way to go.

The complex function f(z) = exp(1/z^2) for z \ne 0, of course has a Laurent development around z = 0 (just substitute 1/z^2 for z in the usual series for exp(z)).

But the Laurent series does not terminate, so instead of a "pole," f(z) has what is called an "essential singularity" at z = 0. The behavior of a function which is analytic in the neighborhood of a pole is not terribly complicated; it just "blows up" like 1/z^k near z = 0, where k is a positive integer. But in any neighborhood of an essential singularity, an analytic function assumes all values (with at most one exception) infinitely many times (Great Picard Theorem).

Another fun type of representation is Fourier series and integrals. They can be used for functions (especially periodic functions) which are piecewise continuous, with at most "jump discontinuities." But the partial sums of the series, or the incomplete integrals, exhibit weird oscillations in the vicinity of the jumps, called the "Gibbs phenomenon." These oscillations do not go away as you add more terms, or increase the upper limit of the incomplete Fourier integral. Rather, they get squashed closer and closer to the jumps.

Last fiddled with by Dr Sardonicus on 2017-07-21 at 13:06  Thread Tools Show Printable Version Email this Page Similar Threads Thread Thread Starter Forum Replies Last Post SteveC Analysis & Analytic Number Theory 10 2016-10-14 21:48 Raman Math 5 2011-04-13 23:29 Master Alex Miscellaneous Math 38 2007-03-05 18:30 Unregistered Hardware 37 2006-12-13 16:15 Dougy Miscellaneous Math 4 2006-02-22 20:59

All times are UTC. The time now is 05:19.

Fri Sep 30 05:19:03 UTC 2022 up 43 days, 2:47, 0 users, load averages: 0.65, 0.78, 0.82

Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔