3

Производная многочлена относительно точки. Теорема Грейса

[29/90%]
Показать
LaTeX
Задача 5.128

Пусть коэффициенты функции

f(z)=a0+(n1)a1z+(n2)a2z2+…+(nn−1)an−1zn−1+anzn f(z)=a_{0}+\binom {n}{1} a_{1} z+\binom {n}{2} a_{2} z^{2}+\ldots +\binom {n}{n-1} a_{n-1} z^{n-1}+a_{n} z^{n}

будут

a0,a1,a2,…,an. a_{0}, a_{1}, a_{2}, \ldots , a_{n} .

Как запишутся nn коэффициентов функции Aζf(z)n\frac{A_{\zeta } f(z)}{n}?

?
Задача 5.129

Показать, что операция Aζf(z)A_{\zeta } f(z), где ζ\zeta произвольно, линейна: если f1(z)f_{1}(z) и f2(z)f_{2}(z) — два полинома nn-й степени, а c1c_{1} и c2c_{2} — произвольные постоянные коэффициенты, то

Aζ[c1f1(z)+c2f2(z)]=c1Aζf1(z)+c2Aζf2(z). A_{\zeta }\left[c_{1} f_{1}(z)+c_{2} f_{2}(z)\right]=c_{1} A_{\zeta } f_{1}(z)+c_{2} A_{\zeta } f_{2}(z) .
?
Задача 5.130

Пусть f(z)=g(z)h(z)f(z)=g(z) h(z) — разложение полинома f(z)f(z) nn-й степени на два множителя g(z)g(z) и h(z)h(z) соответственно степеней kk и ll, k+l=nk+l=n. Показать, что при всех значениях ζ\zeta

Aζf(z)=g(z)Aζh(z)+h(z)Aζg(z). A_{\zeta } f(z)=g(z) A_{\zeta } h(z)+h(z) A_{\zeta } g(z) .
?
Задача 5.131

Пусть f(z)f(z) — полином nn-й степени, ζ1\zeta_{1} и ζ2\zeta_{2} — произвольные постоянные. Показать, что операции Aζ1f(z)A_{\zeta_{1}} f(z) и Aζ2f(z)A_{\zeta_{2}} f(z) перестановочны; иными словами,

Aζ1[Aζ2f(z)]=Aζ2[Aζ1f(z)]=Aζ1Aζ2f(z). A_{\zeta _{1}}\left[A_{\zeta _{2}} f(z)\right]=A_{\zeta _{2}}\left[A_{\zeta _{1}} f(z)\right]=A_{\zeta _{1}} A_{\zeta _{2}} f(z) .
?
Задача 5.132

Показать, что Aζf(z)≡0A_{\zeta } f(z) \equiv 0 тогда и только тогда, когда все нули полинома f(z)f(z) совпадают с ζ\zeta.

?
Задача 5.133

Если ζ\zeta конечно, то в производной системе относительно точки ζ\zeta содержатся вообще точки четырех родов:

  1. Конечные отличные от z1,z2,…,zn,ζz_{1}, z_{2}, \ldots , z_{n}, \zeta точки, относительно которых центром тяжести системы z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} служит как раз ζ\zeta.

  2. Отличные от ζ\zeta кратные конечные нули функции f(z)f(z), каждый уменьшенной на единицу кратности.

  3. Само ζ\zeta лишь в том случае, когда оно является нулем f(z)f(z), и тогда с той же кратностью.

  4. Точка ∞\infty, либо если она является по меньшей мере двукратным нулем f(z)f(z), либо если она совсем не является нулем f(z)f(z), но зато ζ\zeta является обыкновенным, т. е. взятым относительно точки ∞\infty, центром тяжести f(z)f(z).

?
Задача 5.134

Всякая круговая область, граница которой проходит через точку ζ\zeta и одну из точек производной системы, содержит и точки первоначальной системы.

?
Задача 5.135

Всякая круговая область, содержащая точки z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} и не содержащая точки ζ\zeta, содержит также все точки производной системы системы точек z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} относительно ζ\zeta.

