On a certain minimum (Q1560039): Difference between revisions

Bezeichnet \([A]\) den absoluten Werth einer Grösse \(A\), so suchen die Verfasser eine ganze Function \(n\)-ten Grades \(f(x)\), in der alle Coefficienten reell sind, während der von \(x^n\) gleich 1 ist, so zu bestimmen, dass \[ \int_{-1}^{+1} [f(x)]\,dx \] ein Minimum ist. Die Wurzeln der Gleichung \(f(x)=0\) sind alle reell, verschieden und zwischen den Grenzen \(-1\) und \(+1\) gelegen. Sind dieselben \(\alpha_1< \alpha_2\dots< \alpha_n\), so befriedigen sie das System der Gleichungen \[ \alpha_1^\lambda- \alpha_2^\lambda+ \alpha_3^\lambda- \cdots\pm \alpha_n^2= \frac{(-1)^\lambda+ (-1)^{n+\lambda}}{2} \quad (\lambda=1,2,\cdots n), \] dem nur auf eine einzige Art genügt werden kann. Durch Induction ergiebt sich daraus \[ f(x)= \frac{1}{2^n} \frac{\sin((n+1) \arccos(x))} {\sqrt{1-x^2}}. \] Dafür theilen die Verfasser zwei Beweise mit. Die Function \(f(x)\) gehört zu einer allgemeineren Klasse von Functionen \(\psi(x)\). Sei \(F(z)\) eine zwischen den Grenzen \(-1\) und \(+1\) reelle und positive Function \[ u=\int_{-1}^{+1} \frac{F(z)\,dz}{x-z}, \] und \(\varphi(x)\) eine ganze Function \(m\)-ten Grades von der Beschaffenheit, dass in der Entwicklung von \(u\cdot \varphi(x)\) die Coefficienten von \(x^{-1}, x^{-2},\cdot x^{-m}\) verschwinden, dass also \[ u\varphi(x)= \psi(x)+ \frac{A}{x^{m+1}}+ \frac{B}{x^{m+2}}+\cdots \] ist, wo \(\psi(x)\) eine ganze Function ist. Dann sind bekanntlich die Wurzeln der Gleichung \(\varphi(x)=0\) alle reell, ungleich und zwischen \(-1\) und \(+1\) gelegen. Die Verfasser zeigen, dass \(\psi(x)\) dieselbe Eigenschaft hat, und dass zwischen je zwei aufeinander folgenden Wurzeln der Gleichung \(\varphi'(x)=0\) eine Wurzel der Gleichung \(\psi(x)=0\) liegt. Damit die anfangs betrachtete Function \(f(x)\) gleich \(\psi(x)\) sei, ist \[ F(z)= \frac{1}{\sqrt{1-x^2}} \] und \(m=n+1\) zu setzen.