Chapter 3.1

Complex Numbers and Number Sequences

[54/100%]
Show
LaTeX
Problem 3.1

The number z+z‾z + \overline{z} is real, z−z‾z - \overline{z} is purely imaginary, zz‾z\overline{z} is real and not negative.

?
Problem 3.2

What sets of points in the zz-plane are characterized by the conditions:

Re(z)>0;Re(z)≥0;a<Im(z)<b;α≤arg⁡z≤β;Re(z)=0; \mathrm{Re}\left(z\right) > 0; \quad \mathrm{Re}\left(z\right) \geq 0; \quad a < \mathrm{Im}\left(z\right) < b; \quad \alpha \leq \arg z \leq \beta ; \quad \mathrm{Re}\left(z\right) = 0; ∣z−z0∣=R;∣z−z0∣<R;∣z−z0∣≤R;R≤∣z∣≤R′;\re1z=1R \left|z - z_{0}\right| = R; \quad \left|z - z_{0}\right| < R; \quad \left|z - z_{0}\right| \leq R; \quad R \leq \left|z\right| \leq R'; \quad \re \frac{1}{z} = \frac{1}{R}

(a,b,α,β,R,R′a, b, \alpha , \beta , R, R' real, z0z_{0} complex, a<ba < b, α<β<α+2π\alpha < \beta < \alpha + 2\pi, 0<R<R′0 < R < R')?

?
Problem 3.3

What sets of points in the zz-plane are characterized by the conditions

∣z−a∣+∣z−b∣=k;∣z−a∣+∣z−b∣≤k,  k>0? \left|z - a\right| + \left|z - b\right| = k; \quad \left|z - a\right| + \left|z - b\right| \leq k, \; k > 0?
?
Problem 3.4

What open set of the zz-plane is characterized by the condition

∣z2+az+b∣<R2? \left|z^{2} + az + b\right| < R^{2}?

For what values of RR is this set connected, for what values of RR is it not connected?

?
Problem 3.5

Assume ∣a∣<1\left|a\right| < 1. For any point of the complex zz-plane

∣z−a1−a‾z∣ \left|\frac{z - a}{1 - \overline{a}z}\right|

is either <1< 1, or =1= 1, or >1> 1, and so the whole plane is divided into three subsets. Describe them.

?
Problem 3.6

Suppose Re(a)>0\mathrm{Re}\left(a\right) > 0. For any point of the zz-plane

∣a−za‾+z∣ \left|\frac{a - z}{\overline{a} + z}\right|

is either <1< 1, or =1= 1, or >1> 1, and so the whole plane is divided into three subsets. Describe them.

?
Problem 3.7

Let α,β\alpha , \beta be real; aa complex; α,β\alpha , \beta and aa are fixed. Suppose that the complex variables z1z_{1} and z2z_{2} satisfy the relation

αz1z1‾+a‾z1z2‾+az1‾z2+βz2z2‾=0. \alpha z_{1}\overline{z_{1}} + \overline{a}z_{1}\overline{z_{2}} + a\overline{z_{1}}z_{2} + \beta z_{2}\overline{z_{2}} = 0.

If αβ−aa‾<0\alpha \beta - a\overline{a} < 0 the points z1z2\frac{z_{1}}{z_{2}} lie on a circle, possibly a line segment. (The left hand side of the equation is called a Hermitian form of the variables z1z_{1} and z2z_{2}.)

?
Problem 3.8

Let aa and bb be positive constants and the real variable tt signify time. Describe the curves given by the three equations

z1=ia+at,z2=−ibe−it,z=ia+at−ibe−it. z_{1} = ia + at, \quad z_{2} = -ibe^{-it}, \quad z = ia + at - ibe^{-it}.
?
Problem 3.9

Describe the motion of the point

z=(a+b)eit−beia+bbt, z = (a + b)e^{it} - be^{i\frac{a+b}{b}t},

where a,ba, b are positive constants and tt denotes time.

?
Problem 3.10

Let the radius vector rr and the argument ϑ\vartheta be functions of the time. The complex function z=reiϑz = re^{i\vartheta } of the real variable tt is represented by the motion of a point in a plane. Compute the components of velocity and of acceleration parallel and perpendicular to the radius vector.

?
Remark.
?

Differentiate zz twice with respect to tt.

Problem 3.11

For what values of zz is the absolute value of the nn-th term znn!\frac{z^{n}}{n!} of

