Instructor | Sheel Ganatra | TA | Zachary Wickham |
Office | KAP 266D | Office | KAP 248A |
sheel (dot) ganatra (at) usc (dot) edu (this is the best way to reach me) | zwickham (at) usc (dot) edu | ||
Office Hours | (2/24-2/28): Mon 3:15-4:15pm, Wed 10-11am, Fri 10-11am. | Office Hours | (Every week) Tues 2-4, Wed 2-3. |
Math 520 is a graduate-level introduction to complex analysis, which is broadly the study of complex differentiable functions of one (complex) variable. Remarkably, the condition that a function be complex differentiable is an incredibly strong and rigid one: it is automatically infinitely differentiable and analytic (and hence is often just called a complex analytic function), and has a quite rigid behavior. This behavior can and will be studied from a variety of viewpoints, and we will explore consequences and applications, examples, and the (intimately related) theory of harmonic functions.
Prequesite-wise, we will assume some familiarity with real analysis at the level of Math 425, and comfort with writing proofs at an (introductory) graduate level. Concretely, we will essentially assume (but sometimes briefly review) basic facts about the real (and to some extent complex) numbers, limits, continuity, calculus (differentiability/integration of real functions), metric topology (open, closed, and compact sets, etc.).
The official course text is: Complex Analysis, Lars Ahlfors, McGraw-Hill (3rd edition). We may deviate from this book; if so additional references will be posted as needed.
Some topics to be covered (subject to change) include:
A more detailed lecture plan (updated on an ongoing basis, after each lecture) will be posted below.
Homeworks will be posted here on an ongoing basis (roughly a week or more before they are due) and will be due on the date listed. You can handwrite or LaTeX your solutions. You may work with others and consult references (including the course textbook), but the homework you turn in must be written by you independently, in your own language, and you must cite your sources and collaborators.
Note: Homework deadline extensions are possible upon arrangement with me (with our TA, CC'ed) up to 3 times a semester, and at most once per HW. If you decide to request an extension from me, there will be no grading penalty if the HW is submitted within a couple days -- I'll set a more precise deadline each request. Beyond this, late homework will not be accepted.
Due date | Assignment |
---|---|
Friday 1/24 | Homework 1. |
Friday, 1/31 | Homework 2. |
Monday, 2/10 | Homework 3. |
Lecture topics by day will be posted on an ongoing basis below. Future topics are tentative and will be adjusted as necessary.
Day | Lecture topics | References and remarks (in Ahflors unless stated) | Notes |
---|---|---|---|
Jan. 13 | Welcome and overview of class. Real and complex numbers (basic definitions). | Chapter 1 | |
Jan. 15 | More on complex numbers: conjugate, norm. Real part and imaginary part give an identification C = R^2. Complex mutplication is multiplicative on norms and additive on arguments. Real linear maps from C = R^2 to C = R^2 (which are multiplication by a 2 x 2 matrix), and complex linear maps (which are multiplication by a complex scalar), and various characterizations of which real-linear maps are in fact complex linear. | Chapter 1 Section 1 (p 1-12) | |
Jan. 17 | A review of limits and differentiability of real (multivariable) functions, partial derivatives. Complex differentiability of a function f: C to C and its relationship to real differentiability of the same function ("Complex differentiability is real differentiability along with the total derivative matrix being a complex linear map"). The Cauchy-Riemann equations. Harmonic functions. | Chapter 1 Section 2.1 (p. 12-15), Chapter 2 Section 1.1-1.3 (p. 21-29) | Note that Ahlfors calls functions which have a well-defined complex derivative complex analytic whereas we will for now use complex differentiable or holomorphic, and only use the term analytic once we prove the (non-trivial) theorem that complex differentiable functions are in fact analytic (in the sense of being infinitely differentiable and equal to its Taylor expansion in a neighborhood of any point). |
Jan. 20 | No class (MLK day) | ||
Jan. 22 | The Cauchy-Riemann equations, harmonic functions, and conjugate harmonic functions (if they exist). Limits, sequences, and series (a review of concepts from real analysis). | Same as last class, plus Chapter 2 section 2.1-2.2 (p. 33-35) | |
Jan. 24 | Series and power series, convergence and absolute convergence. Abel's theorem on convergence of power series (in a real or complex variable). | Chapter 2 Section 2.2-2.4 (p. 35-40) | |
Jan. 27 | The Weierstrass M-test and the proof of Abel's theorem. | Chapter 2 Section 2.2-2.4 (p. 35-40) | |
Jan. 29 | Exponential and trignometric functions (defined via their series and/or differential equations). The periods of the exponential function are integer multiples of 2 pi i. | Chapter 2 Section 3.1-3.3 (p. 42-46) | |
Jan. 31 | Logarthims and exponentiations of complex numbers by other complex numbers (both functions which in general are multi-valued, unless one chooses a branch i.e., specifies some sort of domain over which the logarithm is both single-valued and continuous/differentiable. A review of topology: metric spaces, open and closed sets, continuous functions, uniformly continuous functions. | Chapter 2 Section 3.4 (p. 46-49) Chapter 3 Section 1.1-1.2 (p. 50-54), 1.5 (p. 63-66), Chapter 3 Section 2.2 (p. 69-72) | |
Feb. 3 | More topology review: connected and locally connected subsets of metric spaces, complete metric spaces, and compactness. The Bolzano-Weierstrass theorem and Heine-Borel theorems. The intermediate value theorem. Any continuous function on a compact set is uniformly continuous, and --- if it is real-valued --- attains a max and a min. | Chapter 3 Section 1.1-1.5 (p. 50-66). | |
Feb. 5 | Complex differentiable maps (when their derivative isn't zero) as conformal maps (maps that preserve angles between tangent vectors but scale and rotate a variable amount). Conformal equivalences/biholomorphisms/complex diffeomorphisms of regions in c. The Riemann mapping theorem (statement). Integration of parametrized curves. | Chapter 3 Section 2 (p. 67-75) | |
Feb. 7 | (Parametrized) curves in C, also known as arcs (which are assumed piecewise continuous or differentiable dependending, but for some purposes need only be rectifiable). Operations on curves: Concatenation, reversal. Line integrals (integrals of functions along curves). | Chapter 4 Section 1.1-1.3 (p. 101-109) | |
Feb. 10 | More line integrals. A study of when line integrals only depend on the endpoints of the curve. The line integrals of f(z) dz only depends on the endpoints if f is the complex derivative of a complex differentiable function defined on some region containing the curve. | Chapter 4 Section 1.1-1.3 (p. 101-109) | |
Feb. 12 | Cauchy's theorem for a rectangle. | Chapter 4 Section 1.4 (p. 109-112) | |
Feb. 14 | Cauchy's theorem for a disk. Winding numbers of closed curves (about points not in their image). The Cauchy integral formula. | Chapter 4 Section 1.5, Chapter 4 Section 2.1-2.2 (p. 112-120). | |
Feb. 17-21 | No class. |