Équation fonctionnelle

Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Consultez la liste des tâches à accomplir en page de discussion.

En mathématiques, une équation fonctionnelle est une équation dont les inconnues sont des fonctions. De nombreuses propriétés de fonctions peuvent être déterminées en étudiant les équations auxquelles elles satisfont. D'habitude, le terme « équation fonctionnelle » est réservé aux équations qu'on ne peut pas ramener à des équations plus simples, par exemple à des équations différentielles.

Vocabulaire modifier

Le cas le plus fréquent est celui où les valeurs d'une fonction et éventuellement de ses dérivées, calculées en plusieurs points, doivent satisfaire une relation, dite relation fonctionnelle, pour toutes les valeurs de la variable (du moins sur un certain domaine). Deux approches distinctes sont possibles :

lorsqu'on étudie une fonction en particulier, il peut être utile de mettre en évidence une relation fonctionnelle qu'elle satisfait, comme la relation $x\Gamma (x)=\Gamma (x+1)\,$ satisfaite par la fonction gamma d'Euler, ou celle satisfaite par la fonction zêta de Riemann : $\zeta (s)=2^{s}\pi ^{s-1}\sin \left({\frac {\pi s}{2}}\right)\Gamma (1-s)\zeta (1-s)$ . On en déduit ensuite d'autres propriétés de la fonction : par exemple que la fonction zêta de Riemann s'annule aux nombres entiers strictement négatifs pairs, et ne possède pas d'autres zéros en dehors de la bande 0 < Re(s) < 1 ;

lorsqu'on résout une équation fonctionnelle à proprement parler, on étudie l'ensemble des fonctions satisfaisant une relation donnée. Un exemple est la recherche des fonctions vérifiant $f\left({az+b \over cz+d}\right)=(cz+d)^{k}f(z)$ (où a, b, c et d sont des entiers naturels vérifiant ad − bc = 1) qu'on appelle des formes modulaires.
Il arrive que certaines conditions analytiques soient exigées. Le théorème de Bohr-Mollerup en est un exemple. En l'absence de ces conditions, une équation fonctionnelle très simple comme l'équation fonctionnelle de Cauchy peut avoir des solutions très irrégulières.

Lorsque l'équation relie les valeurs d'une fonction et de ses dérivées en un même point, elle est appelée équation différentielle. D'autres équations utilisent des propriétés globales des fonctions inconnues ; on parle par exemple d'équations intégrales, ou de problèmes d'optimisation (lesquels sont l'objet du calcul des variations), comme le problème de Plateau.

Exemples modifier

Pour les cinq premiers exemples :

Article détaillé : Équation fonctionnelle de Cauchy.

$f (x + y) = f (x) + f (y)$ : équation fonctionnelle de Cauchy, dont les solutions continues sont les fonctions linéaires ;

$f (x + y) = f (x) f (y)$ , dont les solutions continues sont les fonctions exponentielles ;
$f (xy) = f (x) + f (y)$ , dont les solutions continues sont les fonctions logarithmes ;
$f (xy) = f (x) f (y)$ , dont les solutions continues sont les fonctions puissances ;
$f ((x + y)/2) = (f (x) + f (y))/2$ : équation fonctionnelle de Jensen, dont les solutions continues sont les fonctions affines ;
$f (x+T) = f (x)$ , définissant les fonctions périodiques de période T ;
$f (az) = af (z)(1 - f (z))$ (équation de Poincaré)

$f (x + y) + f (x - y) = 2 f (x) f (y)$ (équation fonctionnelle de d'Alembert)
Les solutions continues sont les fonctions constantes 0, 1, et les fonctions trigonométriques cosinus et cosinus hyperbolique ;
$f (h (x)) = f (x) + 1$ (Abel) ;
$f (h (x)) = cf (x)$ (Schröder).
L'équation de Schröder est satisfaite par la fonction de Koenigs (en).
$f (f (x)) = g (x)$ , autrement dit la détermination d'une racine carrée fonctionnelle.
Une forme simple d'équation fonctionnelle est la relation de récurrence, dont la fonction inconnue est une suite (formellement : une fonction définie sur l'ensemble des entiers) et qui met en jeu l'opérateur de décalage.
L'associativité et la commutativité sont des équations fonctionnelles. Quand la loi de composition interne est représentée sous sa forme habituelle, par un symbole entre les deux variables, son associativité s'écrit comme suit : $(a*b)*c=a*(b*c).$

