$\newcommand{\Ds}{\displaystyle} \newcommand{\PP}{{\mathbb P}} \newcommand{\RR}{{\mathbb R}} \newcommand{\KK}{{\mathbb K}} \newcommand{\CC}{{\mathbb C}} \newcommand{\ZZ}{{\mathbb Z}} \newcommand{\NN}{{\mathbb N}} \newcommand{\TT}{{\mathbb T}} \newcommand{\QQ}{{\mathbb Q}} \newcommand{\Abs}{{\left|{#1}\right|}} \newcommand{\Floor}{{\left\lfloor{#1}\right\rfloor}} \newcommand{\Ceil}{{\left\lceil{#1}\right\rceil}} \newcommand{\sgn}{{\rm sgn\,}} \newcommand{\Set}{{\left\{{#1}\right\}}} \newcommand{\Norm}{{\left\|{#1}\right\|}} \newcommand{\Prob}{{{{\mathbb P}}\left[{#1}\right]}} \newcommand{\Mean}{{{{\mathbb E}}\left[{#1}\right]}} \newcommand{\cis}{{\rm cis}\,} \newcommand{\one}{{\mathbf 1}} \renewcommand{\Re}{{\rm Re\,}} \renewcommand{\Im}{{\rm Im\,}} \renewcommand{\arg}{{\rm arg\,}} \renewcommand{\Arg}{{\rm Arg\,}} \renewcommand{\deg}{{\rm deg\,}} \newcommand{\ft}{\widehat{#1}} \newcommand{\FT}{\left(#1\right)^\wedge} \newcommand{\Lone}{{\left\|{#1}\right\|_{1}}} \newcommand{\Linf}{{\left\|{#1}\right\|_\infty}}$

# Complex Analysis ### University of Crete

Teacher: Mihalis Kolountzakis

Announcements

1. 22/1/2023:    Final grades here.. You can see your paper, if you want, on Tuesday, Feb. 7, 11:00-12:00, at my office. Please do not come earlier.
2. 13/1/2023:    We had our final exam. Here is the exam with solutions.
3. 19/12/2022:    We will have an extra class after the break: Tuesday, 10/1/2023, 15:00 in our usual room.
4. 4/12/2022:

No class tomorrow, Monday December 5, as I am still sick. See you Wednesday.

5. 29/11/2022:

No class tomorrow, Wednesday November 30, because of a slight emergency. Also no office hours on Thursday. See you Monday.

6. 27/11/2022:

You can find the results of the midterm exam here.

7. 16/11/2022:

You can have a look at the intermediate exam of this course (of 2019-20) here: / Please come prepared to ask questions on Monday morning. Go over all homework problems as well as over all problems of the old exam.

8. 24/10/2022:

Intermediate exam: Monday 21/11/2022, 17:30-19:30 in auditorium A201. The morning lecture on that Monday will be held normally.

Those of you who have a significant reason to be exempted from this exam must contact me by email until Sunday, Nov. 13, 2022. No exceptions beyond that date. Students granted exemption, who will only take the final exam, can be seen here.

9. 20-9-2018:     Το μάθημα θα διδαχθεί στα Αγγλικά μια και στο ακροατήριο θα υπάρχουν φοιτητές από το πρόγραμμα Erasmus. Θα γίνει με τέτοιο τρόπο ώστε με μια στοιχειώδη γνώση Αγγλικών να μην έχει κανείς πρόβλημα να το παρακολουθήσει. Το κυρίως σύγγραμα [CB] υπάρχει και στα Αγγλικά και όλες οι ασκήσεις και τα διαγωνίσματα θα είναι και στις δύο γλώσσες.

10. 26 Sep 2022: Lectures begin.

Schedule

Mon 9-11, Wed 9-11.
Room: E204

Teacher's office hours: Thu 10-11 in Γ213 or by appointment.

Course description

Goal: Introduction to complex analysis.

Contents: Complex numbers and geometry of the complex plane. Analytic functions, contour integrals and power series. Cauchy theory and applications.

Books and lecture notes

1. [CB]: R. Churchill and J. Brown, "Complex variables and applications", 2nd edition, Crete University Press (main textbook -- 10 copies have been put on reserve in the library for use in the library only). This is a translation of the (1984) 4th edition published by McGraw-Hill.
2. [P]: M. Papadimitrakis, "Complex Analysis", lecture notes. In Greek.
3. [BN]: J. Bak και D. J. Newman, "Complex Analysis", 2004, Leader Books. This is a translation of the 1997 edition by Springer.

Student evaluation

Intermediate exam 40%, final exam 60%. This remains the same for all further examination periods.

Class diary

#### Mon, 26 Sep. 2022

We went through the definition of complex numbers and their elementary algebraic and geometric properties. We did not talk yet about the polar (trigonometric) form of the complex numbers.

#### Wed, 28 Sep. 2022

We saw the concept of the argument (angle) of a complex number and how a complex number can be written in trigonometric form $z = r(\cos\theta+i\sin\theta)$. Then we defined the symbol $e^{i\theta} = \cos\theta+i\sin\theta$ and saw, using the fact that the argument of the product of two numbers is the sum of their arguments, that it obeys the usual rule $e^{i(\theta_1+\theta_2)} = e^{i\theta_1} e^{i\theta_2}$, which allows us to write the complex number $z$ as $re^{i\theta}$ and simplifies calculations tremendously. Then we solved the equation (in $z$) $$z^n = r e^{i\phi}$$ and saw that the solutions are the $n$ complex numbers $$r^{1/n} e^{i\theta}$$ where $\theta$ can take the $n$ values $\frac{\phi}{n}+\frac{k}{n}2\pi$, for $k=0, 1, \ldots, n-1$. These are always the vertices of a regular $n$-gon centered at $0$ and at distance $r^{1/n}$ from $0$.

#### Mon, 3 Oct. 2022

Today we examined in much more detail the roots of unity, i.e., the roots of the equation $z^n-1=0$, for the different values of $n$. Apart from repating the generalities that we saw last time we also examine the question "which are the $m$-th roots of unity that are also $n$-th roots of unity?". After seing several special cases of this problem we concluded that the answer is all the $g$-th roots of unity where $g = (m, n)$ is the greatest common divisor of $m$ and $n$.

We then talked about open and closed sets in the plane, saw several examples, and proved that arbitrary unions of open sets remain open. We also defined a connected set in the plane to be one such for every two points in that set, say $z$ and $w$, we can find a polygonal line connecting them without ever leaving the set.

#### Wed, 5 Oct. 2022

We solved several of the problems of the 1rst problem set. Then we talked about limits of complex sequences and continuity of complex functions at a point. We said what it means for $z_n \to \infty$ and described the stereographic projection. We saw several simple examples of functions $f:\CC\to\CC$ and saw how they transform some simple shapes. Next we saw some examples of parametrizations of curves in the complex plane. Finally what defined the derivative of a function $f:\CC\to\CC$ at a point $z_0$ where it is defined. We saw that the functions $z, z^2$ are differentiable everywhere but that the function $\overline{z}$ is not.

#### Mon, 10 Oct. 2022

We proved some theorems, mostly identical with the real case or, at least, with the corresponding result about real functions on the plane, regarding convergence, convergence to infinity, continuity and when it is preserved. The last thing we proved is that if $\Omega\subseteq\CC$ is a bounded, closed set and $z_n \in \Omega$ then the sequence $z_n$ has a convergent subsequence which converges to a point $z\in\Omega$. By now we have covered everything in [CB] up to the definition of a complex derivative.

#### Mon, 10 Oct. 2022

We used the last result of last time to prove that for every continuous function $f:\Omega\to\CC$, where $\Omega \subseteq \CC$ is bounded and closed, there is $z_0 \in \Omega$ such that $\Abs{f(z_0)} = \sup_{z \in \Omega} \Abs{f(z)}$. Then we returned to the definition of a complex derivative and we indicated that the usual rules of differentiation hold, as we knew them for real functions of a real variable. We talked about polynomials, how we divide them, and why if a polynomial $P(z)$ vanishes at $\rho \in \CC$ it can be written in the form $$P(z) = (z-\rho) Q(z)$$ where $Q(z)$ is another polynomial of degree $\deg Q = \deg P -1$. This implies that a polynomial of degree $n$ cannot vanish on $n+1$ different complex numbers unless it is constantly 0. It also implies that if two polynomials $P, Q$ of degree $\le n$ agree on $n+1$ points then they are the same polynomial.

Writing $f(z) = u(z)+iv(z)$, with real functions $u, v$, we proved that if $f'(z)$ exists at $z = x+iy$ then the Cauchy-Riemann equations hold: $$u_x = v_y,\ \ u_y = - v_x.$$

#### Mon, 17 Oct. 2022

We solved several problems from Problem Set No 2. Then we proved that if a function $f(z) = u(z)+iv(z)$ satisfies the Cauchy-Riemann equations at a point $z=x+iy$ and if the partial derivaties $u_x, u_y, v_x, v_y$ exist and are continuous in a neighborhood of the point $x+iy$ then $f'(z)$ exists. Along the way we rememberd the notations $O(\cdot)$ and $o(\cdot)$ and what they mean.

#### Wed, 19 Oct. 2022

First we saw how the Cauchy-Riemann equations transform in polar coordinates. Then we saw how to apply the C-R equations to show that several functions (such as $e^z$, $1/z$) are differentiable. We defined what it means for a function to be analytic at a point or to be anayltic on a set $S \subseteq \CC$. We talked about the function $\sqrt{z}$ and saw that, in order to have it continuous on its domain of definition, we are forced to exclude the negative semi-axis from its domain (this is the slit complex plane). We then talked about harmonic functions and their conjugates.

#### Mon, 24 Oct. 2022

We talked about the function $\exp(z) = e^z = e^{\Re{z}} e^{i \Im{z}}$. We saw some of its mapping and periodicity properties. We also saw how it grows when $z$ moves towards $\infty$ in the complex plane. Then we defined the trigonometric functions $\cos{z}$ and $\sin{z}$ using the exponential function and studied them similarly. We also talked briefly about the hyperbolic functions $\cosh{z}$ and $\sinh{z}$ which are also defined via the exponential function. We defined the logarithm function ${\rm Log}\, z = \ln\Abs{z}+i\Arg{z}$ and saw that it cannot be defined as a continuous functions on $\CC\setminus\Set{0}$ and we can have continuity and analyticity if we restrict this function to be defined on the slit plane (remove the negative half-axis plus the point 0).

We started talking about the complex integral along a curve $\Gamma$ in the complex plane. We defined the integral via a parametrization of $\Gamma$ and saw, by an example, that the parametrization used on the curve does not affect the outcome. We will prove this later.

#### Wed, 26 Oct. 2022

We first saw that, in the definition of the contour integral, the parametrization of the curve does not affect the outcome. Then we talked about the triangle inequality $$\Abs{\oint_\Gamma f(z) dz} \le \oint_\Gamma \Abs{f(z)} \Abs{dz}$$ where $\Abs{dz} = \Abs{z'(t)}dt$, and saw the so-called M-L bound $$\Abs{\oint_\Gamma f(z) dz} \le M L$$ where $L = \oint_\Gamma \Abs{dz}$ is the length of the curve and $M$ is an upper bound for $\Abs{f(z)}$ on $\Gamma$.

We computed several examples of contour integrals using the definition.

Then we saw that if $f(z) = F'(z)$ on $\Gamma$ we have $$\oint_\Gamma f(z) dz = F(b)-F(a),$$ where $a$ and $b$ are the two endpoints of the curve $\Gamma$ (from $a$ to $b$). Using this we can understand many of the zeros that we got in our example contour integrals.

#### Mon, 31 Oct. 2022

We started by computing a few more examples of contour integrals (e.g. the integral of $1/z^2$ over the upper semicircle of radius 3 centered at the origin). We then saw a few cases where we applied the so-called $M\cdot L$ bound to obtain upper bounds for some integrals (not precise values).

We then proved that for a continuous function $f$ on a domain $D$ the following are equivalent:

1. $f$ has an antiderivative in $F$
2. the contour integrals $\oint_\Gamma f(z)\,dz$ do not depend on $\Gamma$ but only on the first and final points of $\Gamma$ (for $\Gamma \subseteq D$)
3. the contour integrals $\oint_\Gamma f(z)\,dz$ vanish for every closed contour $\Gamma \subseteq D$
We used this theorem to show that all integrals of $1/z^2$ over a closed curve in the punctured plane $D=\CC\setminus\Set{0}$ are $0$ (as this function has an antiderivative in $D$, namely the function $-1/z$).

Then we remembered the real contour integrals of Calculus, i.e. the expressions of the form $\oint_{C} P(x, y)dx + Q(x,y)dy$ as well as Green's theorem which relates such contour integrals over simple closed curves the the double integral of the interior of the curve. We used Green's theorem, coupled with the Cauchy-Riemann equations to show that every (complex) contour integral $\oint_C f(z)\,dz=0$ over any closed curve $C$ for any function $f$ that is analytic in the interior of $C$ (and on $C$) and for which we assume that it has a continuous derivative $f\prime$ there. This last requirement is not really necessary and we will see a proof of this next.

#### Wed, 2 Nov. 2022

We first proved Cauchy's theorem on a rectangle with no continuity assumption for the derivative of $f$ (we followed the proof in Newman's book). Then we extended this to every simple closed curve $C$ such that $f$ is analytic on $C$ and in the interior of $C$ (the conclusion is that $\oint_C f(z)\,dz = 0$). We saw what are simply connected domains and proved that any function that is analytic on a simply connected domain $D$ has an antiderivative on $D$ (and, therefore, its integrals on any closed curve in $D$ is 0). Finally we saw that if $C_1$ is a simple closed curve which contains in its interior some simple closed curves $C_2, \ldots, C_n$ (such that all curves $C_j$ are exterior to any curve $C_i$, $i=2,\ldots,n$) then $$\oint_{C_1} f(z)\,dz = \oint_{C_2} f(z)\,dz + \cdots + \oint_{C_n} f(z)\,dz.$$

#### Mon, 7 Nov. 2022

Today we proved Cauchy's integral formula for the function $f$ and its derivatives of all orders. Along the way we proved that if a function $f$ is analytic at a point $z_0$ then it has derivatives of all orders at $z_0$. The formula is $$f^{(n)}(z_0) = \frac{n!}{2\pi i} \oint_C \frac{f(z)\,dz}{(z-z_0)^{n+1}},$$ where $C$ is a simple closed curve with $z_0$ in its interior and $f$ is a function that is analytic inside and on $C$. The left-hand side $f^{(n)}(z_0)$ is the $n$-th derivative of $f$ at $z_0$ (by definition the $0$-th derivative is the function $f$ itself). We then used these formulas to compute several concrete integrals.

#### Wed, 9 Nov. 2022

We solved several problems today, from problems sets 5 and 6 and also some problems involving using Caychy's integral formulas.

#### Mon, 14 Nov. 2022

We proved Morera's theorem, which says that if a continuous function $f$ has 0 integral over any closed curve then it is analytic. Then we proved the Maximum Modulus Principle, which says that if a function is analytic at $z_0$ and $\Abs{f}$ has a local maximum at $z_0$ then $f$ is constant in a neighborhood of $z_0$. If a function is analytic and not constant on a connected open $D \subseteq \CC$ then we also proved that $\Abs{f}$ cannot have any local maxima in $D$.

#### Wed, 16 Nov. 2022

We used the maximum modulus principle to prove a similar statement for the minimum modulus (provided the function does not vanish) and also for the real and imaginary parts of an analytic function. Then we proved the so-called Cauchy estimates which bound the function and its derivatives at a point using the maximum of the function on a circle centered at the point and used them to prove Liouville's theorem (a bounded entire function is necessarily a constant). Then we used Liouville's theorem to prove the Fundamental Theorem of Algebra (every non-constant polynomial has a root in $\CC$).

#### Mon, 21 Nov. 2022

In our morning session we solved the problems from the homeworks that had not gone over yet, as well as the problems from the midterm exam of 2019-20. In the evening we held our midterm exam: / .

#### Wed, 23 Nov. 2022

After a brief introduction to series of complex numbers we proved Taylor's theorem, which states that if $f$ is analytic in the open disk $$D = \Set{z:\ \Abs{z-z_0} \lt R}$$ then for all $z \in D$ we have the Taylor series expansion $$f(z) = \sum_{n=0}^\infty \frac{f^{(n)}(z_0)}{n!} (z-z_0)^n.$$ We also showed that if $f$ is analytic in the annulus (ring) $$A = \Set{z:\ R_1 \lt \Abs{z-z_0} \lt R_2}$$ (where $0\le R_1 \lt R_2 \le +\infty$) then for each $z \in A$ we have the Laurent expansion $$f(z) = \sum_{n=-\infty}^\infty a_n (z-z_0)^n,$$ for some complex numbers $a_n$, $n \in \ZZ$.

We then saw several examples of how we compute such Taylor or Laurent expansions for specific functions $f(z)$.

#### Mon, 28 Nov. 2022

We went through some of the midterm exam problems. Then we described some more examples of Laurent series of functions, how they are derived and where they hold. Then we proved that if a power series $\sum_{n=0}^\infty a_n z^n$ converges for a point $z_1$ then it converges absolutely for all $z$ with $\Abs{z} < \Abs{z_1}$. If $0<\rho < \Abs{z_1}$ the convergence is even uniform for $\Abs{z} \le \rho$. We showed how this theorem transforms for Laurent series.

#### Wed, 30 Nov. 2022

No class today as the instructor was sick.

#### Mon, 5 Dec. 2022

No class today as the instructor was sick.