Einige Abschätzungen für die Koeffizienten der Teiler eines Polynoms.
Es wird folgende zuerst in einem Hilfssatz von \textit{Siegel} (Math. Z. 10 (1921), 173-213; F.~d.~M. 48, 163) behandelte Frage untersucht: Es sei \[ f(x)=a_0+a_1x+ \cdots + a_n x^n \] ein Polynom mit beliebigen Koeffizienten, \[ \max(|a_0|, \, |a_1|, \, \ldots, |a_n|)=A, \] \(\lambda\) eine Nullstelle von \(f(x)\) und \[ \frac{f(x)}{\lambda-x}=b_0+b_1x+ \cdots + b_{n-1} x^{n-1} \] mit \[ \max(|b_0|, \, |b_1|, \, \ldots, |b_{n-1}|)=B. \] Wie läßt sich \(\dfrac{B}{A}\) unabhängig von \(\lambda\) abschätzen? Verf. verschärft das \textit{Siegel}sche Ergebnis \(\dfrac{B}{A} \leqq n\), indem er zunächst Abschätzungen für die Größen \[ Q_k=\frac{|b_k|}{A} \] gibt. \(Q_k\) erreicht, wenn \(f(x)\) von festem Grad \(n\) ist, sein Maximum \(M_k\) für das Polynom \[ f_k(x)=1+x+ \cdots + x^k - x^{k+1}- \cdots - x^n \] und den Linearfaktor \(\lambda_k-x\), wo \(\lambda_k\) die einzige positive Nullstelle von \(f_k(x)\) ist. Bei festem Grad \(n\) wachsen die Größen \(M_k\) vom Index 0 bis zum Index \(\left[ \dfrac{n-1}{2} \right]\) monoton und fallen danach wieder monoton. Weiter ist das Maximum \(M\) der \(M_k\) für ungerades \(n\) \[ M=\frac{n+1}{2} \] und für gerades \(n\) \[ M=\frac{n+1}{2}+\frac{1}{6}\frac{2}{n+1}+ \frac{1}{45}\left( \frac{2}{n+1} \right)^3+ \frac{19}{7560}\left( \frac{2}{n+1} \right)^5+ \frac{\varepsilon}{3240}\left( \frac{2}{n+1} \right)^7 \] mit \(0 < \varepsilon < 1\). Verf. gibt ferner Abschätzungen für \(M_k = M_k(n)\) bei festem Index \(k\). Die Ergebnisse werden auch auf den Fall eines Teilers höheren als ersten Grades von \(f(x)\) ausgedehnt.
This page was built for publication: Einige Abschätzungen für die Koeffizienten der Teiler eines Polynoms.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2601698)
