Chapter 2 Complex Analysis

Total Page:16

File Type:pdf, Size:1020Kb

Load more

Chapter 2 Complex analysis 2.1 Basics Given z0 2 C, r > 0 we define D(z0; r) := fz 2 C : jz − z0j < rg (open disk), D(z0; r) := fz 2 C : jz − z0j 6 rg (closed disk). A subset U ⊆ C is called open if U = ; or if for every z0 2 C there is δ > 0 with c D(z0; δ) ⊂ U. A subset U ⊆ C is called closed if U := C n U is open. It is known that a subset of C is compact (i.e., every open cover of the set has a finite subcover) if and only if it is closed and bounded (see the Prerequisites). In what follows, U is a non-empty open subset of C and f : U ! C a function. We say that f is holomorphic or analytic in z0 2 U if f(z) − f(z ) lim 0 exists. z!z0 z − z0 0 In that case, the limit is denoted by f (z0). We say that f is analytic on U if f is analytic in every z 2 U; in that case, the derivative f 0(z) is defined for every z 2 U. We say that f is analytic around z0 if it is analytic on some open disk D(z0; δ) for some δ > 0. Finally, given a not necessarily open subset A of C and a function f : A ! C, we say that f is analytic on A if there is an open set U ⊇ A such that f is defined on U and analytic on U. An everywhere analytic function f : C ! C is called entire. 35 For any two analytic functions f; g on some open set U ⊆ C,we have the usual rules for differentiation (f ±g)0 = f 0±g0,(fg)0 = f 0g+fg0 and (f=g)0 = (gf 0−fg0)=g2 (the latter is defined for any z with g(z) 6= 0). Further, given a non-empty set U ⊆ C, and analytic functions f : U ! C, g : f(U) ! C, the composition g ◦ f is analytic on U and (g ◦ f)0 = (g0 ◦ f) · f 0. Recall that a power series around z0 2 C is an infinite sum 1 X n f(z) = an(z − z0) n=0 with an 2 C for all n 2 Z>0. The radius of convergence of this series is given by −1 pn R = Rf = lim sup janj : n!1 We state without proof the following fact. P1 n Theorem 2.1. Let z0 2 C and f(z) = n=0 an(z − z0) a power series around z0 2 C with radius of convergence R > 0. Then f defines a function on D(z0;R) (k) which is analytic infinitely often. For k > 0 the k-th derivative f of f has a power series expansion with radius of convergence R given by 1 (k) X n−k f (z) = n(n − 1) ··· (n − k + 1)an(z − z0) : n=k In each of the examples below, R denotes the radius of convergence of the given power series. 1 X zn ez = ;R = 1; (ez)0 = ez: n! n=0 1 X z2n cos z = (eiz + e−iz)=2 = (−1)n ;R = 1; cos 0z = − sin z: (2n)! n=0 1 X z2n+1 sin z = (eiz − e−iz)=2i = (−1)n ;R = 1; sin 0z = cos z: (2n + 1)! n=0 1 X α (1 + z)α = zn;R = 1; ((1 + z)α)0 = α(1 + z)α−1 n n=0 α α(α − 1) ··· (α − n + 1) where α 2 ; = : C n n! 1 X (−1)n−1 log(1 + z) = · zn;R = 1; log 0(1 + z) = (1 + z)−1: n n=1 36 2.2 Cauchy's Theorem and some applications For the necessary definitions concerning paths, line integrals and topology we re- fer to the Prerequisites. In the remainder of this course, a path will always be a piecewise continuously differentiable path. Recall that for a piecewise continuously differentiable path γ, say γ = γ1 + ··· + γr where γ1; : : : ; γr are paths with continu- ously differentiable parametrizations gi :[ai; bi] ! C, and for a continuous function R Pr R bi 0 f : γ ! we have f(z)dz = f(gi(t))g (t)dt. C γ i=1 ai i Theorem 2.2 (Cauchy). Let U ⊆ C be a non-empty open set and f : U ! C an analytic function. Further, let γ1; γ2 be two paths in U with the same start point and end point that are homotopic in U. Then Z Z f(z)dz = f(z)dz: γ1 γ2 Proof. Any textbook on complex analysis. Corollary 2.3. Let U ⊆ C be a non-empty, open, simply connected set, and f : U ! C an analytic function. Then for any closed path γ in U, I f(z)dz = 0: γ Proof. The path γ is homotopic in U to a point, and a line integral along a point is 0. Corollary 2.4. Let γ1; γ2 be two contours (closed paths without self-intersections traversed counterclockwise), such that γ2 is contained in the interior of γ1. Let U ⊂ C be an open set which contains γ1; γ2 and the region between γ1 and γ2. Further, let f : U ! C be an analytic function. Then I I f(z)dz = f(z)dz: γ1 γ2 Proof. 37 Let z0; z1 be points on γ1; γ2 respectively, and let α be a path from z0 to z1 lying in- side the region between γ1 and γ2 without self-intersections. Then γ1 is homotopic in U to the path α + γ2 − α, which consists of first traversing α, then γ2, and then α in the opposite direction. Hence I Z I Z I f(z)dz = + − f(z)dz = f(z)dz: γ1 α γ2 α γ2 Corollary 2.5 (Cauchy's Integral Formula). Let γ be a contour in C, U ⊂ C an open set containing γ and its interior, z0 a point in the interior of γ, and f : U ! C an analytic function. Then 1 I f(z) · dz = f(z0): 2πi γ z − z0 Proof. Let γz0,δ be the circle with center z0 and radius δ, traversed counterclockwise. Then by Corollary 2.4 we have for any suf- ficiently small δ > 0, 1 I f(z) 1 I f(z) · dz = · dz: 2πi z − z0 2πi z − z0 γ γz0,δ 38 Now, since f(z) is continuous, hence uniformly continuous on any sufficiently small compact set containing z0, I I 1 f(z) 1 f(z) · dz − f(z0) = · dz − f(z0) 2πi z − z0 2πi z − z0 γ γz0,δ Z 1 2πit f(z0 + δe ) 2πit = 2πit · δe dt − f(z0) 0 δe Z 1 2πit 2πit = f(z0 + δe ) − f(z0) dt 6 sup jf(z0 + δe ) − f(z0)j 0 06t61 ! 0 as δ # 0: This completes our proof. We now show that every analytic function f on a simply connected set has an anti-derivative. We first prove a simple lemma. Lemma 2.6. Let U ⊆ C be a non-empty, open, connected set, and let f : U ! C be an analytic function such that f 0 = 0 on U. Then f is constant on U. Proof. Fix a point z0 2 U and let z 2 U be arbitrary. Take a path γz in U from z0 to z which exists since U is (pathwise) connected. Then Z 0 f(z) − f(z0) = f (w)dw = 0: γz Corollary 2.7. Let U ⊂ C be a non-empty, open, simply connected set, and f : U ! C an analytic function. Then there exists an analytic function F : U ! C with F 0 = f. Further, F is determined uniquely up to addition with a constant. 0 0 Proof (sketch). If F1;F2 are any two analytic functions on U with F1 = F2 = f, then 0 0 F1 − F2 is constant on U since U is connected. This shows that an anti-derivative of f is determined uniquely up to addition with a constant. It thus suffices to prove the existence of an analytic function F on U with F 0 = f. 39 Fix z0 2 U. Given z 2 U, we define F (z) by Z F (z) := f(w)dw; γz where γz is any path in U from z0 to z. This does not depend on the choice of γz. For let γ1; γ2 be any two paths in U from z0 to z. Then γ1 − γ2 (the path consisting of first traversing γ1 and then γ2 in the opposite direction) is homotopic to z0 since U is simply connected, hence Z Z I f(z)dz − f(z)dz = f(z)dz = 0: γ1 γ2 γ1−γ2 F (z+h)−F (z) To prove that limh!0 h = f(z), take a path γz from z0 to z and then the line segment [z; z + h] from z to z + h. Then since f is uniformly continuous on any sufficiently small compact set around z, Z Z Z F (z + h) − F (z) = − f(w)dw = f(w)dw γz+[z;z+h] γz [z;z+h] Z 1 Z 1 = f(z + th)hdt = h f(z) + (f(z + th) − f(z))dt : 0 0 So Z 1 F (z + h) − F (z) − f(z) = (f(z + th) − f(z))dt h 0 6 sup jf(z + th) − f(z)j ! 0 as h ! 0: 06t61 This completes our proof.
Recommended publications
  • Class 1/28 1 Zeros of an Analytic Function

    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.
  • Poles and Zeros of Generalized Carathéodory Class Functions

    Poles and Zeros of Generalized Carathéodory Class Functions

    W&M ScholarWorks Undergraduate Honors Theses Theses, Dissertations, & Master Projects 5-2011 Poles and Zeros of Generalized Carathéodory Class Functions Yael Gilboa College of William and Mary Follow this and additional works at: https://scholarworks.wm.edu/honorstheses Part of the Mathematics Commons Recommended Citation Gilboa, Yael, "Poles and Zeros of Generalized Carathéodory Class Functions" (2011). Undergraduate Honors Theses. Paper 375. https://scholarworks.wm.edu/honorstheses/375 This Honors Thesis is brought to you for free and open access by the Theses, Dissertations, & Master Projects at W&M ScholarWorks. It has been accepted for inclusion in Undergraduate Honors Theses by an authorized administrator of W&M ScholarWorks. For more information, please contact [email protected]. Poles and Zeros of Generalized Carathéodory Class Functions A thesis submitted in partial fulfillment of the requirement for the degree of Bachelor of Science with Honors in Mathematics from The College of William and Mary by Yael Gilboa Accepted for (Honors) Vladimir Bolotnikov, Committee Chair Ilya Spiktovsky Leiba Rodman Julie Agnew Williamsburg, VA May 2, 2011 POLES AND ZEROS OF GENERALIZED CARATHEODORY´ CLASS FUNCTIONS YAEL GILBOA Date: May 2, 2011. 1 2 YAEL GILBOA Contents 1. Introduction 3 2. Schur Class Functions 5 3. Generalized Schur Class Functions 13 4. Classical and Generalized Carath´eodory Class Functions 15 5. PolesandZerosofGeneralizedCarath´eodoryFunctions 18 6. Future Research and Acknowledgments 28 References 29 POLES AND ZEROS OF GENERALIZED CARATHEODORY´ CLASS FUNCTIONS 3 1. Introduction The goal of this thesis is to establish certain representations for generalized Carath´eodory functions in terms of related classical Carath´eodory functions. Let denote the Carath´eodory class of functions f that are analytic and that have a nonnegativeC real part in the open unit disk D = z : z < 1 .
  • Topic 7 Notes 7 Taylor and Laurent Series

    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.
  • Control Systems

    Control Systems

    ECE 380: Control Systems Course Notes: Winter 2014 Prof. Shreyas Sundaram Department of Electrical and Computer Engineering University of Waterloo ii c Shreyas Sundaram Acknowledgments Parts of these course notes are loosely based on lecture notes by Professors Daniel Liberzon, Sean Meyn, and Mark Spong (University of Illinois), on notes by Professors Daniel Davison and Daniel Miller (University of Waterloo), and on parts of the textbook Feedback Control of Dynamic Systems (5th edition) by Franklin, Powell and Emami-Naeini. I claim credit for all typos and mistakes in the notes. The LATEX template for The Not So Short Introduction to LATEX 2" by T. Oetiker et al. was used to typeset portions of these notes. Shreyas Sundaram University of Waterloo c Shreyas Sundaram iv c Shreyas Sundaram Contents 1 Introduction 1 1.1 Dynamical Systems . .1 1.2 What is Control Theory? . .2 1.3 Outline of the Course . .4 2 Review of Complex Numbers 5 3 Review of Laplace Transforms 9 3.1 The Laplace Transform . .9 3.2 The Inverse Laplace Transform . 13 3.2.1 Partial Fraction Expansion . 13 3.3 The Final Value Theorem . 15 4 Linear Time-Invariant Systems 17 4.1 Linearity, Time-Invariance and Causality . 17 4.2 Transfer Functions . 18 4.2.1 Obtaining the transfer function of a differential equation model . 20 4.3 Frequency Response . 21 5 Bode Plots 25 5.1 Rules for Drawing Bode Plots . 26 5.1.1 Bode Plot for Ko ....................... 27 5.1.2 Bode Plot for sq ....................... 28 s −1 s 5.1.3 Bode Plot for ( p + 1) and ( z + 1) .
  • Real Rational Filters, Zeros and Poles

    Real Rational Filters, Zeros and Poles

    Real Rational Filters, Zeros and Poles Jack Xin (Lecture) and J. Ernie Esser (Lab) ∗ Abstract Classnotes on real rational filters, causality, stability, frequency response, impulse response, zero/pole analysis, minimum phase and all pass filters. 1 Real Rational Filter and Frequency Response A real rational filter takes the form of difference equations in the time domain: a(1)y(n) = b(1)x(n)+ b(2)x(n 1) + + b(nb + 1)x(n nb) − ··· − a(2)y(n 1) a(na + 1)y(n na), (1) − − −···− − where na and nb are nonnegative integers (number of delays), x is input signal, y is filtered output signal. In the z-domain, the z-transforms X and Y are related by: Y (z)= H(z) X(z), (2) where X and Y are z-transforms of x and y respectively, and H is called the transfer function: b(1) + b(2)z−1 + + b(nb + 1)z−nb H(z)= ··· . (3) a(1) + a(2)z−1 + + a(na + 1)z−na ··· The filter is called real rational because H is a rational function of z with real coefficients in numerator and denominator. The frequency response of the filter is H(ejθ), where j = √ 1, θ [0, π]. The θ [π, 2π] − ∈ ∈ portion does not contain more information due to complex conjugacy. In Matlab, the frequency response is obtained by: [h, θ] = freqz(b, a, N), where b = [b(1), b(2), , b(nb + 1)], a = [a(1), a(2), , a(na + 1)], N refers to number of ··· ··· sampled points for θ on the upper unit semi-circle; h is a complex vector with components H(ejθ) at sampled points of θ.
  • Residue Theorem

    Residue Theorem

    Topic 8 Notes Jeremy Orloff 8 Residue Theorem 8.1 Poles and zeros f z z We remind you of the following terminology: Suppose . / is analytic at 0 and f z a z z n a z z n+1 ; . / = n. * 0/ + n+1. * 0/ + § a ≠ f n z n z with n 0. Then we say has a zero of order at 0. If = 1 we say 0 is a simple zero. f z Suppose has an isolated singularity at 0 and Laurent series b b b n n*1 1 f .z/ = + + § + + a + a .z * z / + § z z n z z n*1 z z 0 1 0 . * 0/ . * 0/ * 0 < z z < R b ≠ f n z which converges on 0 * 0 and with n 0. Then we say has a pole of order at 0. n z If = 1 we say 0 is a simple pole. There are several examples in the Topic 7 notes. Here is one more Example 8.1. z + 1 f .z/ = z3.z2 + 1/ has isolated singularities at z = 0; ,i and a zero at z = *1. We will show that z = 0 is a pole of order 3, z = ,i are poles of order 1 and z = *1 is a zero of order 1. The style of argument is the same in each case. At z = 0: 1 z + 1 f .z/ = ⋅ : z3 z2 + 1 Call the second factor g.z/. Since g.z/ is analytic at z = 0 and g.0/ = 1, it has a Taylor series z + 1 g.z/ = = 1 + a z + a z2 + § z2 + 1 1 2 Therefore 1 a a f .z/ = + 1 +2 + § : z3 z2 z This shows z = 0 is a pole of order 3.
  • Chapter 7: the Z-Transform

    Chapter 7: the Z-Transform

    Chapter 7: The z-Transform Chih-Wei Liu Outline Introduction The z-Transform Properties of the Region of Convergence Properties of the z-Transform Inversion of the z-Transform The Transfer Function Causality and Stability Determining Frequency Response from Poles & Zeros Computational Structures for DT-LTI Systems The Unilateral z-Transform 2 Introduction The z-transform provides a broader characterization of discrete-time LTI systems and their interaction with signals than is possible with DTFT Signal that is not absolutely summable z-transform DTFT Two varieties of z-transform: Unilateral or one-sided Bilateral or two-sided The unilateral z-transform is for solving difference equations with initial conditions. The bilateral z-transform offers insight into the nature of system characteristics such as stability, causality, and frequency response. 3 A General Complex Exponential zn Complex exponential z= rej with magnitude r and angle n zn rn cos(n) jrn sin(n) Re{z }: exponential damped cosine Im{zn}: exponential damped sine r: damping factor : sinusoidal frequency < 0 exponentially damped cosine exponentially damped sine zn is an eigenfunction of the LTI system 4 Eigenfunction Property of zn x[n] = zn y[n]= x[n] h[n] LTI system, h[n] y[n] h[n] x[n] h[k]x[n k] k k H z h k z Transfer function k h[k]znk k n H(z) is the eigenvalue of the eigenfunction z n k j (z) z h[k]z Polar form of H(z): H(z) = H(z)e k H(z)amplitude of H(z); (z) phase of H(z) zn H (z) Then yn H ze j z z n .
  • Meromorphic Functions with Prescribed Asymptotic Behaviour, Zeros and Poles and Applications in Complex Approximation

    Meromorphic Functions with Prescribed Asymptotic Behaviour, Zeros and Poles and Applications in Complex Approximation

    Canad. J. Math. Vol. 51 (1), 1999 pp. 117–129 Meromorphic Functions with Prescribed Asymptotic Behaviour, Zeros and Poles and Applications in Complex Approximation A. Sauer Abstract. We construct meromorphic functions with asymptotic power series expansion in z−1 at ∞ on an Arakelyan set A having prescribed zeros and poles outside A. We use our results to prove approximation theorems where the approximating function fulfills interpolation restrictions outside the set of approximation. 1 Introduction The notion of asymptotic expansions or more precisely asymptotic power series is classical and one usually refers to Poincare´ [Po] for its definition (see also [Fo], [O], [Pi], and [R1, pp. 293–301]). A function f : A → C where A ⊂ C is unbounded,P possesses an asymptoticP expansion ∞ −n − N −n = (in A)at if there exists a (formal) power series anz such that f (z) n=0 anz O(|z|−(N+1))asz→∞in A. This imitates the properties of functions with convergent Taylor expansions. In fact, if f is holomorphic at ∞ its Taylor expansion and asymptotic expansion coincide. We will be mainly concerned with entire functions possessing an asymptotic expansion. Well known examples are the exponential function (in the left half plane) and Sterling’s formula for the behaviour of the Γ-function at ∞. In Sections 2 and 3 we introduce a suitable algebraical and topological structure on the set of all entire functions with an asymptotic expansion. Using this in the following sections, we will prove existence theorems in the spirit of the Weierstrass product theorem and Mittag-Leffler’s partial fraction theorem.
  • Complex Analysis Qual Sheet

    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θ.
  • On Zero and Pole Surfaces of Functions of Two Complex Variables«

    On Zero and Pole Surfaces of Functions of Two Complex Variables«

    ON ZERO AND POLE SURFACES OF FUNCTIONS OF TWO COMPLEX VARIABLES« BY STEFAN BERGMAN 1. Some problems arising in the study of value distribution of functions of two complex variables. One of the objectives of modern analysis consists in the generalization of methods of the theory of functions of one complex variable in such a way that the procedures in the revised form can be ap- plied in other fields, in particular, in the theory of functions of several com- plex variables, in the theory of partial differential equations, in differential geometry, etc. In this way one can hope to obtain in time a unified theory of various chapters of analysis. The method of the kernel function is one of the tools of this kind. In particular, this method permits us to develop some chap- ters of the theory of analytic and meromorphic functions f(zit • • • , zn) of the class J^2(^82n), various chapters in the theory of pseudo-conformal trans- formations (i.e., of transformations of the domains 332n by n analytic func- tions of n complex variables) etc. On the other hand, it is of considerable inter- est to generalize other chapters of the theory of functions of one variable, at first to the case of several complex variables. In particular, the study of value distribution of entire and meromorphic functions represents a topic of great interest. Generalizing the classical results about the zeros of a poly- nomial, Hadamard and Borel established a connection between the value dis- tribution of a function and its growth. A further step of basic importance has been made by Nevanlinna and Ahlfors, who showed not only that the results of Hadamard and Borel in a sharper form can be obtained by using potential-theoretical and topological methods, but found in this way im- portant new relations, and opened a new field in the modern theory of func- tions.
  • Smooth Versus Analytic Functions

    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.
  • Chapter 2 Complex Analysis

    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.