1+z1!+z22!+⋯+znn!+⋯ 1 + \frac{z}{1!} + \frac{z^{2}}{2!} + \cdots + \frac{z^{n}}{n!} + \cdots

(exponential series in the complex plane) larger than the absolute value of any other term? n=0,1,2,…n = 0, 1, 2, \ldots

?
Problem 3.12

For what values of zz is the absolute value of the nn-th term of the series

1+z1+z(z−1)1⋅2+z(z−1)(z−2)1⋅2⋅3+⋯+z(z−1)⋯(z−n+1)1⋅2⋯n+⋯=∑n=0∞(zn) 1 + \frac{z}{1} + \frac{z(z-1)}{1 \cdot 2} + \frac{z(z-1)(z-2)}{1 \cdot 2 \cdot 3} + \cdots + \frac{z(z-1)\cdots (z-n+1)}{1 \cdot 2 \cdots n} + \cdots = \sum _{n=0}^{\infty }\binom {z}{n}

(binomial series for (1+t)z(1+t)^{z} with t=1t = 1 and complex zz) larger than the absolute value of any other term of this series? n=0,1,2,…n = 0, 1, 2, \ldots

?
Problem 3.13

We put

P0(z)=z,Pn(z)=z(1−z212)(1−z222)(1−z232)⋯(1−z2n2),n=1,2,3,… P_{0}(z) = z, \quad P_{n}(z) = z\left(1 - \frac{z^{2}}{1^{2}}\right)\left(1 - \frac{z^{2}}{2^{2}}\right)\left(1 - \frac{z^{2}}{3^{2}}\right)\cdots \left(1 - \frac{z^{2}}{n^{2}}\right), \quad n = 1, 2, 3, \ldots

For what values of zz is ∣Pn(z)∣\left|P_{n}(z)\right| larger than ∣P0(z)∣,∣P1(z)∣,…,∣Pn−1(z)∣\left|P_{0}(z)\right|, \left|P_{1}(z)\right|, \ldots , \left|P_{n-1}(z)\right|, ∣Pn+1(z)∣,…\left|P_{n+1}(z)\right|, \ldots? (Pn(z)P_{n}(z) is the nn-th partial product in the product expansion of sin⁡πzπ\frac{\sin \pi z}{\pi }.)

?
Problem 3.14

We assume that the real functions f(t)f(t) and φ(t)\varphi (t) are defined on the interval a≤t≤ba \leq t \leq b, that f(t)f(t) is positive and continuous and φ(t)\varphi (t) properly integrable. Then

∣∫abf(t)eiφ(t) dt∣≤∫abf(t) dt. \left|\int _{a}^{b} f(t)e^{i\varphi (t)}\, dt\right| \leq \int _{a}^{b} f(t)\, dt.

Equality holds if and only if the function φ(t)\varphi (t) assumes the same value mod 2π2\pi at all its points of continuity.

?
Problem 3.15

Let φ(t)\varphi (t) be defined for t≥0t \geq 0 and be properly integrable over any finite interval. If

∫0∞e−(t+iφ(t)) dt=P,∫0∞e−2(t+iφ(t)) dt=Q, \int _{0}^{\infty } e^{-(t + i\varphi (t))}\, dt = P, \quad \int _{0}^{\infty } e^{-2(t + i\varphi (t))}\, dt = Q,

then

∣4P2−2Q∣≤3. \left|4P^{2} - 2Q\right| \leq 3.

Equality holds if and only if φ(t)\varphi (t) assumes the same value mod 2π2\pi at all its points of continuity.

?
Problem 3.16

A polynomial of the form

zn−p1zn−1−p2zn−2−⋯−pn−1z−pn, z^{n} - p_{1}z^{n-1} - p_{2}z^{n-2} - \cdots - p_{n-1}z - p_{n},

where p1≥0,p2≥0,…,pn≥0p_{1} \geq 0, p_{2} \geq 0, \ldots , p_{n} \geq 0, p1+p2+⋯+pn>0p_{1} + p_{2} + \cdots + p_{n} > 0, has just one positive zero.

?
Problem 3.17

If z0z_{0} is a zero of the polynomial

zn+a1zn−1+a2zn−2+⋯+an z^{n} + a_{1}z^{n-1} + a_{2}z^{n-2} + \cdots + a_{n}

