Sur les polynômes de Newton et certaines formules d'interpolation. (Q1434872): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 04:20, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sur les polynômes de Newton et certaines formules d'interpolation. |
scientific article |
Statements
Sur les polynômes de Newton et certaines formules d'interpolation. (English)
0 references
1929
0 references
Verf. behandelt im ersten Teile seiner Arbeit die Frage nach allen Identitäten der Gestalt \[ \sum_{s=0}^{n} \frac{(x+\alpha s,\omega)_s(y+\beta s,\omega)_{n-s}} {(ax+by+c+\gamma s,\omega)_n} \frac{px+qy+r+\lambda s}{p'x+q'y+r'+\lambda's}=1 \tag{1} \] zwischen den \textit{Newton}schen Polynomen \((x,\omega)_n=(n!)^{-1}\prod\limits_{s=0}^{n-1}(x-s\omega)\); dabei bedeuten \(x\), \(y\) zwei unabhängige Veränderliche, \(\alpha\), \(\beta\), \(\gamma\), \(a\), \(b\), \(c\), \(p\), \(q\), \(r\), \(p'\), \(q'\), \(r'\), \(\lambda\), \(\lambda'\) vierzehn feste Parameter, \(n\) eine ganze Zahl \({}\geqq 0\). Es stellt sich heraus, daß nur zwei Beziehungen der Art (1) zustandekommen, nämlich die mit einem willkürlichen Parameter \(\alpha\) behaftete Identität \[ \sum_{s=0}^{n}\frac{x}{x+\alpha s}(x+\alpha s,\omega)_s(y-\alpha s,\omega)_{n-s}= (x+y,\omega)_n, \tag{2} \] die von \textit{Jensen} herrührt, und folgende zweite: \[ \sum_{s=0}^{n}\frac{(x,\omega)_s(y-\omega s,\omega)_{n-s}}{(x+y-\omega s,\omega)_n} \frac{x+y+\omega-2\omega s}{x+y+\omega-\omega s}=1. \tag{3} \] Die Richtigkeit von (3) zeigt Verf. durch den Nachweis, daß eine gewisse rationale Funktion \(R\) von \(y\), eine geringe Abwandlung der linken Seite von (3), die Eigenschaft \[ \lim_{y \to \infty} R (y)=\operatorname{const.} \] und keinen Pol besitzt: Ihre Residuen an den Stellen, die einzig als -- einfache -- Pole in Betracht kämen, sind null. Verf. gibt einen eigenen Beweis von (2), der von der Erzeugung der \textit{Newton}schen Polynome \[ (1+\omega t)^{\frac{x}{\omega}}=\sum_{n=0}^{\infty}(x,\omega)_n t^n \] ausgeht. Aus der Teilbarkeit des Ausdrucks \[ \begin{multlined} (1+\omega t)^{\frac{x}{\omega}} \left[1-(1+\omega t)^{\frac{\alpha}{\omega}}\right]^n\\ =\sum_{s=0}^{n}\sum_{\nu=0}^{\infty} (-1)^s {n\choose s}(x+\alpha s,\omega)_{\nu} t^{\nu} \qquad (n=1,2,\ldots) \end{multlined} \tag{4} \] durch \(t^n\) folgt nämlich \[ \sum_{s=0}^{n} (-1)^s {n\choose s} (x+\alpha s,\omega)_{\nu}=0, \quad \nu=0,1,\ldots,n-1. \] Ersetzt man in der für \(\nu=n-1\) geltenden Formel \(x\) und \(\alpha\) durch \(x+(n-1)\omega\) und \(\alpha-\omega\), vertauscht \(n\) mit \(n-\nu\), multipliziert mit \((x+y,\omega)_{\nu}\) und summiert über \(\nu\) von \(0\) bis \(n\), so entsteht (2). Im zweiten Teile der Abhandlung, der sich auf Polynome mehrerer Veränderlichen bezieht, verallgemeinert Verf; den letzten Beweis, indem er den zweiten Faktor in (4) links durch das Produkt \(\prod\limits_{k=1}^{r}\left[1-(1+\omega t)^{\frac{\alpha_k}{\omega}}\right]^{n_k}\) ersetzt. Mit Benutzung der Zeichen \[ X(s)=x+\sum_{k=1}^{r} \alpha_k s_k, \quad Y_i(-s)=y_i-\sum_{k=1}^{r}\alpha_k s_k, \quad s'_i=\sum_{j=1}^{i}s_j, \quad s'_0=0 \] findet er als eine erste Verallgemeinerung von (2) \[ \begin{gathered} \prod\limits_{i=1}^{r}(x+y_i,\omega)_{n_i}\tag{5}\\ =\sum_{s_1=0}^{n_1}\cdots\sum_{s_r=0}^{n_r} \frac{x}{X(s)}\prod_{i=1}^{r} \left(X(s)-s'_{i-1}\omega,\omega\right)_{s_i} \left(Y_i(-s)+s'_{i-1}\omega,\omega\right)_{n_i-s_i}. \end{gathered} \] Indem man ein Polynom \(\varphi\) von \(r\) Veränderlichen \(x_k\) für die Werte \(x_k=x+y_k\) nach den \textit{Newton}schen Polynomen \((x+y_k,\omega)_{\nu_k}\) entwickelt und dann für deren Produkte die Formel (5) benutzt, erhält man eine Formel, die wir hier nur im Sonderfalle \(\alpha_1=\cdots=\alpha_r=0\) anführen: \[ \begin{gathered} \varphi(x+y_1,\ldots,x+y_r)\\ =\sum_{s_1=0}^{n_1}\cdots\sum_{s_r=0}^{n_r} (x,\omega)_{s_1}\cdots(x-s'_{r-1}\omega,\omega)_{s_r} {\underset\omega{\overset{s_1+\cdots+s_r}\triangle} _{\hskip-1em y_1^{s_1}\cdots y_r^{s_r}}}\varphi(y_1,\ldots,y_r+s'_{r-1}\omega). \end{gathered} \] Diese Einschaltungsformel vereinfacht sich, wenn \(\omega=0\), auf die Verallgemeinerung einer für \(r=1\) von \textit{Abel} gegebenen Formel. Eine von (5) verschiedene Verallgemeinerung von (2) ergibt sich, wenn man \textit{Jensen}s vom Verf. nochmals dargelegten Beweis von (2) verallgemeinert. Benutzte dieser die \textit{Lagrange}sche Reihe für \textit{eine} Gleichung, so bedient man sich jetzt der Verallgemeinerung dieser Reihe für ein Gleichungs\textit{system}: Lautet dieses \[ F_k(\xi_1,\ldots,\xi_r)\equiv\xi_k-t_k f_k (\xi_1,\ldots,\xi_r)=0, \quad k=1,\ldots,r; \] ist \(\xi_1,\ldots,\xi_r\) dessen eindeutige, mit \(t_1,\ldots,t_r\) nullstrebige Lösung, so gilt unter passenden Annahmen über die Funktionen \(f_k\) und \(\varPhi\) \[ \frac{\varPhi(\xi_1,\ldots,\xi_r)}{D}= \sum_{n_1=0}^{\infty}\cdots\sum_{n_r=0}^{\infty} \frac{t_1^{n_1}\cdots t_r^{n_r}}{n_1!\cdots n_r!} \left[\frac{\partial^{n_1+\cdots+n_r}\varPhi f_1^{n_1}\cdots f_r^{n_r}} {\partial\xi_1^{n_1}\cdots\partial\xi_r^{n_r}}\right]_{\xi_1=\cdots=\xi_r=0}, \] wo \(D=\dfrac{\partial(F_1,\ldots,F_r)}{\partial(\xi_1,\ldots,\xi_r)}\). Der Ansatz \[ f_k(\xi_1,\ldots,\xi_r)=\prod_{i=1}^{r}(\xi_i+1)^{\alpha_i^k}, \quad \varPhi(\xi_1,\ldots,\xi_r)=\prod_{i=1}^{r}(\xi_i+1)^{x_i} \] mit \(r^2\) willkürlichen \(\alpha_i^k\) und \(r\) beliebigen \(x_i\) führt schließlich zu der in Rede stehenden Formel \[ \begin{gathered} \prod\limits_{i=1}^{r} (x_i+y_i, \omega_i)_{n_i}\tag{6}\\ =\sum_{s_1=0}^{n_1}\cdots\sum_{s_r=0}^{n_r} \operatorname{det}\cdot(\varepsilon_k^i X_i(s)-\alpha_K^i s_i) \prod_{i=1}^{r}\frac{(X_i(s),\omega_i)_{s_i}(Y_i(-s),\omega_i)_{n_i-s_i}}{X_i(s)}, \end{gathered} \] wo \(X_i(s)=x_i+\sum\limits_{k=1}^{r}\alpha_i^k s_k\) und \(\varepsilon_k^i=0\), wenn \(i\neq k\), \(\varepsilon_i^i=1\). Aus (6) leitet man eine zweite Einschaltungsformel für Polynome von \(r\) Veränderlichen her, die sich, wenn alle \(\alpha_k^i=0\), auf die \textit{Newton}sche zurückzieht. (IV~6~A.)
0 references