6

Дополнительные задачи

[7/14%]
Показать
LaTeX
Задача 4.206

Предположим, что последовательность комплексных чисел z1,z2,…,zk,…z_{1}, z_{2}, \ldots , z_{k}, \ldots обладает следующими тремя свойствами:

  1. Ряды

    ∑k=1∞zk,∑k=1∞zk2,…,∑k=1∞zkn \sum _{k=1}^{\infty } z_{k}, \qquad \sum _{k=1}^{\infty } z_{k}^{2}, \qquad \ldots , \qquad \sum _{k=1}^{\infty } z_{k}^{n}

    сходятся.

  2. ∣z1∣⩾∣z2∣⩾⋯⩾∣zk∣⩾⋯\left|z_{1}\right| \geqslant \left|z_{2}\right| \geqslant \cdots \geqslant \left|z_{k}\right| \geqslant \cdots.

  3. Существуют два вещественных числа α\alpha и β\beta такие, что

    0<β−α<2πnn+1,α⩽arg⁡zk⩽β,при k=1,2,3,…. 0 < \beta -\alpha < \frac{2\pi n}{n+1}, \qquad \alpha \leqslant \arg z_{k} \leqslant \beta , \qquad \text{при } k=1,2,3,\ldots .

Тогда ряд ∣z1∣n+∣z2∣n+⋯+∣zk∣n+⋯\left|z_{1}\right|^{n}+\left|z_{2}\right|^{n}+\cdots +\left|z_{k}\right|^{n}+\cdots сходится.

Заключение остается в силе и при более широком предположении: ряды, перечисленные в (1), могут и не сходиться, достаточно предположить ограниченность их частных сумм. Однако заключение становится неверным, если отбросить предположение (2) или потребовать меньше, чем первая часть условия (3), а именно

0<β−α⩽2πnn+1. 0 < \beta -\alpha \leqslant \frac{2\pi n}{n+1}.
?
Примечание.
?

Ср. задачу 36 части III. G. Polya, problem: Jber. deutsch. Math. Verein. Section 2, 35, p. 48 (1926). Решение L. Tchakalov, op. cit. 37, pp. 30-33 (1928).

Задача 4.207

Функции f1(z),f2(z),…,fn(z)f_{1}(z), f_{2}(z), \ldots , f_{n}(z); g1(z),g2(z),…,gn(z)g_{1}(z), g_{2}(z), \ldots , g_{n}(z) регулярны и аналитичны в некоторой области плоскости zz, где

∣f1(z)∣2+∣f2(z)∣2+⋯+∣fn(z)∣2=∣g1(z)∣2+∣g2(z)∣2+⋯+∣gn(z)∣2. \left|f_{1}(z)\right|^{2}+\left|f_{2}(z)\right|^{2}+\cdots +\left|f_{n}(z)\right|^{2} = \left|g_{1}(z)\right|^{2}+\left|g_{2}(z)\right|^{2}+\cdots +\left|g_{n}(z)\right|^{2}.

Если f1(z),f2(z),…,fn(z)f_{1}(z), f_{2}(z), \ldots , f_{n}(z) линейно независимы, то и g1(z),g2(z),…,gn(z)g_{1}(z), g_{2}(z), \ldots , g_{n}(z) линейно независимы, причем

gν(z)=cν1f1(z)+cν2f2(z)+⋯+cνnfn(z) g_{\nu }(z) = c_{\nu 1}f_{1}(z)+c_{\nu 2}f_{2}(z)+\cdots +c_{\nu n}f_{n}(z)

при ν=1,2,…,n\nu =1,2,\ldots ,n; постоянные cνλc_{\nu \lambda } образуют унитарную матрицу.

?
Примечание.
?

R. Nevalinna and G. Polya, problem: Jber. deutsch. Math. Verein. Section 2, 40, p. 80 (1931). Решение H. Schmidt, op. cit. 43, pp. 6-7 (1933).

Задача 4.208

Рассмотрим приближение целой функции g(z)g(z) полиномами. Определим целое число

k=k(r,α) k = k(r,\alpha )

(называемое степенью приближения функции g(z)g(z) на окружности ∣z∣=r\left|z\right|=r с точностью α\alpha) как степень полинома P(z)P(z) наименьшей возможной степени, для которого

∫02π∣g(reiφ)−P(reiφ)∣2 dφ<α−2∫02π∣g(reiφ)∣2 dφ; \int _{0}^{2\pi } \left|g(re^{i\varphi })-P(re^{i\varphi })\right|^{2} \, d\varphi < \alpha ^{-2} \int _{0}^{2\pi } \left|g(re^{i\varphi })\right|^{2} \, d\varphi ;

(r>0r>0, α>1\alpha >1). Тогда

lim⁡α→∞klog⁡klog⁡α=lim⁡r→∞log⁡klog⁡r=ρ, \lim _{\alpha \to \infty } \frac{k\log k}{\log \alpha } = \lim _{r\to \infty } \frac{\log k}{\log r} = \rho ,

где при вычислении первого предела rr остается фиксированным, а при вычислении второго предела фиксированным остается α\alpha; ρ\rho — порядок функции g(z)g(z).

?
Примечание.
?