then ∣z0∣\left|z_{0}\right| is not larger than the only positive zero ζ\zeta of the polynomial zn−∣a1∣zn−1−∣a2∣zn−2−⋯−∣an∣z^{n} - \left|a_{1}\right|z^{n-1} - \left|a_{2}\right|z^{n-2} - \cdots - \left|a_{n}\right|.

?
Problem 3.18

Assume an≠0a_{n} \neq 0. The absolute value of none of the zeros of the polynomial

P(z)=zn+a1zn−1+a2zn−2+⋯+an P(z) = z^{n} + a_{1}z^{n-1} + a_{2}z^{n-2} + \cdots + a_{n}

is smaller than the only positive zero ζ\zeta of the polynomial

zn+∣a1∣zn−1+∣a2∣zn−2+⋯+∣an−1∣z−∣an∣. z^{n} + \left|a_{1}\right|z^{n-1} + \left|a_{2}\right|z^{n-2} + \cdots + \left|a_{n-1}\right|z - \left|a_{n}\right|.
?
Problem 3.19

All the zeros of the polynomial zn+cz^{n} + c are on the circle centred at z=0z = 0 with radius ∣c∣1/n\left|c\right|^{1/n}.

?
Problem 3.20

Let c1,c2,…,cnc_{1}, c_{2}, \ldots , c_{n} be positive numbers and

c1+c2+⋯+cn≤1. c_{1} + c_{2} + \cdots + c_{n} \leq 1.

The absolute values of the zeros of the polynomial

zn+a1zn−1+a2zn−2+⋯+an z^{n} + a_{1}z^{n-1} + a_{2}z^{n-2} + \cdots + a_{n}

are not larger than

M=max⁡(∣a1∣c1,∣a2∣c2,…,∣an∣cnn). M = \max \left(\frac{\left|a_{1}\right|}{c_{1}}, \sqrt{\frac{\left|a_{2}\right|}{c_{2}}}, \ldots , \sqrt[n]{\frac{\left|a_{n}\right|}{c_{n}}}\right).
?
Problem 3.21

The absolute values of the roots of the equation

zn+a1zn−1+a2zn−2+⋯+an=0 z^{n} + a_{1}z^{n-1} + a_{2}z^{n-2} + \cdots + a_{n} = 0

are not larger than the largest among the numbers

n∣a1∣,  n∣a2∣,  n∣a3∣3,  …,  n∣an∣n; n\left|a_{1}\right|, \; \sqrt{n\left|a_{2}\right|}, \; \sqrt[3]{n\left|a_{3}\right|}, \; \ldots , \; \sqrt[n]{n\left|a_{n}\right|};

also they are not larger than the largest of the numbers

2n−1(nk)∣ak∣k,k=1,2,3,…,n; \sqrt[k]{\frac{2^{n} - 1}{\binom {n}{k}}\left|a_{k}\right|}, \quad k = 1, 2, 3, \ldots , n;

and they are certainly smaller than the largest of the numbers

2∣ak∣k,k=1,2,…,n. 2\sqrt[k]{\left|a_{k}\right|}, \quad k = 1, 2, \ldots , n.
?
Problem 3.22

Assume

p0>p1>p2⋯>pn>0. p_{0} > p_{1} > p_{2} \cdots > p_{n} > 0.

The polynomial

p0+p1z+p2z2+⋯+pnzn p_{0} + p_{1}z + p_{2}z^{2} + \cdots + p_{n}z^{n}

cannot have a zero in the unit disc ∣z∣≤1\left|z\right| \leq 1.

?
Problem 3.23

Suppose that all the coefficients p1,p2,…,pnp_{1}, p_{2}, \ldots , p_{n} of the polynomial

p0zn+p1zn−1+⋯+pn−1z+pn p_{0}z^{n} + p_{1}z^{n-1} + \cdots + p_{n-1}z + p_{n}

are positive. Then the zeros of this polynomial lie in the annulus α≤∣z∣≤β\alpha \leq \left|z\right| \leq \beta, where α\alpha is the smallest, β\beta the largest among the values

p1p0,  p2p1,  p3p2,  …,  pnpn−1. \frac{p_{1}}{p_{0}}, \; \frac{p_{2}}{p_{1}}, \; \frac{p_{3}}{p_{2}}, \; \ldots , \; \frac{p_{n}}{p_{n-1}}.
?
Problem 3.24

