En mathématiques, une racine carrée fonctionnelle est une racine carrée d'une fonction vis-à-vis de l'opération de composition de fonctions. Autrement dit, une racine carrée fonctionnelle d'une fonction g est une fonction f satisfaisant f(f(x)) = g(x) pour tout x.
Notation
Des notations possibles pour indiquer que f est une racine carrée fonctionnelle de g sont f = g[1/2] et f = g1/2.
Les solutions de f(f(x)) = x sur (c'est-à-dire les involutions des nombres réels) ont d'abord été étudiées par Charles Babbage en 1815 et ce problème porte le nom d'équation fonctionnelle de Babbage[2]. Une solution particulière est f(x) = (b − x)/(1 + cx) pour bc ≠ −1[3]. Babbage remarqua que pour une solution f donnée, sa conjuguée topologiqueΨ−1 ∘ f ∘ Ψ par une fonction inversible quelconque Ψ est encore une solution. En d'autres mots, le groupe de toutes les fonctions inversibles sur les réels agit sur le sous-groupe des solutions de l'équation fonctionnelle de Babbage par conjugaison.
Solutions
Un procédé pour produire des racines n-ièmes fonctionnelles pour des n quelconques est basé sur l'utilisation de l'équation de Schröder[4],[5],[6].
Exemples
f(x) = 2x2 est une racine carrée fonctionnelle de g(x) = 8x4.
Une racine carrée fonctionnelle du n-ème polynôme de Tchebychev, g(x) = Tn(x), est f(x) = cos(√n arccos(x)), qui en général n'est pas elle-même un polynôme.
f(x) = x/(√2 + x(1 − √2)) est une racine carrée fonctionnelle de g(x) = x/(2 − x).