?
Задача 5.136

Производная система системы точек z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} относительно точки ζ\zeta заключается в наименьшем выпуклом относительно ζ\zeta круговом полигоне, содержащем z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n}. (Обобщение теоремы III 31.)

?
Задача 5.137

Если f(z)f(z) nn-й степени, то (Aζ)n−1f(z)\left(A_{\zeta }\right)^{n-1} f(z) будет первой степени. Вычислить единственный нуль функции (Aζ)n−1f(z)\left(A_{\zeta }\right)^{n-1} f(z).

?
Задача 5.138

Пусть

f(z)=a0+(n1)a1z+(n2)a2z2+…+(nn−1)an−1zn−1+anzn f(z)=a_{0}+\binom {n}{1} a_{1} z+\binom {n}{2} a_{2} z^{2}+\ldots +\binom {n}{n-1} a_{n-1} z^{n-1}+a_{n} z^{n}

— произвольный полином nn-й степени и ζ1,ζ2,…,ζn\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n} — произвольные точки комплексной плоскости. Показать, что выражение

A(ζ1,ζ2,…,ζn)f(z)=1n!Aζ1Aζ2…Aζnf(z) A\left(\zeta _{1}, \zeta _{2}, \ldots , \zeta _{n}\right) f(z)=\frac{1}{n!} A_{\zeta _{1}} A_{\zeta _{2}} \ldots A_{\zeta _{n}} f(z)

представляет собой симметрическую функцию переменных ζ1,ζ2,…,ζn\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n}, линейную относительно каждой из переменных; именно: A(ζ1,ζ2,…,ζn)f(z)=a0Σ0+a1Σ1+a2Σ2+…+an−1Σn−1+anΣnA\left(\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n}\right) f(z)=a_{0} \Sigma_{0}+a_{1} \Sigma_{1}+a_{2} \Sigma_{2}+\ldots +a_{n-1} \Sigma_{n-1}+a_{n} \Sigma_{n}, где Σ0,Σ1,Σ2,…,Σn−1,Σn\Sigma_{0}, \Sigma_{1}, \Sigma_{2}, \ldots , \Sigma_{n-1}, \Sigma_{n} — элементарные симметрические функции от ζ1,ζ2,…,ζn\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n}:

Σ0=1,Σ1=ζ1+ζ2+…+ζn,Σ2=ζ1ζ2+ζ1ζ3+…+ζn−1ζn,………………Σn=ζ1ζ2…ζn. \begin{aligned} & \Sigma _{0}=1, \\ & \Sigma _{1}=\zeta _{1}+\zeta _{2}+\ldots +\zeta _{n}, \\ & \Sigma _{2}=\zeta _{1} \zeta _{2}+\zeta _{1} \zeta _{3}+\ldots +\zeta _{n-1} \zeta _{n}, \\ & \ldots \ldots \ldots \ldots \ldots \ldots \\ & \Sigma _{n}=\zeta _{1} \zeta _{2} \ldots \zeta _{n} . \end{aligned}

Если из чисел ζ1,ζ2,…,ζn\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n}, скажем, kk последних (и только они) лежат в бесконечности, то нужно положить

Σ0=Σ1=…=Σk−1=0,Σk=1,Σk+1=ζ1+ζ2+…+ζn−k,Σk+2=ζ1ζ2+ζ1ζ3+…+ζn−k−1ζn−k,…,Σn=ζ1ζ2…ζn−k. \begin{gathered} \Sigma _{0}=\Sigma _{1}=\ldots =\Sigma _{k-1}=0, \Sigma _{k}=1, \Sigma _{k+1}=\zeta _{1}+\zeta _{2}+\ldots +\zeta _{n-k}, \\ \Sigma _{k+2}=\zeta _{1} \zeta _{2}+\zeta _{1} \zeta _{3}+\ldots +\zeta _{n-k-1} \zeta _{n-k}, \ldots , \Sigma _{n}=\zeta _{1} \zeta _{2} \ldots \zeta _{n-k} . \end{gathered}
?
Задача 5.139

