06.01.2015 Views

The Real And Complex Number Systems

The Real And Complex Number Systems

The Real And Complex Number Systems

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

9.24 Given a convergent series ∑ ∞<br />

∑ n=1 a n. Prove that the Dirichlet series<br />

∞<br />

n=1 a nn −s converges uniformly<br />

∑<br />

on the half-infinite interval 0 ≤ s < +∞.<br />

Use this to prove that lim ∞<br />

s→0 +<br />

n=1 a nn −s = ∑ ∞<br />

n=1 a n.<br />

Proof: Let f n (s) = ∑ n<br />

k=1 a k and g n (s) = n −s , then by Abel’s test for<br />

uniform convergence, we have proved that the Dirichlet series ∑ ∞<br />

n=1 a nn −s<br />

converges uniformly on the half-infinite<br />

∑<br />

interval 0 ≤ s < +∞. <strong>The</strong>n by<br />

<strong>The</strong>orem 9.2, we know that lim ∞<br />

s→0 +<br />

n=1 a nn −s = ∑ ∞<br />

n=1 a n.<br />

9.25 Prove that the series ζ (s) = ∑ ∞<br />

n=1 n−s converges uniformly on every<br />

half-infinite interval 1 + h ≤ s < +∞, where h > 0. Show that the equation<br />

ζ ′ (s) = −<br />

∞∑<br />

n=1<br />

log n<br />

n s<br />

is valid for each s > 1 and obtain a similar formula for the kth derivative<br />

ζ (k) (s) .<br />

Proof: Since n −s ≤ n −(1+h) for all s ∈ [1 + h, ∞), we know that ζ (s) =<br />

∑ ∞<br />

n=1 n−s converges uniformly on every half-infinite interval 1+h ≤ s < +∞<br />

by Weierstrass M-test. Define T n (s) = ∑ n<br />

k=1 k−s , then it is clear that<br />

<strong>And</strong><br />

1. For each n, T n (s) is differentiable on [1 + h, ∞),<br />

3. T ′ n (s) = −<br />

n∑<br />

k=1<br />

2. lim<br />

n→∞<br />

T n (2) = π2<br />

6 .<br />

log k<br />

k s converges uniformly on [1 + h, ∞)<br />

by Weierstrass M-test. Hence, we have proved that<br />

ζ ′ (s) = −<br />

∞∑<br />

n=1<br />

log n<br />

n s<br />

by <strong>The</strong>orem 9.13. By Mathematical Induction, we know that<br />

ζ (k) (s) = (−1) k<br />

∞<br />

∑<br />

n=1<br />

(log n) k<br />

n s .<br />

22

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!