Jean Leray, né le à Chantenay-sur-Loire (Loire-Inférieure) et mort le à La Baule, est un mathématicien français qui a travaillé à la fois sur les équations aux dérivées partielles, la mécanique des fluides et sur la topologie algébrique.
Il passe sa jeunesse à Nantes et à Rennes, puis fait ses études à l'École normale supérieure et devient professeur à Nancy en 1936. Il effectue ses principaux travaux en topologie entre 1940 et 1945 alors qu'il est prisonnier de guerre en Autriche. Il organise dans le camp à Edelbach une université pour les prisonniers. Il introduit les idées radicalement nouvelles et très fécondes de suite spectrale et de faisceau. Ses idées sont reprises par d'autres pour devenir des outils importants en algèbre homologique. On lui doit une étude magistrale sur l'existence de solutions régulières des équations de Navier-Stokes sur un intervalle borné, dans laquelle il explique les difficultés (liées à la turbulence) rencontrées pour prouver l'existence d'une solution régulière définie sur l'ensemble de tous les réels positifs : le travail de Leray reste encore aujourd'hui une référence incontournable dans ce domaine, où les progrès notables, dus à Lars Onsager, n'ont été établis que dans le cas de la dimension 2.
Le mathématicien Alexandre Grothendieck l'aura, plus tard, identifié comme l'un de ces mathématiciens s'inscrivant dans la lignée des pionniers et des bâtisseurs, par opposition à la lignée des héritiers.
Son épouse, née Marguerite Trumier, est décédée à La Baule le à 93 ans.
Il est professeur au Collège de France, où il occupe la chaire de théorie des équations différentielles et fonctionnelles de 1947 à 1978. Il est élu membre de l'Académie des sciences en 1953 et par la suite dans de nombreuses académies étrangères, dont l'Académie des sciences de Göttingen (1963), la National Academy of Sciences (1965), l'Académie des sciences d'URSS (1966) et la Royal Society (1983). Il reçoit de nombreuses distinctions, dont le prix Francœur en 1937, le prix Wolf en 1979, la Conférence von Neumann de la SIAM en 1962 et la médaille Lomonossov en 1988.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines. Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines : où est une résolution injective du faisceau , et désigne le groupe abélien des sections globales de . A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie. Le zéroième groupe est canoniquement isomorphe à .
En algèbre homologique et en topologie algébrique, une suite spectrale est une suite de modules différentiels (En,dn) tels que En+1 = H(En) = Ker dn / dn est l'homologie de En. Elles permettent donc de calculer des groupes d'homologie par approximations successives. Elles ont été introduites par Jean Leray en 1946. Il y a plusieurs manières en pratique pour obtenir une telle suite. Historiquement, depuis 1950, les arguments des suites spectrales ont été un outil performant pour la recherche, notamment dans la théorie de l'homotopie.
Rapport d’expertise sur l’analyse de la propagation des fumées durant l’accident du 24/10/2001 dans le tunnel du Gotthard. Expertise destinée au Procureur public du canton du Tessin
A proof of existence is given for a stationary model of alloy solidification. The system is composed of heat equation, solute equation and Navier-Stokes equations. In rite latter Carman-Kozeny penalization of porous medium models the mushy zone. The proble ...