Let a0,a1,a2,…,ana_{0}, a_{1}, a_{2}, \ldots , a_{n} be digits (in the ordinary decimal notation, that is integers between 00 and 99 inclusively) n≥1n \geq 1, an≥1a_{n} \geq 1. Then the zeros of the polynomial

a0+a1z+a2z2+⋯+anzn a_{0} + a_{1}z + a_{2}z^{2} + \cdots + a_{n}z^{n}

are either in the open left half-plane or in the open disk

∣z∣<1+372. \left|z\right| < \frac{1 + \sqrt{37}}{2}.

The best upper bound that may replace the last number is between 33 and 44.

?
Problem 3.25

We assume that all the zeros of the polynomial

P(z)=a0zn+a1zn−1+⋯+an−1z+an P(z) = a_{0}z^{n} + a_{1}z^{n-1} + \cdots + a_{n-1}z + a_{n}

are in the upper half-plane Im(z)>0\mathrm{Im}\left(z\right) > 0. Let aν=αν+iβνa_{\nu } = \alpha_{\nu } + i\beta_{\nu }, αν,βν\alpha_{\nu }, \beta_{\nu } real, ν=0,1,2,…,n\nu = 0, 1, 2, \ldots , n, and

U(z)=α0zn+α1zn−1+⋯+αn−1z+αn, U(z) = \alpha _{0}z^{n} + \alpha _{1}z^{n-1} + \cdots + \alpha _{n-1}z + \alpha _{n}, V(z)=β0zn+β1zn−1+⋯+βn−1z+βn. V(z) = \beta _{0}z^{n} + \beta _{1}z^{n-1} + \cdots + \beta _{n-1}z + \beta _{n}.

Then the polynomials U(z)U(z) and V(z)V(z) have only real zeros.

?
Problem 3.26

Let P(z)=0P(z) = 0 stand for an algebraic equation of degree nn all the zeros of which are in the unit circle ∣z∣<1\left|z\right| < 1. Replacing each coefficient of P(z)P(z) by its conjugate we obtain the polynomial P‾(z)\overline{P}(z). We define P∗(z)=znP‾(z−1)P^{*}(z) = z^{n}\overline{P}(z^{-1}). The roots of the equation P(z)+P∗(z)=0P(z) + P^{*}(z) = 0 are all on the unit circle ∣z∣=1\left|z\right| = 1.

?
Problem 3.27

[M. Fekete.] Define γ=λP(a)+μP(b)\gamma = \lambda P(a) + \mu P(b), 0<λ<10 < \lambda < 1, λ+μ=1\lambda + \mu = 1. If all the zeros of P(z)−γ=a0(z−z1)(z−z2)⋯(z−zn)P(z) - \gamma = a_{0}(z - z_{1})(z - z_{2})\cdots (z - z_{n}) were outside the domain in question, the inequality

−πn<arg⁡a−zνb−zν<πn,ν=1,2,…,n -\frac{\pi }{n} < \arg \frac{a - z_{\nu }}{b - z_{\nu }} < \frac{\pi }{n}, \quad \nu = 1, 2, \ldots , n

would hold, thus

−π<arg⁡P(a)−γP(b)−γ<π,in contradiction toP(a)−γP(b)−γ=−μλ. -\pi < \arg \frac{P(a) - \gamma }{P(b) - \gamma } < \pi , \quad \text{in contradiction to} \quad \frac{P(a) - \gamma }{P(b) - \gamma } = -\frac{\mu }{\lambda }.
?
Problem 3.28

If all the complex numbers z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} (considered as points in the complex plane) are on the same side of a straight line passing through the origin, then

z1+z2+⋯+zn≠0,1z1+1z2+⋯+1zn≠0. z_{1} + z_{2} + \cdots + z_{n} \neq 0, \quad \frac{1}{z_{1}} + \frac{1}{z_{2}} + \cdots + \frac{1}{z_{n}} \neq 0.
?
Problem 3.29

Suppose z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} are arbitrary complex numbers that add up to zero. Any straight line ll through the origin separates the numbers z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} so that there are some zνz_{\nu }'s on each side of ll unless all the zνz_{\nu }'s lie on ll itself.

?
Problem 3.30

Let z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} be arbitrary points of the complex plane, m1>0,m2>0,…,mn>0m_{1} > 0, m_{2} > 0, \ldots , m_{n} > 0, m1+m2+⋯+mn=1m_{1} + m_{2} + \cdots + m_{n} = 1 and

