Analyse complexe : l’enquête sur Cauchy et ses précurseurs

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente.

Intervenant 20:03

Salut à tous ceux qui aiment les mathématiques et qui nous rejoignent aujourd'hui.

Intervenant 10:07

Alors pour commencer, imaginons un instant qu'on essaie de résoudre un meurtre bien réel, avec une scène de crime tout ce qu'il y a de plus matériel et tangible. Mais pour trouver la solution, on va interroger un témoin qui n'existe que dans un roman de fiction.

Intervenant 20:21

Ouais, c'est une image assez folle. Et le plus dingue dans cette histoire, c'est qu'à la fin de l'interrogatoire, ce fameux fantôme donne l'adresse exacte où est cachée la véritable arme du crime.

Intervenant 10:32

C'est ça. Et c'est exactement pour ça qu'aujourd'hui, on plonge au cœur de l'une des périodes les plus fascinantes de l'histoire des sciences.

Intervenant 20:39

Tout à fait.

Intervenant 10:40

Quand on s'intéresse à la fondation de ce qu'on appelle l'analyse complexe, il y a un nom qui s'impose tout de suite, un nom qui semble vraiment écraser tous les autres, c'est Augustin-Louis Cauchy. Ah

Intervenant 20:50

bah l'image d'épinal est super tenace pour le

Intervenant 10:52

coup. Grave. On nous dépeint toujours ce titan intellectuel, enfermé dans son bureau, qui conçoit toute une discipline à partir de rien, par la seule fulgurance de son génie, juste pour apporter la rigueur ultime au maths.

Intervenant 21:04

Ouais, cette vision du savant isolé en orbite loin du monde, c'est très romantique. Mais la réalité historique se révèle en fait infiniment plus riche et subtile que ça. C'est

Intervenant 11:13

rarement un génie tout seul dans son coin, de toute

Intervenant 21:16

façon. Exactement. Alors attention, Cauchy a indéniablement abattu un travail magistral. Il a apporté l'architecture définitive qui manquait à l'édifice. D'accord. Mais son intervention, c'est pas une simple illumination spontanée qui serait tombée du ciel un beau matin.

Intervenant 11:30

C'était quoi alors l'élément déclencheur ?

Intervenant 21:32

Eh bien, son travail s'inscrit dans une très longue lignée de précurseurs. Et surtout, et c'est là que ça devient croustillant, son intervention agit vraiment comme l'extincteur d'un véritable incendie académique.

Intervenant 11:45

Un incendie académique ? D'accord, c'est-à-dire ?

Intervenant 21:49

Le travail monumental de Cauchy a été littéralement provoqué par une querelle idéologique brutale au sommet de l'élite scientifique du XIXe siècle.

Intervenant 11:58

Ah ouais, un vrai drame.

Intervenant 22:00

Oh oui, un affrontement féroce entre des géants des mathématiques comme Laplace et Poisson.

Intervenant 12:06

D'accord. L'histoire a vraiment cette fâcheuse tendance à lisser les aspérités pour ne retenir que le vainqueur qui a posé la dernière pierre, quoi.

Intervenant 22:14

C'est exactement ça.

Intervenant 12:15

Du coup, le plan de vol de notre exploration, pour ceux qui écoutent, c'est de remonter le temps, de s'immerger dans ce contexte intellectuel qui était en pleine ébullition, grosso modo entre 1814 et 1831.

Intervenant 22:26

Ouais, la période clé.

Intervenant 12:28

L'objectif, c'est de comprendre comment ces fameux nombres complexes, qui ressemblaient vraiment à de la magie noire mathématique pour l'époque, sont passés de petites astuces de calcul un peu douteuses à une théorie d'une rigueur absolue.

Intervenant 22:40

C'est un sacré voyage,

Intervenant 12:41

ouais. Mais bon, avant de voir Cauchy entrer sur le ring avec ses gants de boxe, il faut déjà comprendre le problème qu'il essayait de résoudre. Et pour ça, faut regarder ce qui flottait dans l'air scientifique bien avant lui.

Intervenant 22:53

Tout à fait. Et pour le coup, le point de départ nous ramène un bon bout de temps en arrière, en 1740, avec les travaux d'Alexis Clairaut.

Intervenant 13:00

Ok, on est au milieu du XVIIIe siècle ?

Intervenant 23:02

Voilà. À cette époque, Clairaut se penche sur ce qu'on nomme les formes différentielles. Bon, pour visualiser la chose sans s'embourber dans les équations pour notre auditoire…

Intervenant 13:11

Oui, s'il te plaît, restons visuels.

Intervenant 23:13

Pas de souci. Il faut concevoir une forme différentielle comme un outil qui permet d'associer une valeur, un nombre précis, à une courbe ou un chemin qui est tracé dans l'espace.

Intervenant 13:23

D'accord. Et Clairaut, lui, concentre ses efforts sur une catégorie très spécifique de ces formes. Les différentielles qu'on appelle exactes.

Intervenant 23:31

Ah, attends, attardons-nous là-dessus un petit instant, pour que la mécanique soit bien claire. Dire qu'une forme est exacte, en gros, ça signifie que le résultat final du calcul se moque complètement du chemin qu'on emprunte, c'est ça ?

