Birkhoff George David

En 1913, le mathématicien américain George David Birkhoff démontre le dernier théorème géométrique de Poincaré : sous des conditions de préservation de l'aire et de torsion opposée des bords d'un anneau, il existe au moins deux points fixes. Ce résultat porte aujourd'hui leurs deux noms. À partir de 1919, Birkhoff enseigne à Harvard.

Pour saisir son autre résultat emblématique, imaginez que l'on relève la même grandeur à chaque étape de l'évolution d'un système, puis que l'on recalcule la moyenne de toutes les valeurs observées depuis le départ. Le théorème ergodique de Birkhoff précise le comportement à long terme de ces moyennes. Sur un espace mesuré de mesure finie, pour une fonction intégrable suivie sous une transformation mesurable qui préserve la mesure, elles convergent presque partout vers une moyenne conditionnelle invariante ; si la transformation est ergodique, cette limite coïncide avec la moyenne spatiale globale. Cette double contribution résume un parcours consacré aux équations, aux systèmes dynamiques et à la mesure.

George David Birkhoff est un mathématicien américain né en 1884 et mort en 1944. Après des études à Chicago et à Harvard, il prépare sous la direction d'Eliakim H. Moore une thèse sur les propriétés asymptotiques de certaines équations différentielles ordinaires et leurs applications aux problèmes aux limites. Il enseigne à Harvard à partir de 1919. La frise associée rassemble ces repères biographiques sans ajouter de date à ses autres travaux.

Ses recherches prolongent celles de Poincaré et couvrent les séries semi-convergentes, les systèmes différentiels, la théorie ergodique, les systèmes dynamiques et la théorie de la mesure. Elles touchent aussi les fondements mathématiques de la mécanique quantique et de la relativité.

Deux résultats structurent particulièrement son héritage. En 1913, Birkhoff démontre le dernier théorème géométrique de Poincaré : un homéomorphisme de l'anneau qui préserve l'aire et tord ses deux bords en sens opposés possède au moins deux points fixes. Ce résultat est aujourd'hui appelé théorème de Poincaré-Birkhoff. Son théorème ergodique affirme que, sur un espace mesuré de mesure finie, pour une transformation mesurable préservant la mesure et une fonction intégrable, les moyennes temporelles convergent presque partout vers une moyenne conditionnelle invariante. Lorsque la transformation est ergodique, cette limite est la moyenne spatiale globale. Son influence sur les mathématiques américaines tient également au grand nombre de thèses qu'il a dirigées.

Prenons deux mini-situations. Dans la première, un texte décrit un homéomorphisme d'un anneau : il conserve l'aire, tord les deux bords en sens opposés et l'on cherche des points qui restent en place. Dans la seconde, un observateur relève à chaque étape la valeur d'une fonction le long d'une trajectoire, puis recalcule la moyenne de toutes les valeurs déjà observées. L'objectif est de relier progressivement chaque situation au bon résultat de Birkhoff, sans les mélanger.

Données : le premier énoncé est le dernier théorème géométrique de Poincaré, démontré par Birkhoff en 1913, et conclut à l'existence d'au moins deux points fixes ; le second appartient à la théorie ergodique et conclut à la convergence presque partout des moyennes temporelles vers une moyenne conditionnelle invariante.

1. Repérer « anneau », « préservation de l'aire », « torsion des bords » et « deux points fixes » conduit au théorème de Poincaré-Birkhoff.
2. Repérer « espace mesuré de mesure finie », « transformation préservant la mesure », « fonction intégrable » et « moyenne temporelle » conduit au théorème ergodique de Birkhoff.
3. Pour ce dernier, vérifier l'ergodicité avant d'identifier la limite à la moyenne spatiale globale.

Le contrôle est refaisable directement : la première série réunit les hypothèses de torsion et de préservation de l'aire qui garantissent deux points fixes ; la seconde réunit les hypothèses du théorème ergodique général, dans le cadre d'un espace mesuré de mesure finie. L'égalité avec la moyenne spatiale globale exige en plus l'ergodicité. Le nom de Birkhoff ne suffit donc pas à identifier le résultat.

Pour situer un texte sur les systèmes dynamiques, on relève d'abord ses hypothèses et sa conclusion. Un espace mesuré de mesure finie, une transformation préservant la mesure, une fonction intégrable et des moyennes temporelles orientent vers le théorème ergodique de Birkhoff ; un homéomorphisme de l'anneau préservant l'aire, une torsion opposée des bords et au moins deux points fixes orientent vers le théorème de Poincaré-Birkhoff.

Pour suivre la carrière du mathématicien, on sépare les repères biographiques des résultats : études à Chicago et à Harvard, thèse dirigée par Eliakim H. Moore, puis enseignement à Harvard dès 1919. Une frise est préférable à une liste lorsque l'ordre chronologique est la question centrale.

Pour parcourir l'étendue de ses recherches, on classe les domaines cités plutôt que de les réduire à ses deux théorèmes célèbres. Cette lecture fait apparaître les équations différentielles, la mesure, la mécanique quantique et la relativité aux côtés de la théorie ergodique.

George David Birkhoff et le théorème ergodique de Birkhoff. Le premier est le mathématicien américain né en 1884 ; le second est l'un de ses résultats. Une question sur ses études ou son enseignement vise la personne, tandis qu'une question sur la convergence de moyennes temporelles vise le théorème.

Théorème ergodique et théorème de Poincaré-Birkhoff. Le critère distinctif est le cadre et la conclusion examinés. Le premier porte, sur un espace mesuré de mesure finie, sur les moyennes temporelles d'une fonction intégrable sous une transformation mesurable préservant la mesure ; le second assure au moins deux points fixes pour un homéomorphisme de l'anneau préservant l'aire et tordant ses deux bords en sens opposés.

Le théorème ergodique général ne donne pas toujours la moyenne spatiale globale. Sur un espace mesuré de mesure finie, pour une transformation mesurable préservant la mesure et une fonction intégrable, la moyenne temporelle converge presque partout vers une moyenne conditionnelle invariante. Son identification à la moyenne spatiale globale requiert en plus l'ergodicité de la transformation.

La date de 1913 ne doit pas migrer. Elle est associée dans la source au théorème de Poincaré-Birkhoff, et non au théorème ergodique. Pour dater ce dernier, il faut consulter une source qui fournisse explicitement son année.

Deux théorèmes ne résument pas toute l'œuvre. Les réduire aux seuls systèmes dynamiques ferait disparaître les séries semi-convergentes, les systèmes différentiels, la mesure et les fondements mathématiques de la mécanique quantique et de la relativité. Il faut conserver cette pluralité lorsque l'on décrit sa carrière.

La fiche Ergodique précise le vocabulaire associé au résultat central de Birkhoff sur les moyennes temporelles et spatiales.

La fiche système dynamique approfondit le cadre mathématique dans lequel s'inscrit le théorème ergodique.

La fiche Poincaré Henri situe le mathématicien dont Birkhoff prolonge les travaux.

L'article Du problème des trois corps au chaos mathématique élargit la perspective sur les systèmes dynamiques.