Lecture Description
(0:00) Quiz ready. (0:22) Purely algebraic proof of the Fundamental Theorem of Algebra (involves Field Theory, Galois Theory, Group Theory, and the Sylow Theorems). (2:32) Plan for the day. (3:11) Taylor series for an analytic function centered at a point z0 (at which it is analytic). (6:58) Find the Taylor series for the sine function centered at z0 = 0. (12:07) Show graphs of partial sums on the real line converging to the graph of the sin(x). (14:40) Write down the Taylor series for the cosine function centered at z0 = 0 and graph the partial sums on the real line. (16:36) Write down the Taylor series for the exponential function e^z centered at z0 = 0 and graph the partial sums on the real line. (18:47) Taylor series for 1/(1 - z) centered at z0 = 0 (geometric series), for z within 1 unit of 0. (21:18) Use the Ratio Test to prove the convergence of the Taylor series for e^z for all z (though this doesn't prove it converges to e^z) and graph the partial sums on the real line. (29:41) Taylor series for 1/(1+z^2). (32:21) Graph of partial sums on the real line. Why is the interval of convergence just the open interval from -1 to 1? The function has a pole at z = i and z = -i. (38:28) Integrate the Taylor series for 1/(1+z^2) term-by-term to get the Taylor series for the principal value of the arctangent function. (42:29) Approximations of pi with the Taylor series for arctangent (including Machin's formula). (46:56) Differentiate the series for 1/(1+z^2) term-by-term to get the Taylor series for -2z/((1+z^2)^2).
Course Index
- Complex Arithmetic, Cardano's Formula
- Geometric Interpretations of Complex Arithmetic, Triangle Inequality
- Polar Form, Principal Value of Arg, Basic Mappings
- Mappings, Linear Mappings, Squaring Map, Euler's Identity
- Squaring Mapping, Euler's Identity & Trigonometry, 5th Roots Example
- Exponential Map on Mathematica, Squaring Map, Intro to Topology
- Exponential & Reciprocal Maps, Domains, Derivative Limit Calculations
- Topological Definitions, Limits, Continuity, Linear Approximation
- Facts to Recall, Animations, Continuity Proofs (z^2 and 1/z)
- Open Disks are Open, Derivatives, Analyticity, Linear Approximations
- Areas of Images, Differentiability, Analyticity, Cauchy-Riemann Eqs
- Cauchy-Riemann Eqs (Rectangular & Polar), Intro Harmonic Functions
- Preimages, Laplace's Equation, Harmonic and Analytic Functions
- Preimages, Mathematica, Maximum Principle (Harmonic), Polynomials
- Review Analytic Functions, Amplitwist Concept, Harmonic Functions
- Taylor Polynomials, Complex Exponential, Trig & Hyperbolic Functions
- Complex Logarithm, Functions as Sets, Multivalued Functions
- Branches of Arg, Harmonic Functions over Washers, Wedges and Walls
- Complex Powers, Inverse Trigonometric Functions, Branch Cuts
- Invariance of Laplace's Eq, Real & Im Parts of Complex Integrals
- Conformality, Riemann Mapping Theorem, Vector Fields, Integration
- Complex Integrals, Cauchy-Goursat Theorem, Quick Exam 2 Review
- Real Line Integrals and Applications, Complex Integration
- Integration, Cauchy-Goursat Theorem, Cauchy Integral Formula
- Cauchy Integral Formula, Applications, Liouville's Theorem
- Sequences and Series of Functions, Maximum Modulus on Mathematica
- Review Cauchy's Theorem, Cauchy Integral Formulas, and Corollaries
- Taylor Series Computations, Graphs of Partial Sums, Ratio Test
- Uniform Convergence, Taylor Series Facts
- Laurent Series Calculations, Visualize Convergence on Mathematica
- Laurent Series, Poles, Essential Singularities
- More Laurent Series, Review Integrals & Cauchy Integral Formula
- Integrating 1/(1+z^2), Mathematica programming, Residues
- Series, Zeros, Isolated Singularities, Residues, Residue Theorem
- Residue Theorem Examples, Principal Values of Improper Integrals
Course Description
Based on "Fundamentals of Complex Analysis, with Applications to Engineering and Science", by E.B. Saff and A.D. Snider (3rd Edition). "Visual Complex Analysis", by Tristan Needham, is also referred to a lot. Mathematica is often used, especially to visualize complex analytic (conformal) mappings.