Parité d'une fonction

En mathématiques, la parité d'une fonction d'une variable réelle, complexe ou vectorielle est une propriété qui requiert d'abord la symétrie du domaine de définition par rapport à l'origine, puis s'exprime par l'une ou l'autre des relations suivantes :

• fonction paire : pour tout x du domaine de définition, f (−x) = f (x) ;
• fonction impaire : pour tout x du domaine de définition, f (−x) = −f (x).

En analyse réelle, les fonctions paires sont les fonctions dont la courbe représentative est symétrique par rapport à l'axe des ordonnées, telles les fonctions constantes, la fonction carré et plus généralement les fonctions puissance d'exposant pair^[1], les fonctions cosinus et cosinus hyperbolique… Les fonctions impaires sont celles dont la courbe représentative est symétrique par rapport à l'origine, telles les fonctions identité, cube et plus généralement les fonctions puissances d'exposant impair, les fonctions inverse, sinus, tangente, sinus hyperbolique et tangente hyperbolique et leurs réciproques.

Les seules fonctions à être à la fois paires et impaires sont les fonctions nulles sur un domaine symétrique.

Une fonction quelconque n'est en général ni paire ni impaire, même si son domaine de définition est symétrique par rapport à l'origine. Toute fonction définie sur un tel domaine s'écrit en revanche de manière unique comme somme d'une fonction paire et d'une fonction impaire.