Mais si l'on écrit $f (a, b)$ au lieu de $a * b$ , alors l'associativité de la loi ressemble plus à ce que l'on entend conventionnellement par « équation fonctionnelle » :

f(f(a,b),c)=f(a,f(b,c)).

Un point commun à tous ces exemples est que dans chacun des cas, deux ou plusieurs fonctions (tantôt la multiplication par une constante, tantôt l'addition de deux variables, tantôt la fonction identité) sont substituées à l'inconnue.^[Quoi ?]

Formule de réflexion modifier

On parle de formule de réflexion est une équation fonctionnelle caractérisant une fonction $f$ entre sa valeur en tout point $x$ d'un domaine défini et sa valeur en $-x$ , ou plus généralement, sa forme décalée $f (a-x)$ .

Exemples modifier

Les formules de réflexion simples comme $f(x)=f(-x)$ ou $f(x)=-f(-x)$ impliquent l'étude de la parité des fonctions solutions (la première caractérise les fonctions paires, la seconde pour les fonctions impaires).

Un des exemples les plus connus est la formule des compléments de la fonction gamma, démontré par Leonhard Euler^[1]

\forall z\in ]0;1[,\ \Gamma (z)\Gamma (1-z)={\frac {\pi }{\sin(\pi z)}}.

La formule de réflexion pour la fonction zêta de Riemann est donnée par :

\zeta (1-z)={\frac {2}{(2\pi )^{z}}}\cos \left({\frac {\pi z}{2}}\right)\Gamma (z)\zeta (z).

qu'on peut réécrire de façon équivalente^[2]

-\pi \zeta (-z)={\frac {1}{(2\pi )^{z}}}\sin \left({\frac {\pi z}{2}}\right)\Gamma (z+1)\zeta (z+1).

La fonction xi de Riemann vérifie la formule de réflexion

\xi (z)=\xi (1-z).

La fonction G de Barnes vérifie la formule de réflexion

G(z+1)=\Gamma (z)G(z).

Le dilogarithme vérifie les formules de réflexion

\mathrm {Li} _{2}({\frac {1}{z}})=-\mathrm {Li} _{2}(z)-{\frac {\pi ^{2}}{6}}-{\frac {1}{2}}\ln(-z)^{2}.

\mathrm {Li} _{2}(1-z)=-\mathrm {Li} _{2}(z)+{\frac {\pi ^{2}}{6}}-\ln(z)\ln(1-z).

La fonction L de Rogers vérifie la formule de réflexion

L(x)+L(1-x)=1.

La série L de Dirichlet associée à la fonction tau de Ramanujan $f (s)$ vérifie la formule de réflexion^[3]

{\frac {f(s)\Gamma (s)}{(2\pi )^{s}}}={\frac {f(12-s)\Gamma (12-s)}{(2\pi )^{12-s}}}.

Relation de duplication modifier

On parle de formule de duplication quand l'équation fonctionnelle fait intervenir les valeurs en $f (2 x)$ ou $f (x 2)$

Exemples modifier

De ses liens avec la fonction bêta, on peut montrer que la fonction gamma vérifie la « formule de duplication de Legendre » :

{\frac {\Gamma (z)^{2}}{\Gamma (2z)}}=2^{1-2z}{\frac {\Gamma ({\frac {1}{2}})\Gamma (z)}{\Gamma (z+{\frac {1}{2}})}}.

Le dilogarithme satisfait à^[4]

\mathrm {Li} _{2}(z^{2})=2(\mathrm {Li} _{2}(z)+\mathrm {Li} _{2}(-z)).

La fonction L de Rogers vérifie la formule de duplication^[5] :

{\frac {1}{2}}L(x^{2})=L(x)-L\left({\frac {x}{1+x}}\right).

Applications modifier

Cette section ne cite pas suffisamment ses sources (novembre 2022).

Pour l'améliorer, ajoutez des références de qualité et vérifiables (comment faire ?) ou le modèle {{Référence nécessaire}} sur les passages nécessitant une source.

Etude de fonctions

Les équations fonctionnelles peuvent faire apparaitre des propriétés remarquables des solutions (symétrie, domaine de définition, ...) et simplifient l'expression de certaines valeurs.

Calcul de valeurs particulières

Les formules de réflexion permettent le calcul de valeurs particulières de fonctions spéciales. Par exemple, en sachant que la fonction gamma est positive sur $]1,+\infty[$ , la formule des compléments prise en $z = 1 ⁄ 2$ permet d'établir que $Γ(1 ⁄ 2) = \sqrt π$ .

Prolongement analytique

Par les formules de réflexion, on peut définir un prolongement analytique de la fonction. Par exemple, la définition de base de la fonction zêta de Riemann n'est valable que pour tout nombre complexe de partie réelle strictement supérieure à 1, or la formule de réflexion donnée permet de l'étendre sur tout le plan complexe, sauf 0 et 1.

Notes et références modifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Functional equation » (voir la liste des auteurs).

↑ (en) J. Havil, Gamma: Exploring Euler's Constant, Princeton, NJ, Princeton University Press, 2003.
↑ (en) Edward Charles Titchmarsh et David Rodney Heath-Brown, The theory of the Riemann zeta-function, Oxford university press, 1986.
↑ (en) Godfrey Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, Chelsea, 3, 1999.
↑ (en) Don Zagier, « The Dilogarithm Function », dans Pierre Cartier, Pierre Moussa, Bernard Julia et Pierre Vanhove (éds.), Frontiers in Number Theory, Physics, and Geometry, vol. II, 2007 (ISBN 978-3-540-30308-4, DOI 10.1007/978-3-540-30308-4_1, lire en ligne), p. 3-65.
↑ (en) Basil Gordon et Robert J. Mcintosh, « Algebraic Dilogarithm Identities », The Ramanujan Journal, n^o 1,‎ 1997, p. 431-448 (DOI 10.1023/A:1009709927327)

Bibliographie modifier

(en) Eric W. Weisstein, « Reflection Relation », sur MathWorld
(en) Eric W. Weisstein, « Abel's Duplication Formula », sur MathWorld
(en) Eric W. Weisstein, « Legendre Duplication Formula », sur MathWorld
(en) János Aczél (en), Lectures on Functional Equations and Their Applications, Academic Press, 1966 (lire en ligne)
Jean Dhombres, « Une conception architecturale des mathématiques : la séparation des variables chez Pfaff », dans Patricia Radelet-de Grave et Edoardo Benvenuto, Entre mécanique et architecture, Birkhäuser, 1995 (ISBN 978-3-76435128-1, lire en ligne), p. 205-220

Portail de l'analyse

[1] (en) J. Havil, Gamma: Exploring Euler's Constant, Princeton, NJ, Princeton University Press, 2003.

[2] (en) Edward Charles Titchmarsh et David Rodney Heath-Brown, The theory of the Riemann zeta-function, Oxford university press, 1986.

[3] (en) Godfrey Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, Chelsea, 3, 1999.

[4] (en) Don Zagier, « The Dilogarithm Function », dans Pierre Cartier, Pierre Moussa, Bernard Julia et Pierre Vanhove (éds.), Frontiers in Number Theory, Physics, and Geometry, vol. II, 2007 (ISBN 978-3-540-30308-4, DOI 10.1007/978-3-540-30308-4_1, lire en ligne), p. 3-65.

[5] (en) Basil Gordon et Robert J. Mcintosh, « Algebraic Dilogarithm Identities », The Ramanujan Journal, n^o 1,‎ 1997, p. 431-448 (DOI 10.1023/A:1009709927327)

[1]

[2]

[3]

[4]

[5]