Jacobi Carl

En 1825, à vingt et un ans, Carl Gustav Jacob Jacobi obtient un doctorat qui généralise plusieurs formules de Lagrange. Deux ans plus tard, la sagacité et la fécondité de ses méthodes sont déjà saluées.

Son parcours relie des problèmes très différents. Pour étudier les mouvements d'un pendule ou d'une toupie à partir de la conservation de l'énergie mécanique totale, il recourt aux fonctions elliptiques. Elles permettent ici d'exprimer la solution de l'équation qui décrit l'évolution du mouvement. Jacobi les fait ensuite entrer dans ses recherches en théorie des nombres. Quatre dates permettent de situer cette trajectoire.

Carl Gustav Jacob Jacobi (1804-1851) est un mathématicien allemand du XIXe siècle. Enfant prodige et lecteur précoce d'Euler et de Lagrange, il obtient en 1825, à vingt et un ans, un doctorat dans lequel il généralise plusieurs formules de Lagrange. En 1827, ses méthodes reçoivent un éloge pour leur sagacité et leur fécondité.

En mécanique analytique, Jacobi étudie des équations différentielles liées à la conservation de l'énergie mécanique totale pour le pendule, la toupie et le corps en rotation libre. Leurs solutions s'expriment à l'aide de fonctions elliptiques, dont il développe la théorie et met en évidence la double périodicité. Il est le premier à appliquer ces fonctions à la théorie des nombres, notamment à la réciprocité quadratique et aux nombres polygonaux.

Son héritage comprend la fonction thêta de Jacobi et son équation fonctionnelle, la théorie des déterminants, plusieurs éponymes — matrice jacobienne, jacobien, identité et symbole de Jacobi — ainsi que des travaux sur les transcendants abéliens. Les rubriques « En pratique » et « À ne pas confondre » répartissent ces éponymes par domaine et donnent les critères pour les reconnaître. Dans une lettre à Legendre, Jacobi affirme que la science vise « l'honneur de l'esprit humain » et place une question de nombres au niveau d'une question sur le système du monde.

Exerçons-nous sur un autre cas mentionné dans les travaux de Jacobi. Une notice sur la toupie fournit trois indices en désordre : « équation différentielle », « énergie mécanique totale conservée » et « famille de fonctions dont Jacobi met en évidence la double périodicité ». Il faut les ordonner et nommer cette famille de fonctions.

1. Relevez d'abord la configuration mécanique : c'est la toupie, autrement dit le mouvement concret à étudier.

2. Repérez ensuite le passage vers les mathématiques : la conservation de l'énergie mécanique totale conduit à l'équation différentielle.

3. Le dernier indice désigne les fonctions elliptiques : elles expriment la solution, et Jacobi enrichit leur théorie en mettant en évidence leur double périodicité.

4. Contrôle : la réponse attendue est « toupie → conservation de l'énergie mécanique totale → équation différentielle → solution exprimée avec des fonctions elliptiques ». L'énergie conservée fournit le passage du mouvement à l'équation ; la double périodicité permet ensuite de reconnaître la famille de fonctions sans que son nom ait été donné au départ. Cette famille devient aussi un outil de théorie des nombres, ce qui montre le passage d'un problème physique à une théorie mathématique plus large.

Dans un calcul faisant intervenir une matrice de dérivées partielles, le nom de Jacobi renvoie à la matrice jacobienne et, lorsqu'elle est carrée, à son déterminant appelé jacobien. Si aucune matrice de ce type n'est présente, un autre objet éponyme est probablement visé.

Dans une algèbre de Lie, le nom de Jacobi renvoie ici à l'identité de Jacobi. Un contexte arithmétique ou cryptographique fait plutôt rechercher le symbole de Jacobi.

Face à un problème issu du pendule, de la toupie ou d'un corps en rotation libre, les fonctions elliptiques constituent la piste associée à ses travaux. Le critère observable est la présence d'une équation différentielle liée à la conservation de l'énergie mécanique totale.

En théorie des nombres, les mots « réciprocité quadratique » ou « nombres polygonaux » signalent une autre branche de son œuvre. Le domaine et les objets présents permettent ainsi de choisir le bon sens du nom Jacobi.

Le jacobien et l'identité de Jacobi. Le premier est le déterminant d'une matrice jacobienne carrée, construite avec des dérivées partielles. La seconde est une relation des algèbres de Lie. Une telle matrice carrée tranche en faveur du jacobien.

L'identité et le symbole de Jacobi. L'identité appartient aux algèbres de Lie, tandis que le symbole relève de la théorie des nombres et de la cryptographie. Le domaine du problème suffit à les séparer.

La fonction thêta et les fonctions elliptiques. La source les relie, mais ne les présente pas comme deux noms interchangeables. La mention d'une équation fonctionnelle vise ici la fonction thêta ; la double périodicité qualifie les fonctions elliptiques.

Un nom, plusieurs objets. Le seul mot « Jacobi » ne permet pas de conclure. Le symptôme est une explication qui mêle déterminant, algèbre de Lie et arithmétique ; il faut d'abord identifier le domaine et l'objet manipulé.

Une contribution n'est pas toujours une fondation solitaire. Jacobi développe et enrichit la théorie des fonctions elliptiques ; il est l'un des fondateurs de la théorie des déterminants. Une formulation qui lui attribue seul ces deux domaines doit être remplacée par ces qualifications précises.

Chaque date garde son événement. L'année 1825 correspond au doctorat obtenu à vingt et un ans ; 1827 correspond à l'accueil fait à ses méthodes. Il ne faut rattacher à aucune de ces dates l'ensemble de ses travaux ultérieurs.

La double périodicité a un objet précis. Elle concerne ici les fonctions elliptiques. Si elle est reportée sans distinction sur le jacobien, l'identité ou le symbole de Jacobi, il faut revenir au domaine mathématique de chaque terme.

fonction elliptique — Approfondir la famille de fonctions au cœur des travaux de Jacobi en mécanique et en théorie des nombres.

fonction thêta — Situer la fonction thêta dont Jacobi a établi l'équation fonctionnelle.

jacobien - déterminant - — Examiner le déterminant de la matrice jacobienne lorsqu'elle est carrée.

Réciprocité quadratique — Retrouver le résultat de théorie des nombres auquel Jacobi a apporté de nouvelles démonstrations.

nombre polygonal — Identifier les nombres auxquels se rapportent certains de ses résultats arithmétiques.