APERÇU SUCCINCT

LES HYPERDÉTERMINANTS ET LES INVARIANTS j

Par le TRADUCTEUR

Considérons un système de n fonctions algébriques, entières, etc.,

(y ) ytj /2î • • > fn

des variables x, y, ... ,-2 en nombre quelconque \ et soit y une nouvelle fonction des mêmes variables, dont les coefficients dépendent, suivant de certaines lois, de ceux des proposées.. Remplaçons , dans les fonctions (/) ,

/ X par a x + a'j -h . . . + a(') z, )r par par + ^'7 + ...+ p(0z,

l z par 7 ^ -I- 7' j 4- . . . + 7('^ «, ^ «^ .. ce qui les transforme dans ^

Formons une fonction 4>, composée à l'égard des fonctions

( '94) • [J-) absolument de la même manière que cf est composée k ..j \ regard des fonctions (/), en sorte que 4> est ce que devient 9

r^y quand, dans cette dernière fonction, on met en lieu et

■^;ji. place des coeflScients des fonctions (/) les coefficients cor-

■' ' respondants des fonctions (/'). Ces points entendus, s'il

arrive que la fonction a> soit d'une forme telle, qu en la soumettant à la substitution (a) elle reproduise précisément la fonction 4> [à un facteur numérique près (*)], cette fonction 9 constitue dans ce cas ce que M. Cayley, à qui la conception en est due, a nommé une fonction hjperdéter^ minante ou un hjperdéterminant relatif au système (/). En résumé, les hyperdéterminants sont des fonctions tellement composées à Tégard d'un système donné , que les fonctions homologues, relatives au système linéairement transformé, sont les transformées des premières suivant la même substitution.

Par exemple, supposons que le système [f) se réduise à la seule fonction

/*= ax^ 4- 3 6x' j 4- 3 rrj' -h dy^,

et prenons

if = (^'-— ac) ^'4- (bc — ad)xy -+- {c^ — M)^.

La substitution x = x -\- oly^ y z=zy transforme f dans

OÙ

a*=:a^ b' =z b -^ a (x.\' c'= c -h 2 ^a' + ara'*, ^' = fl? 4- 3 ca' + 3 è a' ' -h « a''.

La fonciion 4>, déduite de/' de la même manière que y

(*) Il faut entendre par ce facteur numérique un facteur uniquement d^ pendant des éléments a, «.',..., de la substitution. Je n^en parlerai pas dans ce qui suit.

( «95 ) de y, c'est-ànlire

devient, d'après les valeurs précédentes de a', b\ </, c?',

4) = ( ^' — ac) x^ -^ hc — ad

xy -^ c^ — bd y'

Or, si l'on soumet y à la substitution x = x + a!y^y == J^» on trouve précisément cette dernière fonction 4>; et comme les, mêmes circonstances se reproduiraient pour la substitution tout à fait générale a" = a.r + oly-^y =(3x4- jS'y-, il en f ésulte que (p est un hyperdéterminant de /. On suppose ordinairement que le déterminant

qu^on nomme le module de la substitution (a), est égal à Funité, et dans ce cas la substitution est dite unimodulatre. Si ce module était quelconque, la substitution (a), introduite dans Thyperdéterminan t y, reproduirait $ multipliée par une certaine puissance du module, les fonctions (f) étant toutefois supposées homogènes.

Considérons^ avec M. Sylvester, la substitution (a) et la substitution

.r = a j: H- a' r -f- . . . -h aC) z

«=rca:-hc'.r -+-•••-+- c('^ S

Ces deux substitutions étant supposées unimodulaires , supposons d'autre part que chaque élément de la seconde soit égal à ce que devient le déterminant M de la première

( '9^ ) (juand on remplace, dans ce déterminant, rëlément correspondant à celni que Ton considère ^ar Tunité , et par des zéros tous les éléments situés dans la même ligne et dans la même colonne que celui qu'on vient de réduire à l'unité : en sorte que , par exemple ,

a o a" . . . ft(0 O I o. . . o

Tous les éléments du système (a) étant ainsi liés aux éléments du système (a), on vérifie aisément que les relations inverses ont également lieu , de façon que , par exemple ,

Deux substitutions, soumises à cette réciprocité, ont été nommées par M. Sylvester substitutions complémentaires ou réciproques.

Cette notion établie, et pour revenir aux métamorplioses des fonctions, reportons-nous aux fonctions [f) et, admettant toujours que la substitution unimodulaire (a) les a changées dans (/') , composons encore , d'après une même loi, les deux fonctions (p et 4>, l'une sur le système (y), l'autre sur le système (y). Nous pourrons maintenant nous demander que la fonction (f se transforme dans $, non plus par la substitution primitive (a), mais par la substitution réciproque (a). Et ce double mode de réduction donnera naissance à denx espèces généralement distinctes de fonctions : les unes, déjà considérées, seront les hyperdéterminantsou, d'après M. Sylvester, les coi^ariants ; les autres,

( '91 ) par opposition , reçoivent du même aulfiur le nom de coutras^aviants , •

Comme on est généralement le maître d/imposer une substitution linéaire à une partie seulement des variables qui entrent dans une fonction et d'appliquer une substitution différente à une autre partie de ces variables , et ainsi de suite, le système (f)^ soumis simultanément à ces substitutions linéaires fractionnées , se transformera toujours dans un autre ( f) \ mais pour passer de la fonction ç à la fonction <ï>, formée sur [f) comme (p Test sur (/), on pourra, à chacune des substitutions partielles, adjoindre une substitution semblable ou une substitution complémentaire. Donc ç sera relativement au système [f) coyariant pour une partie des variables et contravarianl pour une autre partie (*).

Lorsque la fonction ç ne dépend uniquement que des coeiïicients des fonctions [f)^ la distinction entre les covariants et les contravarianls s'évanouit, et ces deux espèces, de fonctions vont se fondre dans une espèce-limite qui, ne donnant plus de prise à la substitution , acquiert la remarquable propriété de rester îdcn tique à elle-même quand on la compose sur le système (/) ou sur le système transformé (/'). En considération de cette propriété, les fonctions qui la possèdent ont reçu le nom caractéristique à' itwariants .

Ainsi , pour mettre la définition en lumière et sans égarcf pour la répétition, les irwariants sont des fonctions des coefficients d*un système primitif donné qui se réduisent d'elles-mêmes à leur expression primitive lorsqu'on essaye de remplacer ces coefficients par les coefficients homologues relatifs au système uni-linéaireipent transformé.

(*) M. Sylvcstcr a rcronnii depuis que les contravariants no différaient pas dos covarianls.

^^ Réduisons, par exemple , le système à la fonction unique et simple •

/*= ax^ -f- 2 bxy -t- cj'.

Par la substitution unimodulaire

X = ao: H- a' r , .

elle devient

Et si Ton forme avec lés coefficients de /la fonction

• ■ avec ceux de f la fonction analogue i' * — a' c' , on trouve, en Tertu de a', b\ c' en a, J, c, a , /3, . . . ,

^'»— ^'c'= (6-^— ûc) (ap'— a'p)^=: ^"^ — «c.

La fonction b* — ac est donc un invariant de f.

On rencontre un invariant dans le dernier terme de l'équation aux différences des racines d'une équation donnée f(Xj y) = o. Car par la substitution x= x-^ hy^ toutes les racines se trouvant augmentées d'une même quantité, leurs différences ne sont pas altérées, et il en est^ par suite, de même des coefficients de l'équation aux différences, qui sont des fonctions symétriques de ces différences, *et s'expriment d'ailleurs par les coefficients de la proposée : mais le dernier coefficient reste seul inaltéré par les substitutions qui affectent y.

Une fonction quelconque d'un certain nombre d'invariants est évidemment elle-même un invariant pour le» système considéré. Les invariants qui ne peuvent pas s'exprimer sous forme rationnelle les uns par les autres sont appelés invariants fondamentaux.

Les invariants sont astreints à vérifier certaines équa-

( '99) lions aux différences partielles, qui sont une conséququce immédiate de leur déGnition , et constituent à leur tour les bases de leur entière détermination. Considérons spécialement le cas où le .système primitif se réduit à la fonction homogène à deux variables du degré n

£io 9 ^19 • • • étant ce quW nomme les coeiUcients. La substitution uni modulaire

la transforme dans

•/' = «; x^ -+- na\ X"- ' y -h — ^ ^ a, .r^"' r ' 4- . . . -f- n'^ J %

où

a\ rr: ^„ ,

a\ = Oi 4- !i 0| >1 -f- ^'o >î%

«^ = a,, 4- /2rtfl i >] -4- . . . + ««, ïî""' -f- ^/o >J". Un invariant quelconque (j) relatif à y devant rester iinlépendant de y? quand on y remplace «o? ^n--.-) ^» pai' a^ 5 a, , . . . , a„, on peut égaler à zéro sa dérivée par rapport à 73 après cette substitution, et Téquation ainsi obtenue suffit pour établir l'indépendance dont il s'agit. Or on a

i=.n dn ^ da[ d »

V^ . I «/--! H «/-2>î -+- ^-^^ «1-3 >î'-4-- . . I r/ cp

c'est-à-dire

dn Zà i~'da'

et comme la composition de (j? en a, , a, , . . . , a„ doit être parfaitement la même qu'en ao, ai, ... , «„, et que ces dernières quantités sont tout à fait quelconques , rien n'empêche de supprimer les accents, et d'écrire en conséquence

Au reste , si cette suppression d'accents paraissait quelque peu illicite, on lèverait toute espèce de doute à cet égard en observant que la transformation inverse X:=-X — yjj^, y=-y devant ramener f ^ f^ om aurait, en changeant rj en — yj dans Texpr^sion ci-dessus de di ,

et, par suite,

d Q> ^ri d f ^/âTt r/^j ^ doi dn

Si , au Heu de la substitution x = x -h nj^ y =^^5 ^" ^ût pris X = a*, y = jr + yj or, ce qui revient à écrire en ordre inverse la fonction /, à échanger l'un dans l'autre x et j^, et à ftire la première substitution , on eût trouvé évîdem-

meiit

Une fonction 9 satisfaisant aux deux équations (1) et (j) jouira de la propriété de rester invariable par les deux substitutions successives

et conséquemment par la substitution résultante unîmodulaîre

d'où, par répétition, on conclura à riiivarîabîlîté de la fonction (f pour une substitution unimodulaire quelconque. Par où Ton voit que les deux équations difTérenlielles précédentes caractérisent complètement les invariants et sont parfaitement suffisantes pour leur.entiire détermination . M. Cayley a prouvé, dans un travail, sans doute actuellement publié, qu'une seule équation différentielle, jointe h la condition d'homogénéité, est tout à fait propre à remplacer les deux équations dont il s'agit (*).

En se fondant sur le résultat précédent, il serait facile de former les équations différentielles que doivent vérifier les invariants pour une fonction de plus de deux variables. Il suffirait d'écrire la fonction donnée sous la forme d'une

(*) La méthode que j'ai suivie pour établir les équations différentielles ci-dessus coïncide à son début avec celle qu'a employée M. SyWestcr {The Cambridge and Dublin, elc,, i8j2. Sur le Calcul des Formes, sect. IV), en ce sens que j'emploie la même substitution j =• y^ x = x h- >;^ . Mais à partir de là le procédé de la différenliation que je substitue à un certain déveluppcraent par la Cormule de Taylor, me paraît beaucoup plus simple, sinon plus satisfaisant. .

somme de polynômes homogènes en x et y^ de degrés décroissants de /i à o, i^ultipliés par les puissances et produits des autres variablçs propres à rétablir Thomogénéité dans chaque groupe \ car, comme la substitution simple jr^= y^ x = x-^ my permettrait alors d'avoir, par ce qui précède et pour chaque groupe , les coefficients de la fonction transformée, le procédé de diiïérentiation par rapport à m s'appliquerait avec le même succès et conduirait à deux premières équations différentielles. Puis une autre substitution, telle que z = z -h >7y , ^ = ^9 jointe à un autre groupement des termes du polynôme, fournirait deux autres équations, et ainsi de suite. On passerait ensuite sans peine au cas général d'un système quelconque de fonctions homogènes. Mais je dois me borner ici à ces simples indications , mon but ayant été dès l'abord de donner uniquement les notions, en quelque sorte rudimentaires, qui se trouvent à l'origine d'une vaste et féconde théorie qu'enrichissent et étendent tous les jours les travaux de MM. Cayley, Sylvester, Hermite, etc. On trouvera dans le tome XXX du Journal de C relie le remarquable Mémoire où M. Cayley pose les fondements de cette grande théorie^ et la lecture du Calcul des Formes de M. Sylvester (*) achèvera de faire comprendre tout ce qu elle offre de ressources aux esprits investigateurs {**).

{*) The Cambridge and Dublin MalhcmaticalJournal, i852.

(**) Depuis que ceci a été remis pour l'impressioD, M. Cayley a publié dans les Transactions Philosophiques (i854- 1856) trois magnifiques Mémoires sur la théorie dont il s^agii. MM. Hermite et Sylvester sont, de leur côté, arrivés à d^imporlants résultats consignés dans le Quarterlj^^Beview que je n^ai pas présentement sous les yeux.

( ao3 )

NOTE DE L'AUTEUR