La mise en évidence de la parité d'une fonction d'une variable réelle (qu'elle soit paire ou impaire) permet notamment de limiter son étude aux réels positifs.

Utilisation

La parité des fonctions sert, par exemple, à n'étudier les fonctions que sur la moitié de leur intervalle de définition, l'autre moitié étant déduite par symétrie. On remarquera qu'une fonction impaire, définie en 0, est nulle en ce point (en effet, puisque ${\displaystyle f}$ est impaire, ${\displaystyle f(-x)=-f(x)}$ pour tout ${\displaystyle x}$, et donc ${\displaystyle f(0)=-f(0)}$; ainsi ${\displaystyle f(0)=0}$.

On peut aussi simplifier le calcul intégral dans le cas de fonction paire ou impaire, puisque ${\displaystyle \int _{-n}^{n}f(x)\,\mathrm {d} x}$ pour ${\displaystyle f}$ paire est égale à ${\displaystyle 2\times \int _{0}^{n}f(x)dx\,}$, ce que l'on visualise bien avec la représentation graphique de l'aire sous la courbe, et respectivement ${\displaystyle \int _{-n}^{n}f(x)\,\mathrm {d} x,}$ pour ${\displaystyle f}$ impaire est égale à ${\displaystyle 0}$. En effet, il y aura une aussi grande aire positive de ${\displaystyle 0}$ à ${\displaystyle n}$ que d'aire négative de ${\displaystyle -n}$ à ${\displaystyle 0}$.

Cette définition de parité et d'imparité peut être également explicitée avec la notion de symétrisée d'une fonction : la fonction symétrisée d'une fonction s est la fonction š qui associe ${\displaystyle s(-x)}$ à un ${\displaystyle x}$ donné et, par exemple, s est paire si elle est égale à sa symétrisée.

Partie paire et partie impaire d'une fonction

Si ${\displaystyle E}$ est un sous-ensemble de ${\displaystyle \mathbb {R} }$ symétrique par rapport à 0 (c'est-à-dire que si ${\displaystyle x}$ appartient à ${\displaystyle E}$ alors ${\displaystyle -x}$ appartient à ${\displaystyle E}$), toute fonction ${\displaystyle f:E\to \mathbb {R} }$ peut se décomposer de façon unique comme somme d'une fonction paire et d'une fonction impaire :

${\displaystyle f(x)=f_{\text{p}}(x)+f_{\text{i}}(x)}$,

où la fonction paire est

${\displaystyle f_{\text{p}}(x)={\frac {f(x)+f(-x)}{2}}}$

et la fonction impaire est

${\displaystyle f_{\text{i}}(x)={\frac {f(x)-f(-x)}{2}}}$.

En effet^[2], le sous-espace vectoriel des fonctions paires et celui des fonctions impaires sont supplémentaires dans l'espace des fonctions de ${\displaystyle E}$ dans ${\displaystyle \mathbb {R} }$.

Par conséquent, on peut parler de la partie paire de ${\displaystyle f}$ et de sa partie impaire. Par exemple, la fonction exponentielle se décompose comme somme des fonctions cosinus hyperbolique, ${\displaystyle x\mapsto {\frac {\mathrm {e} ^{x}+\mathrm {e} ^{-x}}{2}}}$ et sinus hyperbolique, ${\displaystyle x\mapsto {\frac {\mathrm {e} ^{x}-\mathrm {e} ^{-x}}{2}}}$.

Représentation graphique

Soit ${\displaystyle f}$ une fonction définie sur ${\displaystyle E}$ et ${\displaystyle (C_{f})}$ son graphe, dans un repère d'axes ${\displaystyle (Ox),(Oy)}$.

• ${\displaystyle f}$ est une fonction paire si et seulement si ${\displaystyle (C_{f})}$ est symétrique par rapport à l'axe ${\displaystyle (Oy)}$, parallèlement à l'axe ${\displaystyle (Ox)}$.
• ${\displaystyle f}$ est une fonction impaire si et seulement si ${\displaystyle (C_{f})}$ est symétrique par rapport à l'origine ${\displaystyle O}$.

• 
  La fonction ${\displaystyle x\mapsto x^{4}}$ est paire.
• 
  La fonction ${\displaystyle x\mapsto x^{3}-3x}$ est impaire.

Mais une fonction dont la courbe représentative possède un axe ou un centre de symétrie n'est pas forcément paire ou impaire : il est nécessaire que le centre soit ${\displaystyle O}$ ou l'axe soit ${\displaystyle (Oy)}$.

Quelques propriétés

• Toute fonction constante est paire.
• Toute fonction paire et monotone sur son ensemble de définition est constante.
• La seule fonction qui soit à la fois paire et impaire est la fonction nulle (fonction constante égale à zéro).
• En général, la somme d'une fonction paire et une fonction impaire n'est ni paire ni impaire ; ex : ${\displaystyle x\mapsto \ 1+x}$.
• La somme ou la différence de deux fonctions paires est paire.
• La somme ou la différence de deux fonctions impaires est impaire.
• La parité suit, pour le produit ou le quotient, la règle des signes : tout produit ou quotient de deux fonctions paires est une fonction paire, tout produit ou quotient de deux fonctions impaires est aussi une fonction paire, tout produit ou quotient d'une fonction paire par une fonction impaire est une fonction impaire.
• La dérivée d'une fonction paire dérivable est une fonction impaire ; la dérivée d'une fonction impaire dérivable est une fonction paire.
• Une primitive d'une fonction impaire continue sur E n'est pas forcément paire, sauf si E est un intervalle.
• Une primitive d'une fonction paire continue sur E n'est pas forcément impaire, sauf si E est un intervalle et si de plus la primitive considérée est celle qui s'annule en 0.
• La composée de deux fonctions impaires est impaire ; la composée g ∘ f d'une fonction paire g avec une fonction impaire f est une fonction paire.
• La composée g ∘ f d'une fonction quelconque g avec une fonction paire f est une fonction paire.

Voir aussi

• Série de Taylor
• Série de Fourier
• Parité (physique)
• Parité et exposant

Notes et références

1. Ce qui est probablement une des raisons de ce choix de vocabulaire.
2. La preuve par analyse-synthèse est classique et n'est qu'un cas particulier de diagonalisation d'une symétrie : voir par exemple X. Oudot et M. Allano-Chevalier, Mathématiques PCSI-PTSI 1^re année : Tout en un, Hachette, 2008 (lire en ligne), chap. 11 (« Espaces vectoriels »), p. 203 et cet exercice corrigé sur Wikiversité.

• Portail de l'analyse