Mathematical Analysis - Taylor Series
Mathematical Analysis - Taylor Series
Mathematical Analysis - Taylor Series
∑
Definition 4.3. Let n≥0 an (x − x0 )n be a Taylor series with the coefficients
an , n ∈ N and centered at x0 . With the convention 1/∞ = 0 and 1/0 = ∞, the
number r ≥ 0 defined by
1
r := √ (4.2)
lim sup n |an |
n→∞
is called the radius of convergence of the Taylor series. Relation (4.2) is
called the Cauchy-Hadamard formula.
∑
Theorem 4.1. (Abel-Cauchy-Hadamard Theorem). Let n≥0 an (x − x0 )n be
a Taylor series with the coefficients an , n ∈ N, and center x0 .
a) If r = 0, then the only point of convergence is x0 ;
b) If r > 0, then the series is absolutely convergent on the interval (x0 − r,
x0 + r) and it is divergent on (−∞, x0 − r) ∪ (x0 + r, ∞) ;
51
52 4. TAYLOR SERIES. TAYLOR EXPANSIONS
Remark 4.1. Due to a property of the sequences, if there exists limn→∞ an+1an ,
√
then it also exists
lim
n→∞
n
|an | and the two limits are equal. Hence, if there
an+1
exists limn→∞ an , the radius of convergence can be determined as
an
r = lim ,
n→∞ an+1
Example 4.1. Find the set of convergence and the sum of the Taylor series
∑ n+1 xn
n≥1 (−1) n , x ∈ R.
By applying Cauchy-Hadamard formula (4.2), we get that the radius of
convergence is
1
r= √ = 1.
xn
lim sup n (−1)n+1 n
n→∞
Since S (0) = 0, we obtain that S (x) = ln (1 + x) , ∀x ∈ (−1, 1). But the sum
of the series is also continuous in x = 1, due to Theorem 4.1. Hence,
S (1) = lim S (x) = lim ln (1 + x) = ln 2.
x→1 x→1
Let us notice that in Theorem 4.1 we can deduce properties of the sum of
the series, if we know the coefficients an , n ∈ N, and the center x0 .
The main problem that rises is the converse. How can we find a Taylor se-
ries whose sum is a given function ? Such a function will be called expandable
in Taylor series.
f (x) =
0, if x = 0,
then f is differentiable of any order, with
f (0) = f ′ (0) = ...f (n) (0) = ... = 0, ∀n ∈ N.
Hence, if f would be expandable in Taylor series about 0, then we would have
∞
∑ ∞
∑ f (n) (x0 ) n
f (x) = an xn = x = 0, ∀x ∈ (−ε, ε) .
n!
n=0 n=0
54 4. TAYLOR SERIES. TAYLOR EXPANSIONS
Remark 4.4. Let us notice that the coefficients an , n ∈ N in (4.3) are exactly
the ones from the Taylor’s formula. Therefore, the Taylor polynomial Tn (x)
equals the partial sum of rank n of the Taylor series associated to f about the
point x0 .
And our first issue is geting now an answer.
Then
∞
∑ f (n) (x0 )
f (x) = (x − x0 )n ,
n!
n=0
Example 4.2. We prove that the Taylor expansion about 0 (or the Maclaurin
series) of the the function f (x) = ln (1 + x) is
x2 x3
ln (1 + x) = x − + + ..., ∀x ∈ (−1, 1]. (4.4)
2 3
Estimating its derivatives, we get, by mathematical induction,
(n − 1)! (−1)n+1
f (n) (x) = , ∀n ≥ 1.
(1 + x)n
Hence, ∀δ ∈ (0, 1) ,
(n) n!
sup f (x) ≤ , ∀n ∈ N,
x∈(−δ,δ) (1 − δ)n
and so, from Theorem 4.5 we deduce that (4.4) is fulfilled ∀x ∈ (−1, 1) . For
∑ n
x = 1, Leibnitz’s test ensures us that the Maclaurin series, n≥1 (−1)n+1 xn is
also convergent. Since f and the sum S of the series are continuous on (−1, 1],
and f (x) = S (x) , ∀x ∈ (−1, 1), by passing to limit as x → 1, we get that (4.4)
is also fulfilled for x = 1.
4.3. Exercises
(1) Find the sets of convergence of the following Taylor series:
∑ ∑ x2n−1
a) n≥1 n!xn , x ∈ R; b) n≥1 (−1)n+1 (2n−1)(2n−1)! , x ∈ R;
∑ xn ∑ ( n+1 )n2 n
c) n≥1 n(n+1) , x ∈ R; d) n≥1 n x , x ∈ R;
∑ n ( )
e) n≥0 (−1) n √ 2 tgn x, x ∈ − 2 , 2 .
1 π π
32 n +1
1
r= √ = 1.
lim sup n |an |
n→∞
∞
∑ ∞
∑
′
( )n 1
S (x) = x4n
= x4 = , ∀x ∈ (−1, 1) .
1 − x4
n=0 n=0
1 1 1+x
S (x) = arctg x + ln , ∀x ∈ (−1, 1);
2 4 1−x
( √ )
e) f (x) = ln x + 1 + x2 , x ∈ R;
f) f (x) = 2x
(x−1)2
, x ∈ R \ {1} ; g) f (x) = 2x+1
x2 −3x+2
, x ∈ R \ {1, 2};
h) f (x) = x2 e−x , x ∈ R; i) f (x) = sin 2x + x cos 2x, x ∈ R;
j) f (x) = ln 1+x
1−x , x ∈ (−1, 1); k) f (x) = sin x cos x, x ∈ R;
2
l) f (x) = (1 + e ) , x ∈ R.
x
∞
∑ xn
f ′ (x) = 2 (1 + ex ) = 2 + 2 , ∀x ∈ R
n!
n=0
so, by Theorem 4.1, we deduce
∞
∑ xn+1
f (x) = 2x + 2 + C, C ∈ R, ∀x ∈ R.
(n + 1)!
n=0
Since f (0) = 4, it follows that C = 4. Therefore,
∑∞
xn+1
(1 + ex )2 = 4 + 2x + 2 , ∀x ∈ R.
(n + 1)!
n=0