Sopra alcuni invarianti di due forme binarie degli ordini 5 e 4 e sul risultante di esse. (Q1536764): Difference between revisions

Eine wichtige Aufgabe bei der Untersuchung der Invarianten eines Paares binärer Formen ist die, den Ausdruck ihrer Resultante als Function der fundamentalen Invarianten des Paares zu finden. Dieselbe wird von Hrn. d'Ovidio in den beiden zu besprechenden Arbeiten (siehe auch JFM 20.0129.03) für die Fälle gelöst, in denen die eine der Formen \((f)\) vom fünften, die andere \((\varphi)\) vom zweiten, dritten oder vierten Grade ist. Zu diesem Behufe fängt er mit der Untersuchung der Invarianten an, durch welche die Resultante auszudrücken ist (ihre Grade in den Coefficienten der gegebenen Formen ermittelt man aus der Betrachtung der Grade der Resultante); hierauf kann er den gesuchten Ausdruck mit unbestimmten Zahlcoefficienten hinschreiben, deren Werte durch besondere Annahmen über die Formen \(f, \varphi\) bestimmt werden. Folgendes sind die auf diesem Wege erreichten Ergebnisse: 1. Die beiden gegebenen Formen seien \[ f = a_x^5 = b_x^5 = \dots,\quad \varphi = \alpha_x^2 = \beta_x^2 \dots, \] \(\varDelta\) die Discriminante von \(\varphi,\) und indem man unter \(I_{m\mu}\) oder \(I_{m\mu}'\) u. s. w. eine Invariante \(m^{\text{ten}}\) Grades in den Coefficienten von \(f\), \(\mu^{\text{ten}}\) Grades in denen von \(\varphi\) versteht, setze man \[ \begin{aligned} & I_{21} = (ab)^4(a\alpha)(b\alpha), \quad I_{23} = (ab)^2 (a\alpha)^2 (b\beta)^2 (a\gamma) (b\gamma),\\ & I_{25} = (a\alpha)^2 (a\beta)^2 (b\gamma)^2 (b\delta)^2 (a\varepsilon) (b \varepsilon).\end{aligned} \] Dann kann man als Resultante von \(f\) und \(\varphi\) die Function \[ 4\varDelta^2 I_{21} - 6 \varDelta I_{23} + I_{25} \] nehmen. 2. Sei \( f =a_x^5 =b_x^5 = \dots\), \(\varphi = \alpha_x^3 = \beta_x^3 = \dots ;\) man nenne die Hessiana \( \varDelta = \varDelta_x^4 = \varDelta_x'^4 = \dots,\) \(P\) die Invariante von \(\varphi.\) Ausserdem setzen wir \[ \begin{aligned} & \quad i = (ab)^4 a_x b_x,\\ & I_{31} = -(ab)^4 (ac) (bc) (c\alpha)^3,\\ & I_{13} = (a\alpha)^3 (a\beta) (a \gamma) (\beta \gamma)^2, \\ & I_{22} = (ab)^4 (a\alpha) (b\beta) (\alpha \beta)^2; \quad I_{22}' = (ab)^2 (a\alpha)^3 (b \beta)^3,\\ & I_{35} = (a\alpha)^3 (b \beta)^3 (c \gamma)^3 (a \delta)^2 (b \varepsilon)^2 (c \delta) (c \varepsilon); \quad I_{35}' = (a \alpha) (i \alpha)^2 (a\varDelta)^2 (a \varDelta')^2;\end{aligned} \] \[ I_{35}^{\prime\prime} =(ac)^2 (a \alpha)^3 (b \beta)^3 (b \gamma)^2 (c \gamma) (c \varDelta)^2. \] Dann ist der gesuchte Ausdruck der Resultante : \[ 162 P I_{31} + 2 I_{13} (81 I_{22} - 125 I_{22}') + 8 I_{35} + 243 I_{35}' + 108 I_{35}^{\prime\prime}. \] 3. Endlich sei \(f = a_x^5 = b_x^5 = \dots\), \(\varphi = \alpha_x^4 = \beta_x^4 = \dots \) Die beiden Invarianten von \(\varphi\) seien \(\iota\) und \(\eta,\) ihre beiden Covarianten \( X = X_x^4 = X_x'^4 = \dots\), \(\theta = \theta_x^6 = \theta_x'^6 = \dots \) Ferner setze man \[ \begin{aligned} H & = H_x^6 = {H'_x}^6 = (ab)^2 a_x^3 b_x^3, \\ i & = i_x^2 = {i'_x}^2 = (a b)^4 a_x b_x, \\ l = l_x^5 & = (ia) i_x a_x^4 ; \quad T = T_x^9 = (aH) a_x^4 H_x^5, \\ A & = (ab)^4 (cd)^4 (ac)(bd), \\ I_{41} & = (ab)^4 (cd)^4 (a \alpha) (b \alpha)(c \alpha) (d \alpha); \;I'_{41} = (Hi)^2 (H \alpha)^4, \\ I_{42} & = (iX)^2 (i'X)^2; \;I_{42}' = (Hi)^2 (HX)^4; \;I_{42}^{\prime\prime} = - (a i)^2 (a \alpha)^3 (b \alpha) (b \beta)^4 ;\\ & \qquad \qquad I_{42}^{\prime\prime\prime} = (H \alpha)^4 (H \beta)^2 (i \beta)^2,\\ I_{43}' & = (H\alpha )^4 (H\beta)^2 (i\beta)^2; \quad I_{43}^{\prime\prime} = (HH')^2 (H\alpha)^4 (H'\alpha)^4 (H'X)^4;\\ & \qquad\qquad I_{43}^{\prime\prime\prime} = (H\alpha)^4 (HX)^2 (iX)^2; \quad I_{43}^{\text{IV}} = (HX)^4 (H \alpha)^2 (i \alpha)^2,\\ I_{45} & = (a \alpha)^4 (b \beta)^4 (c \gamma)^4 (d \delta)^4 (a \varepsilon) (b \varepsilon) (c \varepsilon) (d \varepsilon), \\ I_{45}' & = (aX)^4 (bX')^4 (a \alpha) (b \alpha) (i \alpha)^2, \\ I_{45}^{\prime\prime} & = (H \alpha)^2 (H' \alpha)^2 (HX)^4 (H'X')^4, \\ I_{45}^{\prime\prime\prime} & =(a \alpha)^4 (b \beta)^4 (H \gamma)^4 (a X) (b X) (H X)^2,\\ I^{\text{IV}}_{45} & = (a X)^2 (l X)^2 (a \theta)^3 (l \theta)^3, \\ I_{45}^{\text{V}} & = (a \theta)^5 (T \theta) (T \alpha)^4 (T \beta)^4. \end{aligned} \] Als Resultante der beiden Formen \(f, \varphi\) können wir dann die folgende Function nehmen: \[ \begin{aligned} & \quad \left( I_{45} + \frac {23.32}{9}\;I_{45}' + 16.7 I_{45}^{\prime\prime} -4.9 I_{45}^{\prime\prime\prime} +\frac {32.5}{3}\;I_{45}^{IV} + 16.11 I_{45}^{\text{V}} \right) \\ & + \left( - \frac {4.7.31}{27.5}\;I_{43} + \frac {5.23}{3}\;I_{43}' - \frac {4.6271}{9.7}\;I_{43}^{\prime\prime} + \frac {2^8.11.47}{9.5.7}\;I_{43}^{\prime\prime\prime}\right) \iota \\ & + \left( - \frac {4.3259}{9.25.7}\;I_{42} - \frac {4.13^2.239}{27.5.7}\;I_{42}' + \frac {4.31733}{27.5.7}\;I_{42}^{\prime\prime} - \frac {3.13.167}{5.7}\;I_{42}^{\prime\prime\prime} \right) \eta \\ & + \left( \frac {61.3491}{27.25.7}\;I_{41} + \frac {2.5.17.37}{81}\;I_{41}' \right) \iota^2 \\ & + \frac {8821}{9.5.7}\;A \iota \eta. \end{aligned} \] Inbetreff der anderen vom Verfasser im Laufe der Untersuchung aufgestellten Resultate verweisen wir auf die Abhandlungen selbst.