1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
\def\Re{\mathop{\rm Re}\nolimits}
\def\Im{\mathop{\rm Im}\nolimits}
\def\Log{\mathop{\rm Log}\nolimits}
\let\rule\hrule
\def\hrule{\medskip\rule\medskip}
%page 170
% remember the cauchy integral proof
\noindent{\bf 4.}
Inside the contour, the extension of the Cauchy integral applies and
tells us that $g(z)$ is equivalent to $2\pi if''(z)/2!$ where
$f(z) = z^3 + 2z.$ $f''(z) = 6z,$ so this evaluates to $6\pi iz.$
The integrand is analytic where $s\neq z,$ so with $z$ outside of $C,$
the integral is zero by Cauchy's integral theorem---since the integrand
is analytic inside and on the simply connected region enclosed by $C.$
\noindent{\bf 6.}
To determine whether $g(z)$ is analytic, we can use the definition of
the derivative
$$g'(z) = {g(z+\Delta z) - g(z)\over \Delta z}.$$
If it exists, $g$ is analytic.
$$g'(z) = {1\over 2\pi i}\int_C {f(s)\over s-z-\Delta z} - {f(s)\over
s-z} {ds\over \Delta z}$$$$
= {1\over 2\pi i}\int_C {f(s)ds\over (s-z-\Delta z)(s-z)}
= {1\over 2\pi i}\int_C {f(s)ds\over (s-z)^2} + {1\over 2\pi i}\int_C
{\Delta zf(s) ds\over (s-z-\Delta z)(s-z)^2},$$
and that second term is limited by zero because $\Delta z$ can be
arbitrarily low.
If $f(z)$ is continuous on $C,$ where $C\cap\{z\} = \emptyset,$
$|s-z|>0,$ so ${f(z)\over (s-z)^2}$ is continuous and the derivative
exists.
%page 177
\noindent{\bf 2.}
Because $f(z) \neq 0,$ and $f$ is analytic, $g(z) = 1/f(z)$ is
continuous and also analytic.
By the result for maximum values, there exists a value $M$ such that
$|g(z)| \leq M$ for all $z\in R.$
Because $f(z)$ is not constant, $g(z)$ also isn't constant, and the only
points such that $g(z_0) = M$ are on the boundary.
These conditions imply that, for all $z\in R,$ $|f(z)| \geq 1/M,$ and
the only points such that $f(z_0) = 1/M$ is on the boundary.
This proves that the minimum of $f$ are on the boundary.
\noindent{\bf 4.}
$$|f(z)|^2 = |\sin z|^2 = \sin^2 x + \sinh^2 y$$
is maximized when $\sin x$ is maximized and when $\sinh y$ is maximized.
$\sin x$ has a maximum at $x=\pi/2$ on $(0,\pi)$ because this is the
maximum of the real function.
$\sinh y$ has a maximum at $y=1$ on $(0,1)$ because $\sinh x$ tends to
infinity as $x$ approaches either positive or negative infinity.
Therefore, $|f(z)|$ is maximized at $x + yi = \pi/2 + i.$
%page 185
\noindent{\bf 2.}
The principal arguments of these numbers are, for $\Theta_{2n},$
$\tan^{-1}(1/n^2),$ and for $\Theta_{2n+1},$ $\tan^{-1}(-1/n^2).$
Both of these are arbitrarily close to 0 for sufficiently large $n,$ so
the series has sum $0.$
This series converges unlike Example 2 in Section 60 because the value
to which it converges is not a branch cut, where a given point can be
infinitely close to distinct values of $\Theta.$
\noindent{\bf 3.}
If $$\lim_{n\to\infty} z_n = z,$$
$|z_{n} - z| < \epsilon$ for $n > n_0.$
Because $||z_n| - |z|| \leq |z_n - z|,$ $||z_n| - |z|| < \epsilon$ also
for $n > n_0.$
This shows that
$$\lim_{n\to\infty} |z_n| = |z|.$$
\noindent{\bf 8.}
$$\sum_{n=1}^\infty z_n = S = S_x + iS_y,$$
which are in turn defined as infinite sums over the real numbers.
Similarly, $T = T_x + iT_y.$
Therefore,
$$\sum_{n=1}^\infty (z_n + w_n) = \sum_{n=1}^\infty (z_{x_n} + iz_{y_n}
+ w_{x_n} + iw_{y_n}) = \sum_{n=1}^\infty (z_{x_n} + w_{x_n}) +
i(z_{y_n} + w_{y_n})$$$$ = (S_x + T_x) + i(S_y + T_y) = S_x + iS_y + T_x
+ iT_y = S + T,$$
made possible by the analogous property for real series and the fact
that $\sum_{n=1}^\infty iz_n = i\sum_{n=1}^\infty z_n.$
\bye
|
