Bemerkning til Birkelands interpolationsformel. (Q578012)

Die beiden Arbeiten beschäftigen sich mit dem Problem, die Koeffizienten eines Polynoms von zwei oder mehr Variablen zu berechnen, das für gegebene ganzzahlige Wertsysteme der Variablen gegebene Werte annimmt. Besonders wird ein Polynom vom Grade \(n\) in \(x\) und Grade \(m\) in \(y\) betrachtet, das für \(x = 0\), 1,\dots, \(n\); \(y = 0\), 1,\dots, \(m\) gegebene Werte annimmt. \textit{Birkeland} schreibt, was immer erlaubt ist, das gesuchte Polynom in der Form \[ \psi (x, y) = \sum A_{h,k} [x + h][y + k], \] wobei \[ [x + h] = x(x - 1)\cdots(x - n + h + 1), \] und bekommt u. a. unter Anwendung der Hilfsfunktion \(f(x,y) =\sum A_{h,k}\dfrac{x^hy^k}{h!k!}\), zum Schlüsse das Ergebnis \[ A_{i,j}=\sum\frac{(-1)^{h+k-i-j}}{(h-i)!(k-j)!} \frac{\psi(n-h,m-k)}{(n-h)!(m-k)!}, \] wo die Summation über alle Gitterpunkte \((h, k)\) erstreckt wird, für welche \[ n\geqq h\geqq i, \quad m\geqq k\geqq j \] ist. Die Entwicklungen \textit{Birkeland}s sind aber unnötig umständlich. \textit{R. Tambs Lyche} setzt \((x, 0) = 1\), \((x, h) = x (x - 1)\dots(x - h + 1)\) für \(x=1\), 2, 3,\dots und schreibt das gesuchte Polynom in der Form \[ \psi (x, y) = \sum A_{h,k}(x, h) (y, k), \] wo die Summation über alle Paare \((h, k)\) mit \(0\leqq h\leqq n\), \(0\leqq k\leqq m\) erstreckt wird. Als naheliegende Verallgemeinerung der bekannten Formel für Polynome in einer Variablen nimmt er an, daß \[ A_{h,k}=\sum\frac{(-1)^{h+k+i+j}}{(h-i)!(k-j)!} \frac{\psi(i,j)}{i!j!}, \] wo die Summation über alle \((i, j)\) erstreckt wird, für welche \(0\leqq i\leqq h\), \(0\leqq j\leqq k\) ist. In der Tat findet man, wenn man das Polynom mit diesen Koeffizienten \(A_{h,k}\) vorläufig \(\varPhi(x, y)\) nennt, daß, wenn \(x = r\), \(y = s\) gesetzt wird, wo \(0\leqq r\leqq n\), \(0\leqq s \leqq m\), und eine Vertauschung der Summationen gemacht wird, \(\varPhi(r, s) = \psi (r, s)\) ist. Er bemerkt, daß die Lösung eindeutig sein muß ; denn sind alle \(\psi (h, k) = 0\), wo \[ 0\leqq h\leqq n,\quad0\leqq k\leqq m, \] so wird \(\psi (x, y)\) identisch \(= 0\).