DOCSLIB.ORG

3.1. COMPLEX DERIVATIVES 89 Theorem 3.1.4 (Chain Rule) Let F

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
3.1. COMPLEX DERIVATIVES 89 Theorem 3.1.4 (Chain Rule) Let F 3.1. COMPLEX DERIVATIVES 89 Theorem 3.1.4 (Chain rule) Let f : D D′ C and g : D′ C be holomorphic → ⊂ → functions on the domains D and D′ respectively. Suppose that both f and g are C1-smooth.10 Then (g f)′(z)= g′(f(z)) f ′(z), z D. ◦ · ∀ ∈ Proof: z D, write w = f(z ). By the C1-smooth condition and Taylor Theorem, we ∀ 0 ∈ 0 0 have f(z + h)= f(z )+ f ′(z )h + o(h), and g(w + h) g(w )= g′(w )h + o(h), 0 0 0 0 − 0 0 so that ′ g(f(z0 + h)) g(f(z0)) = g(w0 + hf (z0)+ o(h)) g(w0) ′ ′− ′ − = g (w0) hf (z0)+ o(h) + o hf (z0)+ o(h) ′ ′ = g (w0)f (z0)h + o(h). Then g(f(z + h)) g(f(z )) g′(w )f ′(z )h + o(h) 0 − 0 = 0 0 g′(w )f ′(z )= g′(f(z ))f ′(z ). h h → 0 0 0 0 [Example] Let f(z)= sin(z2 3z + 1). Then f ′(z)= cos(z2 +3z + 1) (2z 3) by the chain rule. − · − Analytic Function Must be Holomorphic So far we have defined holomorphic func- tions. What are examples of holomorphic functions ? The following theorem says that any analytic function must be holomorphic. In fact, later we shall see the converse is also true, namely, any holomorphic function must be analytic. ∞ n Theorem 3.1.5 Let f(z) = an(z a) be convergenet, a C, with the radius of n=0 − ∈ convergence R> 0. Then f isP a holomorphic function on ∆(a, R) and ∞ ′ n−1 f (z)= nan(z a) , z ∆(a, R). − ∀ ∈ Xn=1 10This C1-smooth condition will be dropped later by Goursat theorem. 90 CHAPTER 3. HOLOMORPHIC FUNCTIONS ∞ n−1 Proof:(Optional reading) Claim 1: g(z) := nan(z a) has the radius of conver- n=1 − gence R. P To prove, we assume a = 0. Then by Theorem 2.4.2, 1 1 n−1 1 1 n n n n ln an n n n = lim a = elim n ln |a | = e lim n−1 | | lim n = elim n−1 ln|a | R n→∞ n p| | n n 1 = lim a = lim (n + 1) a = n→∞ n+1 n→∞ n+1 R′ p| | p | | Here in the last second equality, we used the fact that √n n +1 1 as n . Claim 1 is proved. It remains to show: → →∞ f ′(z)= g(z), z ∆(0, R). (3.3) ∀ ∈ In fact, f(z + h) f(z) − g(z) ?? 0, as h 0 h − → → ∞ n n (z + h) z n−1 = an − nz h − Xn=1 ∞ n n n−v−1 v = an z h v Xn=2 Xv=2 ∞ n n n−v−1 v an z h ≤ | | v | | | | Xn=2 Xv=2 ∞ n n ( z + h ) z n−1 = an | | | | −| | n z | | h − | | Xn=1 | | ∞ n n n−1 n ( z + h ) z n z = an r | | | | −| | | | (we choose r with z + h <r<R) | | h rn − rn | | | | Xn=1 | | ∞ 1 z + h n z n n z n−1 M | | | | | | | | ≤ h r − r − r r Xn=1 | | 1 z + h z r = M | | | | | | (we use geometric series) h r ( z + h ) − r z − (r z )2 | | − | | | | −| | −| | Mr h = | | (r z )2(r ( z + h )) −| | − | | | | 0, as h 0, → → 3.1. COMPLEX DERIVATIVES 91 n where M > 0 is a constant such that anr M, n. (3.3) is proved. | | ≤ ∀ Corollary 3.1.6 f is analytic = f is holomorphic. ⇒ Remark: 1. We’ll prove later, by Cauchy’s Integral Formula, that f is holomorphic = f is analytic. (3.4) ⇒ 2. By the theory of power series, an analytic function has derivatives of any order, while by the definition of holomorphic function, a holomorphic function is only required to have the differentiation of first order. These two definitions are so different, but they are equivalent. 3. While Cauchy studied complex-valued functions f with f ′ exists, Weierstrass published an extensive assay in 1876 of his “ systematic foundation of analysis” of analytic functions. This very influential paper dealt with the problem of representation of single-valued complex functions. Jacobian of holomorphic functions Let f(z)= u(x, y)+ iy(x, y) be a complex-valued function. We can regard f as a map from an open subset of R2 to R2, (x, y) (u, v), so that its Jacobian is defined by 7→ ∂u ∂u ∂x ∂y Jf(z) := det ∂v ∂v ∂x ∂y where z = x + iy. The following result shows that the Jacobian of a holomorphic function is always non negative. Proposition 3.1.7 Let f be a holomorphic function. Then Jf(z)= f ′(z) 2. | | 92 CHAPTER 3. HOLOMORPHIC FUNCTIONS Proof: ∂u ∂v ∂u ∂v ∂u 2 ∂u 2 Jf(z)= = + = f ′(z) 2, ∂x ∂y − ∂y ∂x ∂x ∂y | | ′ ∂u ∂v where we used the Cauchy-Riemann Equations and the formula f (z)= ∂x + i ∂x . Preserving Angle Property Let C be a non-singular curve given in parametric form φ :(α, β) C, t x(t)+ iy(t). → 7→ Such curve can be understood as a vector-valued function φ :(α, β) R2, t (x(t),y(t)) if we identify R2 with C. Suppose that C is non singular (i.e., if φ′(z→)= x′(t)+7→iy′(t) exists and = 0). For6 each t, if we regard φ(t)= x(t)+ iy(t) as a vector (x(t),y(t)), φ′(t)= x′(t)+ iy′(t) can be regarded as the tangent vector (x′(t),y′(t)) of the curve C at the point φ(t). The curve C at the point φ(t) has a tangent vector whose direction is determined by arg(φ′(t)). Now suppose that C is in a domain D C. Let f : D C be a holomorphic function. Then we obtain the image curve f(C) given⊂ by the parametric→ function ψ := f φ :(α, β) C, t f(φ(t)). ◦ → 7→ By the chain rule (Theorem 3.1.5), ψ′(t)= f ′(φ(t))φ′(t). Then arg(ψ′(t)) = arg(f ′(z)) + arg(φ′(t)), mod(2π). (3.5) Therefore, the tangent vector of the curve f(C) at f(φ(t)) is changed from the tangent vector of the curve C at φ(t), and such change is caused by arg(f ′(φ(t))), which is called the angle of rotation. [Example] Let f(z) = cos z. Determine the angle of rotation given by arg(f ′(z)) at the points z1 = i, z2 = 1 and z3 = π + i. Proof: f ′(z)= sinz so that − e−1 e f ′(z )= f ′(i)= sin i = − = i sinh 1, 1 − − 2i − 3.1. COMPLEX DERIVATIVES 93 f ′(z )= f ′(1) = sin 1, 2 − ei(π+i) e−i(π+i) f ′(z ) = f ′(π + i)= sin(π + i)= − 3 − − 2i eiπ e−1 e−iπ e ( 1)e−1 ( 1)e e e−1 = · − · = − − − = i − = i sinh 1. 2i − 2i 2 eiz−e−iz ex−e−x Here sin z = 2i and sinh x = 2 as in calculus. Therefore, the angle of rotation is given by π π α = arg( i sinh 1) = , α = arg( sin 1) = π, α = arg(i sinh 1) = . 1 − − 2 2 − 3 2.
Load more

