Saturday, February 2, 2013

Complex Analysis: #13 Weierstrass`s Convergence Theorem

  • Complex Analysis: #13 Weierstrass`s Convergence Theorem

This is the analog of the theorem in real analysis which states that a sequence of continuous functions which is uniformly convergent converges to a continuous function. But here we are concerned with analytic functions.


Theorem 28 (Weierstrass)
Let G1 ⊂ G2 ⊂ · · · ⊂ Gn ⊂ · · · be an increasing sequence of regions in ℂ and let (fn)n∈ be a sequence of analytic functions fn : Gn → ℂ for each n. Let G = ∪n=1Gn (that is, n = 1, . . ., ∞), and assume that in every compact subset of G, the sequence (fn) converges uniformly. Let f : G → ℂ be defined by f(z) = limn→∞ fn(z) for all z ∈ G. Then f is analytic on G, and furthermore fn' → f ' uniformly on every compact subset of G.

Proof
Let z0 ∈ G and take r > 0 such that B(z0, r) ⊂ G. (That is the closure of the open set B(z0, r).) Let N ∈ ℕ be sufficiently large that B(z0, r) ⊂ ∪n=1N Gn. Then B(z0, r) ⊂ Gm, for all m ≥ N. According to theorem 2 we have ∫γfn(z)dz = 0 for all triangles in B(z0, r). Moreover we have

Complex Analysis: #13 Weierstrass`s Convergence Theorem equation pic 1

owing to the uniform convergence of the sequence. Therefore, by theorem 10, f is analytic. By Goursat’s theorem, the derivatives are also analytic. Specifically, let ζ be the boundary of the disc B(z0, r). Then, using Cauchy’s formula (theorem 6), we have

Complex Analysis: #13 Weierstrass`s Convergence Theorem equation pic 2

and the fact that the convergence of the fn is uniform in B(z0, r) shows that fn' → f ' uniformly.

An interesting example of this is Riemann’s Zeta function. Let z = x + iy with x > 1. Then

Complex Analysis: #13 Weierstrass`s Convergence Theorem equation pic 3

Thus the infinte sum ζ(z) = ∑ n−z  (with n =1, . . . , ∞) defines a function which is the limit of a uniformly convergent sequence of analytic functions (the partial sums) for all z with Re(z) > a, where a > 1 is a given constant. Therefore Weierstrass’s convergence theorem implies that the Zeta function ζ(z) is analytic in this region. As a matter of fact, Riemann showed that, with the exception of the obvious isolated singularity at the point z = 1, the zeta function can be analytically continued throughout the whole complex plane. The big question is “Where are the zeros of the zeta function?” Some of them are located at negative even integers. (These are the so-called “trivial zeros”.) They are not particularly interesting. But there are lots along the vertical line Re(z) = 1/2. The famous Riemann conjecture — which is certainly the greatest unsolved problem in mathematics today — is that all of the zeros (apart from the trivial ones) lie on this line. [An American businessman, Mr. Landon T. Clay has put aside one million American dollars each for the solution of a certain collection of outstanding problems in mathematics. The Riemann conjecture is one of them.]

No comments:

Post a Comment

If it's a past exam question, do not include links to the paper. Only the reference.
Comments will only be published after moderation

Currently Viewing: Physics Reference | Complex Analysis: #13 Weierstrass`s Convergence Theorem