Пусть

f(z)=a0+(n1)a1z+(n2)a2z2+…+(nn−1)an−1zn−1+anzn f(z)=a_{0}+\binom {n}{1} a_{1} z+\binom {n}{2} a_{2} z^{2}+\ldots +\binom {n}{n-1} a_{n-1} z^{n-1}+a_{n} z^{n}

— произвольный полином nn-й степени с нулями z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} и

g(z)=b0+(n1)b1z+(n2)b2z2+…+(nn−1)bn−1zn−1+bnzn g(z)=b_{0}+\binom {n}{1} b_{1} z+\binom {n}{2} b_{2} z^{2}+\ldots +\binom {n}{n-1} b_{n-1} z^{n-1}+b_{n} z^{n}

— произвольный полином nn-й степени с нулями ζ1,ζ2,…,ζn\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n}. Вычислить A(ζ1,ζ2,…,ζn)f(z)A\left(\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n}\right) f(z) и A(z1,z2,…,zn)g(z)A\left(z_{1}, z_{2}, \ldots , z_{n}\right) g(z).

?
Задача 5.140

Истолковать геометрически аполярность z1z_{1} и ζ1\zeta_{1}, а также z1,z2z_{1}, z_{2} и ζ1,ζ2\zeta_{1}, \zeta_{2}.

?
Задача 5.141

Найти системы ζ1,ζ2,…,ζn\zeta_{1}, \zeta_{2}, \ldots , \zeta_{n}, аполярные к системе корней двучленного уравнения zn−1=0z^{n}-1=0.

?
Задача 5.142

Пусть z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n} — произвольная система точек. Существует nn систем совпадающих точек ζ,ζ,…,ζ\zeta , \zeta , \ldots , \zeta, аполярных к заданной системе. Определить их.

?
Задача 5.143

Полином nn-й степени

f(z)=1−z+czn f(z)=1-z+c z^{n}

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

?
Задача 5.144

Пусть f(z)f(z) — любой полином nn-й степени, все нули которого лежат в круговой области KK. Пусть, далее, ζ1,ζ2,…,ζk\zeta_{1}, \zeta_{2}, \ldots , \zeta_{k} (k<n)(k<n) — любые точки, лежащие вне KK. Показать, что все нули полинома (n−k)(n-k)-й степени Aζ1Aζ2…Aζkf(z)A_{\zeta_{1}} A_{\zeta_{2}} \ldots A_{\zeta_{k}} f(z) также лежат в KK.

?
Задача 5.145

Пусть полиномы nn-й степени f(z)f(z) и g(z)g(z) взаимно аполярны. Показать, что каждая круговая область, содержащая все нули одного полинома, содержит по крайней мере один нуль другого.

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

J. H. Grace, Proc. Cambr. Phil. Soc., т. 11, стр. 352—357, 1900—1902; см. G. Szegö, Math. Zeitschr., т. 13, стр. 31, 1922; J. Egerváry, Acta Univ. Hung. Francisco-Josephinae, т. 1, стр. 39—45; Math. és phys. lapok, т. 29, стр. 21—43, 1922.

Задача 5.146

Пусть полиномы nn-й степени f(z)f(z) и g(z)g(z) взаимно аполярны. Показать, что наименьшие выпуклые полигоны, содержащие соответственно все нули f(z)f(z) или g(z)g(z), имеют по меньшей мере одну общую точку. Вообще: всякие два наименьших «выпуклых» относительно одной и той же точки круговых полигона, содержащих соответственно все нули f(z)f(z) или g(z)g(z), имеют по крайней мере одну общую точку.

?
Примечание.
?
Задача 5.147

Полином

1−z+czn 1-z+c z^{n}

всегда имеет нуль в круге ∣z∣⩽2\left|z\right| \leqslant 2.

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

E. Landau, Ann. de l'Éc. Norm., т. 24, стр. 180, 1907.