Recommended publications
  • Class 1/28 1 Zeros of an Analytic Function
    Math 752 Spring 2011 Class 1/28 1 Zeros of an analytic function Towards the fundamental theorem of algebra and its statement for analytic functions. Definition 1. Let f : G → C be analytic and f(a) = 0. a is said to have multiplicity m ≥ 1 if there exists an analytic function g : G → C with g(a) 6= 0 so that f(z) = (z − a)mg(z). Definition 2. If f is analytic in C it is called entire. An entire function has a power series expansion with infinite radius of convergence. Theorem 1 (Liouville’s Theorem). If f is a bounded entire function then f is constant. 0 Proof. Assume |f(z)| ≤ M for all z ∈ C. Use Cauchy’s estimate for f to obtain that |f 0(z)| ≤ M/R for every R > 0 and hence equal to 0. Theorem 2 (Fundamental theorem of algebra). For every non-constant polynomial there exists a ∈ C with p(a) = 0. Proof. Two facts: If p has degree ≥ 1 then lim p(z) = ∞ z→∞ where the limit is taken along any path to ∞ in C∞. (Sometimes also written as |z| → ∞.) If p has no zero, its reciprocal is therefore entire and bounded. Invoke Liouville’s theorem. Corollary 1. If p is a polynomial with zeros aj (multiplicity kj) then p(z) = k k km c(z − a1) 1 (z − a2) 2 ...(z − am) . Proof. Induction, and the fact that p(z)/(z − a) is a polynomial of degree n − 1 if p(a) = 0. 1 The zero function is the only analytic function that has a zero of infinite order.
    [Show full text]
  • Informal Lecture Notes for Complex Analysis
    Informal lecture notes for complex analysis Robert Neel I'll assume you're familiar with the review of complex numbers and their algebra as contained in Appendix G of Stewart's book, so we'll pick up where that leaves off. 1 Elementary complex functions In one-variable real calculus, we have a collection of basic functions, like poly- nomials, rational functions, the exponential and log functions, and the trig functions, which we understand well and which serve as the building blocks for more general functions. The same is true in one complex variable; in fact, the real functions we just listed can be extended to complex functions. 1.1 Polynomials and rational functions We start with polynomials and rational functions. We know how to multiply and add complex numbers, and thus we understand polynomial functions. To be specific, a degree n polynomial, for some non-negative integer n, is a function of the form n n−1 f(z) = cnz + cn−1z + ··· + c1z + c0; 3 where the ci are complex numbers with cn 6= 0. For example, f(z) = 2z + (1 − i)z + 2i is a degree three (complex) polynomial. Polynomials are clearly defined on all of C. A rational function is the quotient of two polynomials, and it is defined everywhere where the denominator is non-zero. z2+1 Example: The function f(z) = z2−1 is a rational function. The denomina- tor will be zero precisely when z2 = 1. We know that every non-zero complex number has n distinct nth roots, and thus there will be two points at which the denominator is zero.
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • Bounded Holomorphic Functions on Finite Riemann Surfaces
    BOUNDED HOLOMORPHIC FUNCTIONS ON FINITE RIEMANN SURFACES BY E. L. STOUT(i) 1. Introduction. This paper is devoted to the study of some problems concerning bounded holomorphic functions on finite Riemann surfaces. Our work has its origin in a pair of theorems due to Lennart Carleson. The first of the theorems of Carleson we shall be concerned with is the following [7] : Theorem 1.1. Let fy,---,f„ be bounded holomorphic functions on U, the open unit disc, such that \fy(z) + — + \f„(z) | su <5> 0 holds for some ô and all z in U. Then there exist bounded holomorphic function gy,---,g„ on U such that ftEi + - +/A-1. In §2, we use this theorem to establish an analogous result in the setting of finite open Riemann surfaces. §§3 and 4 consider certain questions which arise naturally in the course of the proof of this generalization. We mention that the chief result of §2, Theorem 2.6, has been obtained independently by N. L. Ailing [3] who has used methods more highly algebraic than ours. The second matter we shall be concerned with is that of interpolation. If R is a Riemann surface and if £ is a subset of R, call £ an interpolation set for R if for every bounded complex-valued function a on £, there is a bounded holo- morphic function f on R such that /1 £ = a. Carleson [6] has characterized interpolation sets in the unit disc: Theorem 1.2. The set {zt}™=1of points in U is an interpolation set for U if and only if there exists ô > 0 such that for all n ** n00 k = l;ktn 1 — Z.Zl An alternative proof is to be found in [12, p.
    [Show full text]
  • Complex-Differentiability
    Complex-Differentiability Sébastien Boisgérault, Mines ParisTech, under CC BY-NC-SA 4.0 April 25, 2017 Contents Core Definitions 1 Derivative and Complex-Differential 3 Calculus 5 Cauchy-Riemann Equations 7 Appendix – Terminology and Notation 10 References 11 Core Definitions Definition – Complex-Differentiability & Derivative. Let f : A ⊂ C → C. The function f is complex-differentiable at an interior point z of A if the derivative of f at z, defined as the limit of the difference quotient f(z + h) − f(z) f 0(z) = lim h→0 h exists in C. Remark – Why Interior Points? The point z is an interior point of A if ∃ r > 0, ∀ h ∈ C, |h| < r → z + h ∈ A. In the definition above, this assumption ensures that f(z + h) – and therefore the difference quotient – are well defined when |h| is (nonzero and) small enough. Therefore, the derivative of f at z is defined as the limit in “all directions at once” of the difference quotient of f at z. To question the existence of the derivative of f : A ⊂ C → C at every point of its domain, we therefore require that every point of A is an interior point, or in other words, that A is open. 1 Definition – Holomorphic Function. Let Ω be an open subset of C. A function f :Ω → C is complex-differentiable – or holomorphic – in Ω if it is complex-differentiable at every point z ∈ Ω. If additionally Ω = C, the function is entire. Examples – Elementary Functions. 1. Every constant function f : z ∈ C 7→ λ ∈ C is holomorphic as 0 λ − λ ∀ z ∈ C, f (z) = lim = 0.
    [Show full text]
  • Complex Manifolds
    Complex Manifolds Lecture notes based on the course by Lambertus van Geemen A.A. 2012/2013 Author: Michele Ferrari. For any improvement suggestion, please email me at: [email protected] Contents n 1 Some preliminaries about C 3 2 Basic theory of complex manifolds 6 2.1 Complex charts and atlases . 6 2.2 Holomorphic functions . 8 2.3 The complex tangent space and cotangent space . 10 2.4 Differential forms . 12 2.5 Complex submanifolds . 14 n 2.6 Submanifolds of P ............................... 16 2.6.1 Complete intersections . 18 2 3 The Weierstrass }-function; complex tori and cubics in P 21 3.1 Complex tori . 21 3.2 Elliptic functions . 22 3.3 The Weierstrass }-function . 24 3.4 Tori and cubic curves . 26 3.4.1 Addition law on cubic curves . 28 3.4.2 Isomorphisms between tori . 30 2 Chapter 1 n Some preliminaries about C We assume that the reader has some familiarity with the notion of a holomorphic function in one complex variable. We extend that notion with the following n n Definition 1.1. Let f : C ! C, U ⊆ C open with a 2 U, and let z = (z1; : : : ; zn) be n the coordinates in C . f is holomorphic in a = (a1; : : : ; an) 2 U if f has a convergent power series expansion: +1 X k1 kn f(z) = ak1;:::;kn (z1 − a1) ··· (zn − an) k1;:::;kn=0 This means, in particular, that f is holomorphic in each variable. Moreover, we define OCn (U) := ff : U ! C j f is holomorphicg m A map F = (F1;:::;Fm): U ! C is holomorphic if each Fj is holomorphic.
    [Show full text]
  • Complex Analysis Qual Sheet
    Complex Analysis Qual Sheet Robert Won \Tricks and traps. Basically all complex analysis qualifying exams are collections of tricks and traps." - Jim Agler 1 Useful facts 1 X zn 1. ez = n! n=0 1 X z2n+1 1 2. sin z = (−1)n = (eiz − e−iz) (2n + 1)! 2i n=0 1 X z2n 1 3. cos z = (−1)n = (eiz + e−iz) 2n! 2 n=0 1 4. If g is a branch of f −1 on G, then for a 2 G, g0(a) = f 0(g(a)) 5. jz ± aj2 = jzj2 ± 2Reaz + jaj2 6. If f has a pole of order m at z = a and g(z) = (z − a)mf(z), then 1 Res(f; a) = g(m−1)(a): (m − 1)! 7. The elementary factors are defined as z2 zp E (z) = (1 − z) exp z + + ··· + : p 2 p Note that elementary factors are entire and Ep(z=a) has a simple zero at z = a. 8. The factorization of sin is given by 1 Y z2 sin πz = πz 1 − : n2 n=1 9. If f(z) = (z − a)mg(z) where g(a) 6= 0, then f 0(z) m g0(z) = + : f(z) z − a g(z) 1 2 Tricks 1. If f(z) nonzero, try dividing by f(z). Otherwise, if the region is simply connected, try writing f(z) = eg(z). 2. Remember that jezj = eRez and argez = Imz. If you see a Rez anywhere, try manipulating to get ez. 3. On a similar note, for a branch of the log, log reiθ = log jrj + iθ.
    [Show full text]
  • Smooth Versus Analytic Functions
    Smooth versus Analytic functions Henry Jacobs December 6, 2009 Functions of the form X i f(x) = aix i≥0 that converge everywhere are called analytic. We see that analytic functions are equal to there Taylor expansions. Obviously all analytic functions are smooth or C∞ but not all smooth functions are analytic. For example 2 g(x) = e−1/x Has derivatives of all orders, so g ∈ C∞. This function also has a Taylor series expansion about any point. In particular the Taylor expansion about 0 is g(x) ≈ 0 + 0x + 0x2 + ... So that the Taylor series expansion does in fact converge to the function g˜(x) = 0 We see that g andg ˜ are competely different and only equal each other at a single point. So we’ve shown that g is not analytic. This is relevent in this class when finding approximations of invariant man- ifolds. Generally when we ask you to find a 2nd order approximation of the center manifold we just want you to express it as the graph of some function on an affine subspace of Rn. For example say we’re in R2 with an equilibrium point at the origin, and a center subspace along the y-axis. Than if you’re asked to find the center manifold to 2nd order you assume the manifold is locally (i.e. near (0,0)) defined by the graph (h(y), y). Where h(y) = 0, h0(y) = 0. Thus the taylor approximation is h(y) = ay2 + hot. and you must solve for a using the invariance of the manifold and the dynamics.
    [Show full text]
  • Chapter 2 Complex Analysis
    Chapter 2 Complex Analysis In this part of the course we will study some basic complex analysis. This is an extremely useful and beautiful part of mathematics and forms the basis of many techniques employed in many branches of mathematics and physics. We will extend the notions of derivatives and integrals, familiar from calculus, to the case of complex functions of a complex variable. In so doing we will come across analytic functions, which form the centerpiece of this part of the course. In fact, to a large extent complex analysis is the study of analytic functions. After a brief review of complex numbers as points in the complex plane, we will ¯rst discuss analyticity and give plenty of examples of analytic functions. We will then discuss complex integration, culminating with the generalised Cauchy Integral Formula, and some of its applications. We then go on to discuss the power series representations of analytic functions and the residue calculus, which will allow us to compute many real integrals and in¯nite sums very easily via complex integration. 2.1 Analytic functions In this section we will study complex functions of a complex variable. We will see that di®erentiability of such a function is a non-trivial property, giving rise to the concept of an analytic function. We will then study many examples of analytic functions. In fact, the construction of analytic functions will form a basic leitmotif for this part of the course. 2.1.1 The complex plane We already discussed complex numbers briefly in Section 1.3.5.
    [Show full text]
  • Introduction to Holomorphic Functions of Several Variables, by Robert C
    BOOK REVIEWS 205 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 25, Number 1, July 1991 ©1991 American Mathematical Society 0273-0979/91 $1.00+ $.25 per page Introduction to holomorphic functions of several variables, by Robert C. Gunning. Wadsworth & Brooks/Cole, vol. 1, Function the­ ory, 202 pp. ISBN 0-534-13308-8; vol. 2, Local theory, 215 pp. ISBN 0-534-13309-6; vol. 3, Homological theory, 194 pp. ISBN 0-534-13310-X What is several complex variables? The answer depends on whom you ask. Some will speak of coherent analytic sheaves, commutative al­ gebra, and Cousin problems (see for instance [GRR1, GRR2]). Some will speak of Kàhler manifolds and uniformization—how many topologically trivial complex manifolds are there of strictly negative (bounded from zero) curvature (see [KOW])? (In one complex variable the important answer is one,) Some will speak of positive line bundles (see [GRA]). Some will speak of partial differential equations, subelliptic es­ timates, and noncoercive boundary value problems (see [FOK]). Some will speak of intersection theory, orders of contact of va­ rieties with real manifolds, and algebraic geometry (see [JPDA]). Some will speak of geometric function theory (see [KRA]). Some will speak of integral operators and harmonic analysis (see [STE1, STE2, KRA]). Some will speak of questions of hard analysis inspired by results in one complex variable (see [RUD1, RUD2]). As with any lively and diverse field, there are many points of view, and many different tools that may be used to obtain useful results. Several complex variables, perhaps more than most fields, seems to be a meeting ground for an especially rich array of tech­ niques.
    [Show full text]
  • Lecture Note for Math 220A Complex Analysis of One Variable
    Lecture Note for Math 220A Complex Analysis of One Variable Song-Ying Li University of California, Irvine Contents 1 Complex numbers and geometry 2 1.1 Complex number field . 2 1.2 Geometry of the complex numbers . 3 1.2.1 Euler's Formula . 3 1.3 Holomorphic linear factional maps . 6 1.3.1 Self-maps of unit circle and the unit disc. 6 1.3.2 Maps from line to circle and upper half plane to disc. 7 2 Smooth functions on domains in C 8 2.1 Notation and definitions . 8 2.2 Polynomial of degree n ...................... 9 2.3 Rules of differentiations . 11 3 Holomorphic, harmonic functions 14 3.1 Holomorphic functions and C-R equations . 14 3.2 Harmonic functions . 15 3.3 Translation formula for Laplacian . 17 4 Line integral and cohomology group 18 4.1 Line integrals . 18 4.2 Cohomology group . 19 4.3 Harmonic conjugate . 21 1 5 Complex line integrals 23 5.1 Definition and examples . 23 5.2 Green's theorem for complex line integral . 25 6 Complex differentiation 26 6.1 Definition of complex differentiation . 26 6.2 Properties of complex derivatives . 26 6.3 Complex anti-derivative . 27 7 Cauchy's theorem and Morera's theorem 31 7.1 Cauchy's theorems . 31 7.2 Morera's theorem . 33 8 Cauchy integral formula 34 8.1 Integral formula for C1 and holomorphic functions . 34 8.2 Examples of evaluating line integrals . 35 8.3 Cauchy integral for kth derivative f (k)(z) . 36 9 Application of the Cauchy integral formula 36 9.1 Mean value properties .
    [Show full text]
  • Notes on Analytic Functions
    Notes on Analytic Functions In these notes we define the notion of an analytic function. While this is not something we will spend a lot of time on, it becomes much more important in some other classes, in particular complex analysis. First we recall the following facts, which are useful in their own right: Theorem 1. Let (fn) be a sequence of functions on (a; b) and suppose that each fn is differentiable. 0 If (fn) converges to a function f uniformly and the sequence of derivatives (fn) converges uniformly to a function g, then f is differentiable and f 0 = g. So, the uniform limit of differentiable functions is itself differentiable as long as the sequence of derivatives also converges uniformly, in which case the derivative of the uniform limit is the uniform limit of the derivatives. We will not prove this here as the proof is not easy; however, note that the proof of Theorem 26.5 in the book can be modified to give a proof of the above theorem in the 0 special case that each derivative fn is continuous. Note that we need the extra assumption that the sequence of derivatives converges uniformly, as the following example shows: q 2 1 Example 1. For each n, let fn :(−1; 1) be the function fn(x) = x + n . We have seen before that (fn) converges uniformly to f(x) = jxj on (−1; 1). Each fn is differentiable at 0 but f is not, so the uniform limit of differentiable functions need not be differentiable. We shouldn't expect that the uniform limit of differentiable functions be differentiable for the fol- lowing reason: differentiability is a local condition which measures how rapidly a function changes, while uniform convergence is a global condition which measures how close functions are to one another.
    [Show full text]