z=m1z1+m2z2+⋯+mnzn. z = m_{1}z_{1} + m_{2}z_{2} + \cdots + m_{n}z_{n}.

Then there are points zνz_{\nu } on both sides of any straight line through zz except when all the zνz_{\nu }'s lie on that straight line.

We can interpret the numbers m1,m2,…,mnm_{1}, m_{2}, \ldots , m_{n} as masses fixed at the points z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n}. Then the point zz defined above is the center of gravity of this mass distribution. If we consider all such mass distributions at the points z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} the corresponding centers of gravity cover the interior of a convex polygon, the smallest one containing the points z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n}. The only exception arises when all the points are on a straight line. Then the centers of gravity fill out the interior of the smallest line segment that contains all the points z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n}.

?
Problem 3.31

The derivative P′(z)P'(z) of P(z)P(z) cannot have any zeros outside the smallest convex polygon that contains all the zeros of P(z)P(z) (considered as points in the complex plane). Those zeros of P′(z)P'(z) that are not zeros of P(z)P(z) are, in fact, equilibrium positions of a certain electrostatic field.

?
Problem 3.32

Let z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} be arbitrary complex numbers, zμ≠zνz_{\mu } \neq z_{\nu } for all μ≠ν\mu \neq \nu, μ,ν=1,2,…,n\mu , \nu = 1, 2, \ldots , n. We consider all the polynomials P(z)P(z) that vanish only at the points z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} (having there zeros of arbitrary order). The set of the zeros of the derivatives P′(z)P'(z) of all these polynomials is everywhere dense in the smallest convex polygon that contains z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n}.

?
Problem 3.33

Let ϱ1,ϱ2,…,ϱp\varrho_{1}, \varrho_{2}, \ldots , \varrho_{p} be positive numbers, a1,a2,…,apa_{1}, a_{2}, \ldots , a_{p} arbitrary complex numbers, and let the polynomials A(z)A(z) and B(z)B(z) of degree pp and p−1p - 1 resp. be related by

B(z)A(z)=ϱ1z−a1+ϱ2z−a2+⋯+ϱpz−ap. \frac{B(z)}{A(z)} = \frac{\varrho _{1}}{z - a_{1}} + \frac{\varrho _{2}}{z - a_{2}} + \cdots + \frac{\varrho _{p}}{z - a_{p}}.

Suppose that the polynomial P(z)P(z) is a divisor of A(z)P′′(z)+2B(z)P′(z)A(z)P''(z) + 2B(z)P'(z), i.e.

A(z)P′′(z)+2B(z)P′(z)=C(z)P(z), A(z)P''(z) + 2B(z)P'(z) = C(z)P(z),

where C(z)C(z) denotes a polynomial. Then the zeros of P(z)P(z) lie in the smallest convex polygon that contains the numbers a1,a2,…,apa_{1}, a_{2}, \ldots , a_{p}.

?
Problem 3.34

Let ϱ1,ϱ2,…,ϱp\varrho_{1}, \varrho_{2}, \ldots , \varrho_{p} be positive numbers, a1,a2,…,apa_{1}, a_{2}, \ldots , a_{p} arbitrary complex numbers, A(z)A(z) and B(z)B(z) related as in problem 33, and zνz_{\nu }, ν=1,…,n\nu = 1, \ldots , n the zeros of a polynomial P(z)P(z) with A(zν)≠0A(z_{\nu }) \neq 0. Then the zeros of the polynomial A(z)P′′(z)+2B(z)P′(z)A(z)P''(z) + 2B(z)P'(z) lie in the smallest convex polygon that contains z1,z2,…,zn,a1,a2,…,apz_{1}, z_{2}, \ldots , z_{n}, a_{1}, a_{2}, \ldots , a_{p}.

?
Problem 3.35

If a polynomial f(z)f(z) whose coefficients are all real has only real zeros then this is true also for its derivative f′(z)f'(z). If f(z)f(z) has complex zeros then they appear in pairs, the two zeros forming a pair are mirror images to each other with respect to the real axis; they are complex conjugates. We draw all those disks the ``vertical'' diameters of which are the line segments connecting the conjugate zeros of such pairs. If f′(z)f'(z) has any complex zeros they lie in these disks.

?
Remark.
?