Intervenant 13:43

C'est exactement ça.

Intervenant 23:44

Donc qu'on aille tout droit, qu'on fasse des grands zigzags ou qu'on tourne en rond trois fois avant d'arriver, le nombre associé dépend uniquement du point de départ et du point d'arrivée. C'est bien cette idée d'indépendance du trajet qui fascine Eclaireau. Ouais, le concept c'est 100% ça. Claro, en fait, il manipule une expression mathématique composée de deux polynômes. Il les baptise P et Q.

Intervenant 14:06

Classique.

Intervenant 24:06

Et son but, c'est de trouver la règle, la loi interne, qui va garantir que le trajet n'aura aucune influence sur le résultat final.

Intervenant 14:14

Et il trouve cette règle ?

Intervenant 24:15

Eh bien, il finit par formuler une condition qui semble absolument imparable. Il démontre que la dérivée du polynôme P par rapport à la variable X, ça doit être égal à la dérivée du polynôme Q par rapport à la variable Y.

Intervenant 14:29

Ok, donc il trouve une égalité parfaite entre les deux dérivées.

Intervenant 24:32

Voilà, effet notable dans l'histoire des sciences, Léonard Euler, de son côté, tombe exactement sur la même conclusion, au même moment, et de façon totalement indépendante.

Intervenant 14:42

Avec une validation croisée d'un géant comme Euler, j'imagine que Clarot pensait avoir percé le mystère une bonne fois pour toutes.

Intervenant 24:48

Ah bah carrément, Clairaut en était lui-même intimement convaincu.

Intervenant 14:51

Tu m'étonnes.

Intervenant 24:52

Dans sa théorie de la figure de la Terre, qu'il publie en 1743, il avance avec une immense confiance que cette égalité des dérivés, c'est la seule et unique condition requise.

Intervenant 15:03

La condition nécessaire est suffisante quoi.

Intervenant 25:05

Pour lui, c'est ça, le dossier est clos.

Intervenant 15:07

Sauf que bon, on connaît la science, ça tolère assez mal les certitudes hâtives.

Intervenant 25:10

Et comment ? En 1768, Jean-Laurent d'Alembert publie un traité sur l'équilibre des fluides et il vient littéralement dynamiter la conclusion de Clairaut avec un contre-exemple redoutable.

Intervenant 15:23

Ouch.

Intervenant 25:24

Ouais, il prouve que la règle de Clairaut, bien qu'elle soit vraie, elle est en fait incomplète.

Intervenant 15:29

Attends, qu'est-ce qui échappait donc à Clairaut ? S'il manquait une pièce au puzzle, ça ressemblait à quoi ?

Intervenant 25:33

En gros, d'Alembert démontre qu'il faut impérativement imposer une seconde contrainte au système pour qu'il tienne

Intervenant 15:39

debout.

Intervenant 25:40

Il suffit pas que la dérivée de P par rapport à X égale celle de Q par rapport à Y. Il faut aussi regarder ce qui se passe dans l'autre sens, ce qu'on appelle les dérivées croisées.

Intervenant 15:49

Ok, on inverse les variables.

Intervenant 25:51

C'est ça. d'Alembert établit que la dérivée de P par rapport à Y doit être égale à l'opposé de la dérivée de Q par rapport à X.

Intervenant 15:58

À l'opposé. Donc il y a un signe moins qui apparaît.

Intervenant 26:00

Exactement. Le détail crucial ici, c'est ce fameux signe négatif. D'ailleurs, pour la petite histoire, d'Alembert avait déjà entrevu cette structure en 1752 en étudiant la résistance des fluides. Et on en trouvait même des petites traces chez Lagrange.

Intervenant 16:13

C'est fou, mais c'est si négatif, ça change tout géométriquement parlant, non ? Absolument tout ! Pour filer une petite métaphore topologique, c'est un peu comme si on marchait sur une montagne mathématique. La condition de d'Alembert, ça crée un paysage extrêmement rigide. La pente qui descend vers le nord dicte obligatoirement la forme de la pente qui monte vers l'est.

Intervenant 26:33

Ouais, c'est une super bonne analogie. Les dimensions sont complètement verrouillées entre elles.

Intervenant 16:37

Mais du coup, ce qui me frappe quand on regarde ces deux conditions conjointes, c'est qu'elles constituent aujourd'hui l'un des piliers les plus célèbres des mathématiques, les fameuses équations de Cauchy-Riemann. Sauf qu'on vient de voir qu'elles étaient connues presque 70 ans avant Cauchy.

Intervenant 26:51

Eh oui.

Intervenant 16:51

C'est un peu comme si Clairaut avait écrit la moitié d'une recette de gâteau, d'Alembert avait corrigé les proportions de farine, mais que c'était Cauchy et Riemann qui avaient fini par donner leur nom à la pâtisserie un siècle plus tard.

Intervenant 27:01

Prendre cet outil, en comprendre la profondeur et l'intégrer comme la fondation d'une théorie générale est inébranlable.