Задача 5.148

Полином

1−z+czn 1-z+c z^{n}

всегда имеет нуль в круге ∣z−1∣⩽1\left|z-1\right| \leqslant 1.

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

A. Hurwitz; см. E. Landau, 1. c. 147.

Задача 5.149

Показать, что (k+1)(k+1)-членный полином

1−z+c2zv2+c3zv3+…+ckzvk(1=v1<v2<v3<…<vk) 1-z+c_{2} z^{v_{2}}+c_{3} z^{v_{3}}+\ldots +c_{k} z^{v_{k}} \quad \left(1=v_{1}<v_{2}<v_{3}<\ldots <v_{k}\right)

всегда имеет нуль в круге

∣z∣⩽[(1−1v2)(1−1v3)…(1−1vk)]−1 \left|z\right| \leqslant \left[\left(1-\frac{1}{v_{2}}\right)\left(1-\frac{1}{v_{3}}\right) \ldots \left(1-\frac{1}{v_{k}}\right)\right]^{-1}

и, значит, в круге ∣z∣⩽k\left|z\right| \leqslant k. (Обобщение теоремы 147.)

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

L. Fejér, C. R., т. 145, стр. 459, 1907; Math. Ann., т. 65, стр. 413—423, 1908; Deutsche Math.-Ver., т. 26, стр. 114—128, 1917; см. также S. Sarantopoulos, C. R., т. 174, стр. 592, 1922; P. Montel, C. R., т. 174, стр. 851, 1220, 1922; Ann. de l'Éc. Norm., серия 3, т. 40, стр. 1—34, 1923.

Задача 5.150

Если полином nn-й степени в двух точках aa и bb (a≠b)(a \neq b) принимает одинаковые значения, то его производная имеет по меньшей мере один нуль в круге, имеющем центром середину отрезка aba b и радиусом ∣a−b∣2ctg⁡πn\frac{\left|a-b\right|}{2} \operatorname {ctg} \frac{\pi }{n}. (Аналог теоремы Ролля для комплексной области.)

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

J. H. Grace, l. c. 145, стр. 356; см. также P. J. Heawood, Quart. J., т. 38, стр. 84—107, 1907.

Задача 5.151

Пусть

f(z)=a0+(n1)a1z+(n2)a2z2+…+(nn−1)an−1zn−1+anzn f(z)=a_{0}+\binom {n}{1} a_{1} z+\binom {n}{2} a_{2} z^{2}+\ldots +\binom {n}{n-1} a_{n-1} z^{n-1}+a_{n} z^{n}

— полином nn-й степени, все нули которого лежат в круговой области KK, далее

g(z)=b0+(n1)b1z+(n2)b2z2+…+(nn−1)bn−1zn−1+bnzn g(z)=b_{0}+\binom {n}{1} b_{1} z+\binom {n}{2} b_{2} z^{2}+\ldots +\binom {n}{n-1} b_{n-1} z^{n-1}+b_{n} z^{n}

— полином nn-й степени с нулями β1,β2,…,βn\beta_{1}, \beta_{2}, \ldots , \beta_{n}. Показать, что каждый нуль γ\gamma составленного путем их «композиции» полинома

h(z)=a0b0+(n1)a1b1z+(n2)a2b2z2+…+(nn−1)an−1bn−1zn−1+anbnzn h(z)=a_{0} b_{0}+\binom {n}{1} a_{1} b_{1} z+\binom {n}{2} a_{2} b_{2} z^{2}+\ldots +\binom {n}{n-1} a_{n-1} b_{n-1} z^{n-1}+a_{n} b_{n} z^{n}

имеет вид

γ=−βvk, \gamma =-\beta _{v} k,

где vv — надлежаще выбранный индекс, а kk — надлежаще выбранная точка в KK (при этом полагаем ∞⋅∞=∞\infty \cdot \infty =\infty и 0⋅∞=0 \cdot \infty = неопределенности).

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

См. G. Szegö, 1. c. 145, стр. 35.