Examine the imaginary part of f′(z)f(z)\frac{f'(z)}{f(z)}.

Problem 3.36

Assume that the numbers z1,z2,…,zn,…z_{1}, z_{2}, \ldots , z_{n}, \ldots are all in the sector −α≤arg⁡z≤α-\alpha \leq \arg z \leq \alpha, α<π2\alpha < \frac{\pi }{2}. Then the series

z1+z2+⋯+zn+⋯and∣z1∣+∣z2∣+⋯+∣zn∣+⋯ z_{1} + z_{2} + \cdots + z_{n} + \cdots \quad \text{and} \quad \left|z_{1}\right| + \left|z_{2}\right| + \cdots + \left|z_{n}\right| + \cdots

are either both convergent or both divergent.

?
Problem 3.37

Suppose that the numbers z1,z2,…,zn,…z_{1}, z_{2}, \ldots , z_{n}, \ldots are all in the half-plane Re(z)≥0\mathrm{Re}\left(z\right) \geq 0 and that the two series

z1+z2+⋯+zn+⋯andz12+z22+⋯+zn2+⋯ z_{1} + z_{2} + \cdots + z_{n} + \cdots \quad \text{and} \quad z_{1}^{2} + z_{2}^{2} + \cdots + z_{n}^{2} + \cdots

converge. Then ∣z1∣2+∣z2∣2+⋯+∣zn∣2+⋯\left|z_{1}\right|^{2} + \left|z_{2}\right|^{2} + \cdots + \left|z_{n}\right|^{2} + \cdots converges too.

?
Problem 3.38

There exist complex sequences z1,z2,…,zn,…z_{1}, z_{2}, \ldots , z_{n}, \ldots for which all the series

z1k+z2k+⋯+znk+⋯ ,k=1,2,3,… z_{1}^{k} + z_{2}^{k} + \cdots + z_{n}^{k} + \cdots , \quad k = 1, 2, 3, \ldots

converge and all the series

∣z1∣k+∣z2∣k+⋯+∣zn∣k+⋯ ,k=1,2,3,… \left|z_{1}\right|^{k} + \left|z_{2}\right|^{k} + \cdots + \left|z_{n}\right|^{k} + \cdots , \quad k = 1, 2, 3, \ldots

diverge.

?
Problem 3.39

Let z1,z2,…,zn,…z_{1}, z_{2}, \ldots , z_{n}, \ldots be arbitrary complex numbers. If there exists a positive distance δ\delta such that ∣zl−zk∣≥δ\left|z_{l} - z_{k}\right| \geq \delta for l<kl < k, l,k=1,2,3,…l, k = 1, 2, 3, \ldots the convergence exponent of the sequence ∣z1∣,∣z2∣,∣z3∣,…\left|z_{1}\right|, \left|z_{2}\right|, \left|z_{3}\right|, \ldots is at most 22. [Problem 114 of Part I.]

?
Problem 3.40

The limit points of the complex numbers

1iα+2iα+3iα+⋯+niαn,α real,  α≥0,n=1,2,3,… \frac{1^{i\alpha } + 2^{i\alpha } + 3^{i\alpha } + \cdots + n^{i\alpha }}{n}, \quad \alpha \text{ real}, \; \alpha \geq 0, \quad n = 1, 2, 3, \ldots

fill out the entire circle with radius (1+α2)−1/2(1+\alpha^{2})^{-1/2} and center at the origin.

?
Remark.
?

The expression in question is closely related to a sum of rectangles.

Problem 3.41

Find the locus of the limit points of the complex sequence z1,z2,…,zn,…z_{1}, z_{2}, \ldots , z_{n}, \ldots, where

zn=(1+i1)(1+i2)(1+i3)⋯(1+in). z_{n} = \left(1 + \frac{i}{1}\right)\left(1 + \frac{i}{2}\right)\left(1 + \frac{i}{3}\right)\cdots \left(1 + \frac{i}{n}\right).
?
Problem 3.42

Put

(1+i1)(1+i2)⋯(1+in)=zn \left(1+\frac{i}{\sqrt{1}}\right)\left(1+\frac{i}{\sqrt{2}}\right)\cdots \left(1+\frac{i}{\sqrt{n}}\right) = z_{n}

and connect the points zn−1z_{n-1} and znz_{n} by a straight line. The distance between these two points is always 11. The polygonal line connecting the successive points approaches with increasing nn an Archimedean spiral; if zn=rneiφnz_{n} = r_{n}e^{i\varphi_{n}}, rn>0r_{n} > 0, 0<φn−φn−1<π20 < \varphi_{n} - \varphi_{n-1} < \frac{\pi }{2}, then

lim⁡n→∞rn−rn−1φn−φn−1=12,lim⁡n→∞rnφn=12. \lim _{n\to \infty } \frac{r_{n} - r_{n-1}}{\varphi _{n} - \varphi _{n-1}} = \frac{1}{2}, \quad \lim _{n\to \infty } \frac{r_{n}}{\varphi _{n}} = \frac{1}{2}.
?
Problem 3.43

Let tt be a fixed real number and put z=2neitnz = 2ne^{\frac{it}{\sqrt{n}}}. Then

lim⁡n→∞nπ 2zn!z(z−1)(z−2)⋯(z−n)=e−t2. \lim _{n\to \infty } \sqrt{\frac{n}{\pi }}\, \frac{2^{z}n!}{z(z-1)(z-2)\cdots (z-n)} = e^{-t^{2}}.
?
Remark.
?

Cf.problems 59 and 10 of Part II.

Problem 3.44

Prove the easier part of the above mentioned proposition: If the conditions (1) and (2) are satisfied the array preserves convergence. [Problems 66 and 80 of Part I.]

?
Problem 3.45

What conditions must the series u0+u1+u2+⋯+un+⋯u_{0} + u_{1} + u_{2} + \cdots + u_{n} + \cdots satisfy in order that its Cauchy product [Problem 34 of Part I, Problem 23 of Part II, Part VIII Chapter 1 5] with any convergent series v0+v1+v2+⋯+vn+⋯v_{0} + v_{1} + v_{2} + \cdots + v_{n} + \cdots results in a convergent series

u0v0+(u0v1+u1v0)+(u0v2+u1v1+u2v0)+⋯+(u0vn+u1vn−1+⋯+un−1v1+unv0)+⋯? u_{0}v_{0} + (u_{0}v_{1}+u_{1}v_{0}) + (u_{0}v_{2}+u_{1}v_{1}+u_{2}v_{0}) + \cdots + (u_{0}v_{n}+u_{1}v_{n-1}+\cdots +u_{n-1}v_{1}+u_{n}v_{0}) + \cdots ?
?
Problem 3.46

What condition must the series u1+u2+⋯+un+⋯u_{1}+u_{2}+\cdots +u_{n}+\cdots satisfy in order that its Dirichlet product [Part VIII, Chapter 1, 5] with any convergent series v1+v2+⋯+vn+⋯v_{1}+v_{2}+\cdots +v_{n}+\cdots results in a convergent series

u1v1+(u1v2+u2v1)+(u1v3+u3v1)+⋯+∑l∣nulvnl+⋯? u_{1}v_{1} + (u_{1}v_{2}+u_{2}v_{1}) + (u_{1}v_{3}+u_{3}v_{1}) + \cdots + \sum _{l\mid n} u_{l}v_{\frac{n}{l}} + \cdots ?
?
Problem 3.47

The sequence of factors γ0,γ1,γ2,…,γn,…\gamma_{0}, \gamma_{1}, \gamma_{2}, \ldots , \gamma_{n}, \ldots turns any convergent series a0+a1+a2+⋯+an+⋯a_{0}+a_{1}+a_{2}+\cdots +a_{n}+\cdots into a convergent series

γ0a0+γ1a1+γ2a2+⋯+γnan+⋯ \gamma _{0}a_{0} + \gamma _{1}a_{1} + \gamma _{2}a_{2} + \cdots + \gamma _{n}a_{n} + \cdots

if and only if the series

∣γ0−γ1∣+∣γ1−γ2∣+⋯+∣γn−γn+1∣+⋯ \left|\gamma _{0}-\gamma _{1}\right| + \left|\gamma _{1}-\gamma _{2}\right| + \cdots + \left|\gamma _{n}-\gamma _{n+1}\right| + \cdots

converges.

?
Problem 3.48

[Cf.G. Polya, Problem: Arch. Math. Phys. Ser. 3, Vol. 24, p.282 (1916). Solved by S. Sidon: Arch. Math. Phys. Ser. 3, Vol. 26, p.68 (1917).] Set

cu0=z0,u0+u1+⋯+un−1+cun=zn,n=1,2,3,…, cu_{0} = z_{0}, \quad u_{0}+u_{1}+\cdots +u_{n-1}+cu_{n} = z_{n}, \quad n = 1, 2, 3, \ldots , u0+u1+⋯+un−1+un=wn,n=0,1,2,…, u_{0}+u_{1}+\cdots +u_{n-1}+u_{n} = w_{n}, \quad n = 0, 1, 2, \ldots , ∑n=0∞unζn=U(ζ),∑n=0∞znζn=Z(ζ),∑n=0∞wnζn=W(ζ). \sum _{n=0}^{\infty } u_{n}\zeta ^{n} = U(\zeta ), \quad \sum _{n=0}^{\infty } z_{n}\zeta ^{n} = Z(\zeta ), \quad \sum _{n=0}^{\infty } w_{n}\zeta ^{n} = W(\zeta ).

The existence of lim⁡n→∞(u1+u2+⋯+un−1+cun)=α\lim_{n\to \infty }(u_{1}+u_{2}+\cdots +u_{n-1}+cu_{n}) = \alpha implies the existence of lim⁡n→∞(u1+u2+⋯+un−1+un)=α\lim_{n\to \infty }(u_{1}+u_{2}+\cdots +u_{n-1}+u_{n}) = \alpha in two cases only: if c=0c = 0 or if Re(c)>12\mathrm{Re}\left(c\right) > \frac{1}{2}, but not if Re(c)≤12\mathrm{Re}\left(c\right) \leq \frac{1}{2}, c≠0c \neq 0.

?
Problem 3.49

Let u0,u1,u2,…,un,…u_{0}, u_{1}, u_{2}, \ldots , u_{n}, \ldots be arbitrary complex numbers. For what values of cc does the existence of

lim⁡n→∞(un+cu0+u1+⋯+unn+1) \lim _{n\to \infty }\left(u_{n} + c\frac{u_{0}+u_{1}+\cdots +u_{n}}{n+1}\right)

imply the existence of lim⁡n→∞un\lim_{n\to \infty } u_{n}?

?
Problem 3.50

If the Dirichlet series

a11−s+a22−s+a33−s+⋯+ann−s+⋯ a_{1}1^{-s} + a_{2}2^{-s} + a_{3}3^{-s} + \cdots + a_{n}n^{-s} + \cdots

converges for s=σ+iτs = \sigma + i\tau, σ,τ\sigma , \tau real, σ>0\sigma > 0, then

lim⁡t→1−0(1−t)σ(a1t+a2t2+a3t3+⋯+antn+⋯ )=0.[Problem 92 of Part I.] \lim _{t\to 1-0} (1-t)^{\sigma }(a_{1}t + a_{2}t^{2} + a_{3}t^{3} + \cdots + a_{n}t^{n} + \cdots ) = 0. \quad [\text{Problem 92 of Part I.}]
?
Problem 3.51

If every subseries of a series with complex terms converges the series converges absolutely.

?
Problem 3.52

Assume that the series ∣z1∣+∣z2∣+⋯+∣zn∣+⋯\left|z_{1}\right| + \left|z_{2}\right| + \cdots + \left|z_{n}\right| + \cdots diverges. Then there exists a direction of accumulation, that is a real number α\alpha such that those terms of the series z1+z2+⋯+zn+⋯z_{1}+z_{2}+\cdots +z_{n}+\cdots that are contained in the sector α−ε<arg⁡z<α+ε\alpha - \varepsilon < \arg z < \alpha + \varepsilon constitute an absolutely divergent subseries for any ε>0\varepsilon > 0.

?
Problem 3.53

If lim⁡n→∞zn=0\lim_{n\to \infty } z_{n} = 0 and if the positive real axis is a direction of accumulation of the conditionally convergent series z1+z2+z3+⋯z_{1}+z_{2}+z_{3}+\cdots then there exists a subseries zr1+zr2+zr3+⋯z_{r_{1}}+z_{r_{2}}+z_{r_{3}}+\cdots the real part of which diverges to +∞+\infty and the imaginary part converges to a finite number.

?
Problem 3.54

If the series z1+z2+z3+⋯z_{1}+z_{2}+z_{3}+\cdots is convergent, but not absolutely convergent, any value represented by a point of a certain straight line can be obtained as the sum of the series rearranged in a suitable order.

?
Remark.
?

Consider two complementary subseries shifted relatively to each other; problems 52, 53 of Part III, and problems 133, 134 of Part I.