Ср. задачу 123 части III. Определение порядка см. в задаче 51. G. Polya, problem: Jber. deutsch. Math. Verein., Section 2, 34, pp. 97-98 (1925). Решение G. Szego, op. cit. 35, pp. 86-89 (1926).

Задача 4.209

Пусть g(z)g(z) — целая функция, рост которой не превосходит минимального типа порядка 11; это означает, что g(z)e−ε∣z∣g(z)e^{-\varepsilon \left|z\right|} остается ограниченной во всей плоскости zz, каково бы ни было фиксированное положительное число ε\varepsilon. Предположим, что последовательность

…,g(−n),…,g(−2),g(−1),g(0),g(1),g(2),…,g(n),… \ldots , \quad g(-n), \quad \ldots , \quad g(-2), \quad g(-1), \quad g(0), \quad g(1), \quad g(2), \quad \ldots , \quad g(n), \quad \ldots

ограничена. Тогда g(z)g(z) сводится к постоянной.

?
Примечание.
?

Ср. задачу 220(4) и задачу 254 части III. G. Polya, problem: Jber. deutsch. Math. Verein., Section 2, 40, pp. 80-81 (1931). Решения op. cit. 43 (1933): L. Tchakalov, pp. 10-11, и G. Szego, pp. 11-13; замечания G. Polya, pp. 67-69. См. также R. E. A. C. Paley and Norbert Wiener: Fourier transforms in the complex domain, Amer. Math. Soc. Colloquium Publ. 19, New York 1934, pp. 81-83.

Задача 4.210

Рассмотрим квадратные матрицы с nn строками и nn столбцами и будем обозначать такие матрицы прописными буквами. Пусть

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

— целая функция, а ZZ — матрица. Тогда ряд

g(Z)=a0+a1Z+a2Z2+⋯+anZn+⋯ g(Z) = a_{0}+a_{1}Z+a_{2}Z^{2}+\cdots +a_{n}Z^{n}+\cdots

сходится к вполне определенной матрице.

При каких условиях для данной матрицы AA существует матрица ZZ такая, что

(∗)g(Z)=A  ? (*) \qquad g(Z) = A \; ?
?
Примечание.
?

О теореме Пикара см., например, Ahlfors pp. 297-298, Hille Vol. II pp. 219-221 или Titchmarsh pp. 277-284. Ср. задачу 194. G. Polya, problem: Jber. deutsch. Math. Verein., Section 2, 40, p. 80 (1931). Решение G. Szego, op. cit. 43, pp. 7-9 (1933).

Задача 4.211

Пусть f(z)f(z) — однозначная аналитическая функция, регулярная всюду, включая точку z=∞z=\infty, за исключением точки z=1z=1. В окрестности точки z=0z=0 она имеет разложение

f(z)=a0+a1z+a2z2+⋯+anzn+⋯ , f(z) = a_{0}+a_{1}z+a_{2}z^{2}+\cdots +a_{n}z^{n}+\cdots ,

а в окрестности точки z=∞z=\infty — разложение

f(z)=b0+b1z+b2z2+⋯+bnzn+⋯ . f(z) = b_{0}+\frac{b_{1}}{z}+\frac{b_{2}}{z^{2}}+\cdots +\frac{b_{n}}{z^{n}}+\cdots .

Если существует постоянная kk такая, что обе величины ann−ka_{n}n^{-k} и bnn−kb_{n}n^{-k} ограничены (n=1,2,3,…n=1,2,3,\ldots), то f(z)f(z) — рациональная функция.

?
Примечание.
?

G. Polya, problem: Jber. deutsch. Math. Verein. Section 2, 40, p. 81 (1931). Решения op. cit. 43: N. Obreschkov, pp. 13-15, G. Szego, pp. 15-16, и N. Tchebotarev, pp. 16-17.

Задача 4.212

Пусть числа a,b,m1,m2,m3,…a, b, m_{1}, m_{2}, m_{3}, \ldots вещественны и удовлетворяют условиям

0<m1<m2<m3<⋯ , 0 < m_{1} < m_{2} < m_{3} < \cdots , lim⁡n→∞nmn>b−a2π>0. \lim _{n\to \infty } \frac{n}{m_{n}} > \frac{b-a}{2\pi } > 0.

Пусть, далее, f(x)f(x) непрерывна в интервале [a,b][a,b]. Тогда из равенств

∫abf(x)cos⁡mnx dx=∫abf(x)sin⁡mnx dx=0 \int _{a}^{b} f(x) \cos m_{n}x \, dx = \int _{a}^{b} f(x) \sin m_{n}x \, dx = 0

при n=1,2,3,…n=1,2,3,\ldots следует, что f(x)f(x) тождественно равна нулю. (Часть всей системы функций Фурье замкнута на соответствующей части всего интервала.)

?
Примечание.
?

Ср. задачу 198. G. Polya, problem: Jber. deutsch. Math. Verein., Section 2, 40, p. 81 (1931). Решение O. Szasz, op. cit. 43, pp. 20-23 (1933). Более сильный результат см. Paley and Wiener, op. cit. задача 209, pp. 83-85. См. также Norman Levinson: Gap and Density Theorems. Amer. Math. Soc. Colloquium Publications 26, New York 1940, pp. 3-5.