Fonction pfaffienne — Wikipédia
En mathématiques, les fonctions pfaffiennes sont une certaine classe de fonctions dont la dérivée peut être écrite en termes de la fonction d'origine. Ils ont été introduits par Askold Khovanskii dans les années 1970, mais doivent leur nom au mathématicien allemand Johann Pfaff.
Première approche
[modifier | modifier le code]Certaines fonctions, lorsqu'on les dérive, donnent un résultat qui s'écrit uniquement en utilisant la fonction d'origine. L'exemple le plus simple est la fonction exponentielle, . Si on dérive cette fonction, on obtient à nouveau , c'est-à-dire
Un autre exemple est celui de la fonction réciproque, . Sa dérivée est
D'autres fonctions, qui n'ont pas cette propriété, peuvent tout de même s'écrire en termes de fonctions l'ayant. Par exemple, pour la fonction , on a
Des fonctions comme celles-ci sont dites appartenir à une chaîne pfaffienne. Une telle chaîne est une suite de fonctions, disons , telle que si l'on dérive l'une des fonctions de cette suite, le résultat s'écrit en utilisant la fonction elle-même et toutes les fonctions qui la précèdent dans la chaîne (plus précisément, sous la forme d'un polynôme en ces fonctions et en leurs variables). Ainsi, en reprenant l'exemple des fonctions ci-dessus, la suite est une chaîne pfaffienne.
On définit alors une fonction pfaffienne comme un polynôme en des fonctions apparaissant dans une chaîne pfaffienne et en leurs variables. Ainsi, avec la chaîne pfaffienne de notre exemple, des fonctions telles que sont pfaffiennes.
Définition rigoureuse
[modifier | modifier le code]Soit un ouvert de . Une chaîne pfaffienne d'ordre et degré est une suite de fonctions analytiques réelles de domaine satisfaisant les équations différentielles
pour , où les sont des polynômes de degré . Une fonction sur est appelée fonction pfaffienne d'ordre et de degré si
où est un polynôme de degré au plus . Les nombres et sont appelés format de la fonction pfaffienne, et donnent une mesure de sa complexité.
Exemples
[modifier | modifier le code]- Un exemple évident de fonction pfaffienne est une fonction polynomiale. Une telle fonction sera un polynôme dans une chaîne pfaffienne d'ordre , c'est-à-dire la chaîne sans fonctions. Son degré est et égal au degré du polynôme.
- La fonction pfaffienne non triviale la plus simple est sans doute . Elle est pfaffienne d'ordre et de degré .
- De manière récursive, on peut définir et pour . Alors . Il s'agit donc d'une chaîne pfaffienne d'ordre et de degré .
- Les fonctions algébriques sont pfaffiennes, de même que les fonctions hyperboliques. Les fonctions trigonométriques sont pfaffiennes sur un intervalle borné : par exemple, la fonction est un polynôme de la chaîne , sur l'intervalle .
- Plus généralement, toutes les fonctions élémentaires et les fonctions liouvilliennes sont pfaffiennes.
En théorie des modèles
[modifier | modifier le code]Considérons la structure , le corps ordonné des nombres réels. Dans les années 1960, Andrei Gabrielov a prouvé qu'en ajoutant à un symbole de fonction pour chaque fonction analytique restreinte à [0, 1] m on obtient une structure modèle-complète (en). [1] Autrement dit, tout ensemble définissable dans cette structure R an est la projection d’un ensemble de dimension supérieure définissable à l'aide d'égalités et d'inégalités faisant intervenir ces fonctions analytiques.
Dans les années 1990, Alex Wilkie a montré que l'on obtient le même résultat si, au lieu d'ajouter toutes les fonctions analytiques restreintes, on ajoute simplement la fonction exponentielle non restreinte à . Ce résultat est connu sous le nom de théorème de Wilkie. [2] Il s'est aussi demandé quand le complémentaire d'un ensemble sous-analytique peut être défini en utilisant les mêmes fonctions analytique que celles apparaissant dans la description de l'ensemble d'origine, et a démontré que c'était le cas pour des fonctions pfaffiennes.
Le théorème de Wilkie prouve que la structure obtenue en ajoutant à toutes les fonctions pfaffiennes restreintes est une structure o-minimale (en).
Notes et références
[modifier | modifier le code]- A. Gabrielov, "Projections of semi-analytic sets", Functional Anal. Appl. 2 (1968), pp.282–291.
- A.J. Wilkie, "Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential functions", J. Amer. Math. Soc. 9 (1996), pp. 1051–1094.
- A.G. Khovanskii, Fewnomials, vol. 88, Providence, RI, American Mathematical Society, coll. « Translations of Mathematical Monographs », (ISBN 0-8218-4547-0, zbMATH 0728.12002)