On certain associated systems of polynomials. (Q1564792)

Es seien \[ U_{0,\lambda} U_{1,\lambda} U_{2,\lambda}\dots U_{\mu,\lambda} \] Polynome von den resp. Graden \(0,1,2,3\dots \mu\), so werden die Polynome der Reihe: \[ V_{0,\lambda} V_{1,\lambda} V_{2,\lambda}\dots V_{\mu,\lambda} \] den ersteren zugeordnet (associés) genannt, wenn für \(\mu\lessgtr\nu\) \[ \int_0^1 U_{\mu,\lambda}\,dx=0, \int_0^1 U_{\mu,\lambda} x^\lambda\,dx=0, \int_0^1 U_{\mu,\lambda} x^{2\lambda}\,dx=0,\dots \int_0^1 u_{\mu,\lambda} x^{(\mu-1)\lambda}\,dx=0, \] dann ergiebt sich für \(U_{\mu,\lambda}\) bis auf einen constanten Faktor: \[ U_{\mu,\lambda}= \sum_{i=0}^{i=\mu} (-1)^i \frac{(i+1) (i+\lambda+1) (i+2\lambda+1)\dots (i+(\mu-1) \lambda+1)} {1.2.3\dots i.1.2.3\dots \mu-i} x^i. \] Die zugeordneten Polynome \(V_{\mu,\lambda}\) erhält man dann, wenn man setzt: \[ V_{\mu,\lambda}= \frac{d^\mu(x^\mu (x^\lambda- 1)^\mu)} {dx^\mu}. \] Für \(\lambda=1\) erhält man \[ V_{\mu,\lambda}= A_\mu U_{\mu,\lambda}= \frac{d^\mu (x^\mu (x-1)^\mu)} {dx^\mu}, \] eine Funktion, welche in die Legendre'sche \(X_\mu\) übergeht, wenn \(x\) durch \(\frac{1+x}{2}\) ersetzt wird. Die \(U_{\mu,k}\) haben folgende Eigenschaften: Die Wurzeln der Gleichung \(U_{\mu,\lambda}=0\) (desgl. von \(V_{\mu,\lambda}=0\)) sind sämmtlich reell und liegen zwischen 0 und 1. 2) In der Entwickelung von \(U_{\mu,\lambda}\log (1-\frac 1x)\) nach fallenden Potenzen von \(x\) fehlen die mit \[ \frac 1x, \frac{1}{x^{\lambda+1}}, \frac{1}{x^{2\lambda+1}},\cdots \frac{1}{x^{(\mu-1)\lambda-1}} \] behafteten Glieder. Dies ist eine unmittelbare Folge aus obigen Bedingungsgleichungen für \(U_{\mu,\lambda}\) gesetzt wird: \[ \begin{aligned} 3) \quad &\varphi(x)\log(\biggl( 1-\frac 1x\biggr)+ \alpha\varphi(\alpha x)\log \biggl(- \frac{1}{\alpha x}\biggr)\cdots+\\ &+\alpha^{\lambda-1} \varphi(\alpha^{\lambda-1}x) \log\biggl(1- \frac{1}{\alpha^{\lambda- 1}x} \biggr)= P+\frac{K}{x^{\lambda\mu+1}} +\cdots, \end{aligned} \] wenn \(\alpha\) eine primitive \(\lambda^{\text{te}}\) Wurzel der Einheit und \(P\) eine ganze Funktion von \(x\) bedeutet. 4) \(U_{\mu,\lambda}\) (desgl. \(V_{\mu,\lambda}\)) benügt einer linearen homogenen Differentialgleichung \(\lambda+1^{\text{ter}}\) Ordnung, welche eine Verallgemeinerung der Differentialgleichung \(2{\text{ter}}\) Ordnung für die hypergeometrische Reihe bildet. Aus dieser wird die Eigenschaft (2) von Neuem abgeleitet. Als erzeugende Funktion für das System \[ U_{0,\lambda} U_{1,\lambda} U_{2,\lambda} U_{3,\lambda}\dots \quad \text{oder für} \quad \sum_{p=0}^{p=\infty} a^p U_{\mu,\lambda} \] wird mit Hülfe der Lagrange'schen Reihe der Ausdruck \(\frac 1a \frac{dz}{dx}\) gefunden, wo \(z\) die Wurzel der Gleichung: \(z=a- \frac{ax} {\root\lambda\of {1- \lambda z}}\) bedeuten. Für das System \[ V_{0,\lambda} V_{1,\lambda} V_{2,\lambda}\dots \] erhält man als erzeugende Funktion \(\frac{dz}{dx}\), wo \(z\) der Gleichung \(z=x+ax (z^\lambda-1)\) genügt.