7

Значения в целых точках степенных рядов, сходящихся в окрестности z=∞z=\infty

[6/100%]
Показать
LaTeX
Задача 8.188

Пусть ряд

bmzm+bm−1zm−1+…+b1z+b0+b−1z+b−2z2+b−3z3+…, b_{m} z^{m}+b_{m-1} z^{m-1}+\ldots +b_{1} z+b_{0}+\frac{b_{-1}}{z}+\frac{b_{-2}}{z^{2}}+\frac{b_{-3}}{z^{3}}+\ldots ,

расположенный по убывающим степеням zz, сходится вне некоторого круга, и числа b1,b2,…,bmb_{1}, b_{2}, \ldots , b_{m} рациональны. Если этот ряд принимает целые значения для бесконечного множества целых значений zz, то b0b_{0} рационально и

b−1=b−2=b−3=…=0. b_{-1}=b_{-2}=b_{-3}=\ldots =0 .
?
Примечание.
?

Обобщение теоремы 93. Hurwitz-Courant, стр. 301.

Footnotes

  1. Гурвиц, стр. 46. Гурвиц-Курант, стр. 37. ↩

Задача 8.189

Ряд

2z2+1=2z+24z−232z3+2128z5−522048z7+… \sqrt{2 z^{2}+1}=\sqrt{2} z+\frac{\sqrt{2}}{4 z}-\frac{\sqrt{2}}{32 z^{3}}+\frac{\sqrt{2}}{128 z^{5}}-\frac{5 \sqrt{2}}{2048 z^{7}}+\ldots

принимает целые значения для бесконечного множества целых значений zz.

?
Задача 8.190

Доказать 114, основываясь на 188.

?
Задача 8.191

Если не всюду расходящийся ряд

F(z)=bmzm+bm−1zm−1+…+b1z+b0+b−1z+b−2z2+b−3z3+… F(z)=b_{m} z^{m}+b_{m-1} z^{m-1}+\ldots +b_{1} z+b_{0}+\frac{b_{-1}}{z}+\frac{b_{-2}}{z^{2}}+\frac{b_{-3}}{z^{3}}+\ldots

принимает целые значения при всех достаточно больших целых значениях zz, то F(z)F(z) является целозначным полиномом.

?
Задача 8.192

Если два полинома принимают целые значения в одних и тех же точках комплексной числовой плоскости, то либо их сумма, либо разность является постоянной.

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

Эта постоянная, разумеется, представляет собой целое число.

Задача 8.193

Если полином g(x)g(x) принимает вещественные значения во всех точках xx, в которых другой полином f(x)f(x) принимает значения из некоторого двусторонне-неограниченного множества вещественных чисел, то полином g(x)g(x) вообще всюду вещественный, раз только веществен полином f(x)f(x). (Если f(x)f(x) нечетной степени, то достаточно предположить лишь, что множество односторонне-неограниченно.) Именно, тогда имеет место тождественное соотношение

g=φ(f), g=\varphi (f),

где φ(y)\varphi (y) — полином относительно yy с вещественными коэффициентами.

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

Отсюда, между прочим, легко следует 192.