En mathématiques, le polynôme de Bernstein-Sato est une construction mathématique qui facilite l'étude de certaines intégrales ou opérateurs différentiels. Il tient son nom des mathématiciens Joseph Bernstein et Mikio Satō, qui l'ont découvert en 1971 et 1972. Ce polynôme joue un rôle important dans l'étude des équations aux dérivées partielles et est intimement lié à la construction des D-modules. Enfin, il permet de démontrer la régularité de certaines constructions de physique quantique des champs.
Histoire L'introduction des polynômes de Bernstein-Sato était initialement motivée par un problème posé par Israel Gelfand au congrès international des mathématiciens de 1954, à Amsterdam : si est une fonction analytique réelle, alors on peut construire pour tout complexe l'objet . En tant que fonction, est continue selon et analytique en , là où est de partie réelle positive. Gelfand demande alors : peut-on prolonger analytiquement à tout le plan complexe ?
C'est pour répondre à cette question que Sato a introduit le polynôme , dont Bernstein a montré l'existence en général..
La construction a depuis été étendue à des variétés algébriques générales. et plusieurs algorithmes sont connus pour déterminer les polynômes de Bernstein-Sato dans des cas d'intérêt...
Définition
Filtration de Bernstein On se place dans l'algèbre de Weyl , la sous-algèbre de engendrée par , où est la dérivation par rapport à . On utilise la notation multi-indicielle et . Alors la famille est une base de . On définit alors la filtration de Bernstein par :
L'anneau gradué associé est commutatif, et isomorphe à un anneau de polynômes sur donc noethérien.
Polynôme de Bernstein-Sato Soit une indéterminée formelle, et un polynôme non nul. Alors il existe un polynôme non nul et un élément tels que l'égalité suivante est vérifiée : .
L'ensemble des qui satisfont cette égalité forme un idéal de ; cet idéal est principal et possède un générateur , qui est appelé polynôme de Bernstein-Sato du polynôme .
Exemples Considérons le polynôme (qui correspond au calcul du carré de la norme euclidienne). On a de sorte que le polynôme de Bernstein-Sato de est . Considérons l'intégrale , avec une fonction qui s'annule aux infinis. En intégrant par parties, on obtient qui montre notamment que est une intégrale bien définie et holomorphe (pour ) et qu'elle admet un prolongement méromorphe à , avec des pôles dans . On reconnaît en fait la présence du polynôme de Bernstein-Sato de calculé précédemment : . Il s'agit d'un phénomène général : l'intégrale de l'exemple précédent, où est remplacé par un polynôme quelconque, donne lieu à une équation fonctionnelle similaire. Elle sera donc prolongeable au plan complexe de manière méromorphe, et les pôles correspondent aux zéros du polynôme de Bernstein-Sato moins un entier. Soit , alors le polynôme de Bernstein-Sato correspondant est .
Propriétés Tous les polynômes de Bernstein sont scindés sur . Le polynôme de Bernstein-Sato montre qu'un polynôme peut être inversé par une distribution tempérée, d'où on tire le théorème de Malgrange-Ehrenpreis.
Notes et références
Catégorie:Équation différentielle Bernstein-Sato