Задача 5.152

Пусть нули полиномов nn-й степени f(z)f(z) и g(z)g(z) лежат все в единичном круге ∣z∣⩽1\left|z\right| \leqslant 1 и притом по крайней мере у одного — в ∣z∣<1\left|z\right|<1. Тогда и у полинома, полученного из этих двух посредством композиции [151], все нули будут лежать внутри круга ∣z∣<1\left|z\right|<1.

?
Задача 5.153

Пусть все нули полинома nn-й степени f(z)f(z) лежат в некоторой выпуклой замкнутой области KK, содержащей начало координат. Пусть, далее, полином той же степени g(z)g(z) имеет лишь вещественные нули, лежащие в интервале [−1,0]\left[-1, 0\right]. Тогда и у полинома nn-й степени h(z)h(z), составленного посредством композиции [151] из f(z)f(z) и g(z)g(z), все нули будут содержаться в области KK.

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

I. Schur, см. G. Szegö, 1. c. 145, стр. 37.

Задача 5.154

Если все нули полинома nn-й степени

f(z)=a0+(n1)a1z+(n2)a2z2+…+(nn−1)an−1zn−1+anzn f(z)=a_{0}+\binom {n}{1} a_{1} z+\binom {n}{2} a_{2} z^{2}+\ldots +\binom {n}{n-1} a_{n-1} z^{n-1}+a_{n} z^{n}

лежат в вещественном интервале −a,a-a, a, все же нули полинома nn-й степени

g(z)=b0+(n1)b1z+(n2)b2z2+…+(nn−1)bn−1zn−1+bnzn g(z)=b_{0}+\binom {n}{1} b_{1} z+\binom {n}{2} b_{2} z^{2}+\ldots +\binom {n}{n-1} b_{n-1} z^{n-1}+b_{n} z^{n}

— в интервале −b,0-b, 0 (или 0,b0, b), то нули полинома nn-й степени

h(z)=a0b0+(n1)a1b1z+(n2)a2b2z2+…+(nn−1)an−1bn−1zn−1+anbnzn h(z)=a_{0} b_{0}+\binom {n}{1} a_{1} b_{1} z+\binom {n}{2} a_{2} b_{2} z^{2}+\ldots +\binom {n}{n-1} a_{n-1} b_{n-1} z^{n-1}+a_{n} b_{n} z^{n}

лежат все в интервале −ab,ab-a b, a b (aa, bb — положительные числа).

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

По поводу постановки вопроса см. Laguerre, 1. c. 1, стр. 199—200, 1898; G. Pólya, Interméd. des math., т. 20, стр. 145—146, 1913; G. Szegö, l. c. 145, стр. 38 и J. Egerváry, 1. с. 145.

Задача 5.155

Пусть все нули полинома nn-й степени

a0+a1z+a2z2+…+anzn a_{0}+a_{1} z+a_{2} z^{2}+\ldots +a_{n} z^{n}

— вещественные, а все нули полинома nn-й степени

b0+b1z+b2z2+…+bnzn b_{0}+b_{1} z+b_{2} z^{2}+\ldots +b_{n} z^{n}

— вещественные и одинакового знака. Тогда все нули полинома

a0b0+a1b1z+a2b2z2+…+anbnzn a_{0} b_{0}+a_{1} b_{1} z+a_{2} b_{2} z^{2}+\ldots +a_{n} b_{n} z^{n}

точно так же вещественные (z=∞z=\infty причисляется к вещественным нулям).

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

E. Malo, Journ. de math. spéc., серия 4, т. 4, стр. 7, 1895.

Задача 5.156

При сохранении предположений задачи 155 все нули полинома

a0b0+1!a1b1z+2!a2b2z2+…+n!anbnzn a_{0} b_{0}+1!a_{1} b_{1} z+2!a_{2} b_{2} z^{2}+\ldots +n!a_{n} b_{n} z^{n}

также вещественные.

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

I. Schur, J. für Math., т. 144, стр. 75—88, 1914.