Section 2

The Real Part of a Power Series

[11/100%]
Show
LaTeX
Problem 3.230

We assume that the function

f(z)=a0+a1z+a2z2+⋯+anzn+⋯is regular in the disk∣z∣<R. f(z) = a_{0}+a_{1}z+a_{2}z^{2}+\cdots +a_{n}z^{n}+\cdots \quad \text{is regular in the disk} \quad \left|z\right|<R.

Express the coefficients a1,a2,…,an,…a_{1},a_{2},\ldots ,a_{n},\ldots in terms of the real and the imaginary part resp.of f(z)f(z) on the circle ∣z∣=r\left|z\right|=r, 0<r<R0<r<R.

?
Problem 3.231

(continued). We set \ref(reiϑ)=U(r,ϑ)\re f(re^{i\vartheta }) = U(r,\vartheta ) and assume that f(0)f(0) is real and ∣z∣<r\left|z\right|<r. Then

f(z)=12π∫02πU(r,ϑ) r+ze−iϑr−ze−iϑ dϑ. f(z) = \frac{1}{2\pi }\int _{0}^{2\pi } U(r,\vartheta )\, \frac{r+ze^{-i\vartheta }}{r-ze^{-i\vartheta }}\, d\vartheta .
?
Problem 3.232

(continued). Suppose f(z)f(z) does not vanish on ∣z∣=r\left|z\right|=r and that its zeros in the disk ∣z∣<r\left|z\right|<r are c1,c2,…,cmc_{1},c_{2},\ldots ,c_{m}. Then we have for ∣z∣<r\left|z\right|<r

log⁡f(z)=iγ+∑μ=1mlog⁡(z−cμ)rr2−cμ‾z+12π∫02πlog⁡∣f(reiϑ)∣ r+ze−iϑr−ze−iϑ dϑ, \log f(z) = i\gamma + \sum _{\mu =1}^{m} \log \frac{(z-c_{\mu })r}{r^{2}-\overline{c_{\mu }}z} + \frac{1}{2\pi }\int _{0}^{2\pi } \log \left|f(re^{i\vartheta })\right|\, \frac{r+ze^{-i\vartheta }}{r-ze^{-i\vartheta }}\, d\vartheta ,

where γ\gamma is a real constant. [Consequence of problem 231 as problem 120 is a consequence of problem 119.]

?
Problem 3.233

The function f(z)f(z) is regular, its real part is positive in the open disk ∣z∣<R\left|z\right|<R and continuous in the closed disk ∣z∣≤R\left|z\right|\leq R. If the real part becomes identically zero on an arc of the circle the imaginary part of f(z)f(z) changes on this arc always in the same sense: it decreases as arg⁡z\arg z increases.

?
Problem 3.234

Let f(z)=a0+a1z+a2z2+⋯+anzn+⋯f(z) = a_{0}+a_{1}z+a_{2}z^{2}+\cdots +a_{n}z^{n}+\cdots be regular in the disk ∣z∣<R\left|z\right|<R, f(reiϑ)=U(r,ϑ)+iV(r,ϑ)f(re^{i\vartheta }) = U(r,\vartheta )+iV(r,\vartheta ), U(r,ϑ),V(r,ϑ)U(r,\vartheta ),V(r,\vartheta ) are real. Then the equation

∫02π[U(r,ϑ)]2 dϑ=∫02π[V(r,ϑ)]2 dϑ \int _{0}^{2\pi } [U(r,\vartheta )]^{2}\, d\vartheta = \int _{0}^{2\pi } [V(r,\vartheta )]^{2}\, d\vartheta

holds for 0<r<R0<r<R provided that it holds for r=0r=0.

?
Problem 3.235

The function

f(z)=12+a1z+⋯+anzn+⋯ f(z) = \frac{1}{2} + a_{1}z + \cdots + a_{n}z^{n} + \cdots

is assumed to be regular and to have positive real part in the open disk ∣z∣<1\left|z\right|<1. Then ∣an∣≤1\left|a_{n}\right|\leq 1, n=1,2,…n=1,2,\ldots In none of these inequalities can we replace 11 by a smaller number.

?
Problem 3.236

Suppose that the function

f(z)=a0+a1z+a2z2+⋯+anzn+⋯is regular and that\ref(z)<A f(z) = a_{0}+a_{1}z+a_{2}z^{2}+\cdots +a_{n}z^{n}+\cdots \quad \text{is regular and that} \quad \re f(z)<A

on the disk ∣z∣<R\left|z\right|<R. Then the inequality

