Une fonction f définie un ensemble D ⊂ R de nombres réels est dit périodique de période t ∈ R ^* (ou t-périodique) si et seulement si:

∀ x ∈ D, x+t ∈ D et  ∀ x ∈ D, f (x+t) = f (x)

Pour une fonction périodique, le graphe peut être tracé en recopiant de façon répétitive, une portion particulière de longueur une période, à intervalles réguliers : c'est une propriété de Symétrie par translation.

Par exemple, la fonction partie fractionnaire f qui associe à un nombre réel sa partie fractionnaire définie par

∀ x ∈R, f (x) = x-

Ici, désigne la Partie entière de x. La fonction f est périodique et de période 1. Ainsi nous avons

f ( 0,5 ) = f ( 1,5 ) = f ( 2,5 ) = … = 0,5.

Si une fonction f est périodique de période t alors pour tout x appartenant à l'ensemble de définition de f et pour tout entier n:

f ( x + nt ) = f ( x )

Ce résultat se démontre par Récurrence.

Dans l'exemple précédent, la fonction étant de période 1, nous avons pour tout réel x

f ( x ) = f ( x + 1 ) = f ( x + 2 ) …

Les fonctions sinus et cosinus sont périodiques et de période 2 π.

La théorie des séries de Fourier cherche à écrire une fonction périodique arbitraire comme une somme de fonctions trigonométriques.

En Physique, un mouvement périodique est un mouvement dans lequel la position, (ou les positions) d'un système sont exprimables à l'aide de fonctions périodiques du temps, ayant toute la même période. Voyez par exemple les articles onde en dent de scie, et onde triangulaire

Moyenne, dérivée et primitive des fonctions périodiques numériques

Valeur moyenne

La valeur Moyenne d'une fonction périodique f intégrable de période T est la valeur suivante, qui est indépendante de a :

μ =

1 –– T

{

∫

T   0

f (x)dx

}

=

1 –– T

∫

a+T   a

f (x)dx

Ainsi la fonction cosinus est de moyenne nulle, son carré de moyenne 1/2.

Quitte à ajouter une constante à la fonction, on peut changer sa valeur moyenne.

Dérivée et primitive

• La Dérivée d'une fonction C ¹ , T-périodique, est T-périodique et de moyenne nulle
• Une fonction f continue et T-périodique admet une Primitive T-périodique si et seulement si f est de moyenne nulle (toutes les primitives sont alors périodiques, une seule étant de moyenne nulle).

Pour une étude plus précise des propriétés de la dérivation pour les fonctions périodiques, il faut introduire les séries de Fourier ; on peut alors démontrer l'inégalité de Wirtinger qui compare les normes de f et de sa dérivée.

Définition plus générale et ensemble de périodes

Soient E un ensemble muni d'une loi de composition interne notée additivement + et F un ensemble quelconque. Un élément T ∈ E étant donné, une fonction T-périodique ou fonction de période T de E dans F, est une fonction de E dans F telle que:

∀ x ∈ E, f (x+T) = f (x).

Remarquons qu'à moins que la loi soit supposée commutative cette définition dépend de la place de T à droite.

Plus fréquemment, E est un groupe commutatif dont l'ensemble des périodes possibles forme un sous-groupe. Si on considère l'ensemble des périodes strictement positives d'une fonction f alors, si f est continue et que cet ensemble n'admet pas de plus petit élément alors f est constante, sinon f admet une plus petite période strictement positive.

Une fonction dont l'ensemble de définition est l'ensemble des nombres complexes peut avoir deux périodes incommensurables sans être constante. Les fonctions elliptiques vérifient cette propriété (incommensurable veut dire dans ce contexte qu'elles ne sont pas multiples par un réel l'une pour l'autre.)

Voir également

• Fréquence
• fonction presque périodique