Double binary perpetuants. (Q1444732)

Man hat verschiedentlich die Invariantentheorie einfachbinärer Urformen auf doppelt-binäre \(f(a_{ik};x_1,x_2;y_1,y_2)\) ausgedehnt. Es fehlte aber noch eine entsprechende Theorie der Perpetuanten \(P\), d. h. irreduzibler Seminvarianten von Urformen unbegrenzt hoher Ordnungen in den \(x, y\). Schreibt man symbolisch \(f=a_x^ma'^n_y\), und sind \(\pi \), \(\pi '\) Produkte von Klammerfaktoren vom Typus \((ab)\), resp. \((a'b')\), so stellt \(\pi \), \(\pi '\) eine \(P\) dar. Die erforderlichen Reduktionen erfolgen auf Grund der bekannten Identitäten. Sei \(P\) vom Grade \(n+1\), d. h. linear in \(n+1\) Formen \(f, f_1,\ldots,f_n\), mit den Symbolen \(a_i\), \(a_i'\). Dann lassen sich gewisse symbolische Produkte \(Q\), \(R\) aufstellen als Typen der binären resp. doppelt-binären \(P\). Ein weiteres Hilfsmittel besteht in der Polarisation gewisser Identitäten; man gelangt so zu neuen Identitäten. Dieser Polarisationsprozeß dient einmal zur Reduktion doppelt-binärer \(P\). Andererseits führt er auch zu einer erzeugenden Funktion \(\displaystyle \sum _{w=0}^{w=\infty }c_wt^w\), wo \(c_w\) die Anzahl der \(P\) vom Grade \(n+1\) und Gewichte \(w\) liefert. Explicite nimmt diese Funktion die Gestalt an: \[ \Bigl( \frac {2t-t^2}{1-t^2}\Bigr)^n-\frac {d}{dt}\, \frac {t^{n+1}-t^{2^n}}{(1-t)^n}, \] wo nach steigenden Potenzen von \(t\) zu entwickeln ist. Dies ist auf mehrfach binäre \(P\) ausdehnbar.