∣a0∣+∣a1∣r+∣a2∣r2+⋯+∣an∣rn+⋯≤∣a0∣+2rR−r(A−\rea0) \left|a_{0}\right|+\left|a_{1}\right|r+\left|a_{2}\right|r^{2}+\cdots +\left|a_{n}\right|r^{n}+\cdots \leq \left|a_{0}\right| + \frac{2r}{R-r}(A-\re a_{0})

holds for 0<r<R0<r<R. Example: f(z)=z+1z−1f(z)=\dfrac {z+1}{z-1}, R=1R=1, A=0A=0.

?
Problem 3.237

We assume that the Laurent series

ψ(z)=∑n=−∞∞anzn \psi (z) = \sum _{n=-\infty }^{\infty } a_{n}z^{n}

converges on the annulus 0<∣z∣<∞0<\left|z\right|<\infty (sphere from which two points have been removed) and that z=0z=0 and z=∞z=\infty are essential isolated singular points. The maximum of the real part of ψ(z)\psi (z) on the circle ∣z∣=r\left|z\right|=r is denoted by A(r)A(r). A(r)A(r) increases to ∞\infty faster than any power of rr as r→∞r\to \infty and faster than any power of 1r\dfrac {1}{r} as r→0r\to 0. Precisely

lim⁡r→∞log⁡A(r)log⁡r=+∞,lim⁡r→0log⁡A(r)log⁡1r=+∞. \lim _{r\to \infty } \frac{\log A(r)}{\log r} = +\infty , \quad \lim _{r\to 0} \frac{\log A(r)}{\log \dfrac {1}{r}} = +\infty .
?
Problem 3.238

We assume that the function f(z)=a0+a1z+⋯+anzn+⋯f(z) = a_{0}+a_{1}z+\cdots +a_{n}z^{n}+\cdots is regular in the disk ∣z∣<R\left|z\right|<R and we denote by Δ(f)\Delta (f) the largest oscillation of the real part of f(z)f(z) in ∣z∣<R\left|z\right|<R, i.e.Δ(f)\Delta (f) is the least upper bound of ∣\ref(z1)−\ref(z2)∣\left|\re f(z_{1})-\re f(z_{2})\right| for ∣z1∣<R\left|z_{1}\right|<R, ∣z2∣<R\left|z_{2}\right|<R. Then we have

∣a1∣R≤2πΔ(f). \left|a_{1}\right|R \leq \frac{2}{\pi }\Delta (f).

The factor 2π\dfrac {2}{\pi } cannot be replaced by a smaller one.

Interpret this proposition geometrically.

?
Problem 3.239

Let the function f(z)=a0+a1z+⋯+anzn+⋯f(z) = a_{0}+a_{1}z+\cdots +a_{n}z^{n}+\cdots be regular in the disk ∣z∣<R\left|z\right|<R and denote by D(f)D(f) the largest oscillation of f(z)f(z) for ∣z∣<R\left|z\right|<R, i.e.D(f)D(f) is the least upper bound of ∣f(z1)−f(z2)∣\left|f(z_{1})-f(z_{2})\right| for ∣z1∣<R\left|z_{1}\right|<R, ∣z2∣<R\left|z_{2}\right|<R. Then we have

∣a1∣R≤12D(f). \left|a_{1}\right|R \leq \frac{1}{2}D(f).

The factor 12\frac{1}{2} can not be replaced by a smaller one. Interpret this proposition geometrically.

?
Problem 3.240

Let the function f(z)f(z) satisfy the following conditions:

  1. f(z)f(z) is regular, ∣f(z)∣≤M\left|f(z)\right|\leq M in the disk ∣z−s∣≤r\left|z-s\right|\leq r;

  2. f(z)f(z) does not vanish in the closed half-disk ∣z−s∣≤r\left|z-s\right|\leq r, \re(z−s)≥0\re (z-s)\geq 0;

  3. f(z)f(z) has in the disk ∣z−s∣≤23r\left|z-s\right|\leq \frac{2}{3}r the zeros c1,c2,…,clc_{1},c_{2},\ldots ,c_{l}. Then

−\ref′(s)f(s)≤2rlog⁡M∣f(s)∣−∑λ=1l\re1s−cλ. -\re \frac{f'(s)}{f(s)} \leq \frac{2}{r}\log \frac{M}{\left|f(s)\right|} - \sum _{\lambda =1}^{l} \re \frac{1}{s-c_{\lambda }}.

[We may assume s=0s=0; problems 232, 120.]

?