Fonction presque périodique

En mathématiques, et plus précisément en analyse, une fonction presque périodique est une application dont les propriétés ressemblent à celles d'une fonction périodique.

Motivation intuitive et définition de Bohr

Les fonctions presque périodiques sont, intuitivement, des fonctions Modèle:Math (continues) pour lesquelles, en choisissant des « périodes » T de plus en plus grandes, on a une périodicité approximative de plus en plus précise, c'est-à-dire que (pour tout x) l'écart Modèle:Math(x + T) − Modèle:Math(x) peut être rendu arbitrairement petit. Mais la définition formelle correspondante, à savoir : quel que soit ε > 0, il existe un nombre réel non nul T tel que $\underset{t\in ℝ}{\sup }|f(t+T)-f(t)|\le \epsilon$, est en fait insuffisante à capturer cette idée, puisque cette propriété est vérifiée par toutes les fonctions uniformément continues.

En 1923, Harald Bohr a proposé les définitions suivantes :

Soit $f:ℝ⟶ℂ$ une fonction et soit ε un réel fixé > 0. Un nombre réel non nul T est appelé une ε-presque période de Modèle:Math si :

$\underset{t\in ℝ}{\sup }|f(t+T)-f(t)|\le \epsilon .$

On note Modèle:Math l'ensemble des ε-presque périodes de Modèle:Math. On dit alors qu'une fonction Modèle:Math est presque périodique (au sens de Bohr) si elle est continue et si l'ensemble Modèle:Math est bien réparti pour tout Modèle:Nobr c'est-à-dire que pour tout ε > 0, il existe un réel ℓ > 0, dépendant de ε, tel que tout intervalle de longueur ℓ a une intersection non vide avec Modèle:Math :

$\mathrm{\forall }a\in ℝ,[a,a+\ell [\cap E(f,\epsilon )\ne \varnothing .$

[0, ℓ] est appelé intervalle d'inclusion.

Exemples et propriétés

• Une fonction périodique et continue est presque périodique.
• La fonction $ℝ⟶ℝ,t\mapsto \sin t+\sin \sqrt{2}t$ est presque périodique bien qu'elle ne soit pas périodique.
• Toute fonction presque périodique est bornée.
• Toute fonction presque périodique est uniformément continue.
• Si Modèle:Math et Modèle:Math sont deux fonctions presque périodiques, alors les fonctions Modèle:Math et Modèle:Math le sont aussi ; contrairement aux apparences, ce résultat n'est pas trivial, comme on peut le voir dans la boîte déroulante ci-dessous.

Modèle:Démonstration/début La démonstration de la presque périodicité de Modèle:Math n'est pas triviale. Elle repose sur plusieurs propriétés.

• Si Modèle:Math est ε-presque périodique de période T, alors Modèle:Math est ε'-presque périodique de période T dès que ε' > ε. (C'est évident.)
• Toute fonction presque périodique est bornée. Cela résulte de l'existence de l'intervalle d'inclusion.
• Si Modèle:Math est presque périodique, alors Modèle:Math et |Modèle:Math|Modèle:2 sont presque périodiques.
  En effet, si M est le maximum de Modèle:Math sur l'intervalle d'inclusion [0, ℓ], on a |Modèle:Math(x)| ≤ M + ε et par conséquent $|f^2(x+T)-f^2(x)|=|f(x+T)+f(x)|\times |f(x+T)-f(x)|\le 2(M+\epsilon )\epsilon ={\epsilon }^{\prime }$ donc Modèle:Math est ε'-presque périodique de période T.
• Toute fonction presque périodique est uniformément continue sur Modèle:Math.
• Si Modèle:Math est ε-presque périodique de période T, alors, parmi les 2ε-presque-périodes de Modèle:Math, il existe un ensemble composé uniquement de multiples d'un même nombre η. Une telle presque-période se trouve dans tout intervalle de longueur ℓ ' = ℓ + 2η.

Soit η tel que l'oscillation de Modèle:Math dans un intervalle η soit inférieure à ε et soit TModèle:' le multiple de η le plus voisin d'une ε-presque-période T. On a ainsi

$|T^{\prime }-T|\le \eta$ $|f(x+T^{\prime })-f(x+T)|\le \epsilon$ $|f(x+T)-f(x)|\le \epsilon$

donc

$f(x+T^{\prime })-f(x)|\le 2\epsilon .$

.

Supposons que Modèle:Math et Modèle:Math soient ε-presque périodiques et soient η1 et η2 tels que l'oscillation de Modèle:Math dans un intervalle η1 soit inférieure à ε et de même pour Modèle:Math. Soit η le plus petit des deux nombres η1 et η2 Il existe donc deux nombres ℓ1 et ℓ2 tels que tout intervalle de longueur ℓ1 contienne une 2ε-presque période de Modèle:Math et de même pour ℓ2 et Modèle:Math. Soit L plus grand que Modèle:Nobr Alors tout intervalle de longueur L contient au moins une presque période T1 de Modèle:Math et une presque période T2 de Modèle:Math qui sont toutes les deux des multiples de η.

Dans un intervalle de longueur L, les écarts |T1 – T2| des presque-périodes précédentes ne prennent qu'un nombre fini de valeurs différentes et forment ainsi autant de classes d'équivalence. Chaque classe est ainsi caractérisée par un unique couple. Soit L1 le maximum du module des T1 qui figurent dans ces couples. Il n'y en a qu'un nombre fini.

• Modèle:Math et Modèle:Math admettent une 4ε-presque période commune dans tout intervalle de longueur L + 2L1.

Soit pour cela x un nombre quelconque, T3 et T4 deux presque périodes de Modèle:Math et Modèle:Math respectivement situées dans [x + L1, x + L + L1]. Soient T et TModèle:' les représentants de la classe du couple (T3, T4). On a donc |T – TModèle:'| = |T3 – T4| donc T ± T3 = TModèle:' ± T4 = Modèle:Math.

On a ainsi les inégalités (*)

$|f(x+\tau )-f(x)|\le |f(x+T\pm T3)-f(x+T)|+|f(x+T)-f(x)|\le 4\epsilon$

et (**)

$|g(x+\tau )-g(x)|\le |g(x+T^{\prime }\pm T4)-g(x+T^{\prime })|+|g(x+T^{\prime })-g(x)|\le 4\epsilon .$

• Modèle:Math est une fonction 8ε-presque périodique et tout intervalle de longueur L + 2L1 contient une presque-période.

On utilise les inégalités (*) et (**) qui montrent la presque périodicité:

$|f(x+\tau )+g(x+\tau )-f(x)-g(x)|\le |f(x+\tau )-f(x)|+|g(x+\tau )-g(x)|\le 8\epsilon .$

• Si Modèle:Math et Modèle:Math sont presque périodiques, Modèle:Math l'est également.

On a montré que si Modèle:Math est presque périodique, alors Modèle:Math l'est aussi. On utilise ensuite l'identité

$fg=\frac{1}{4}(f+g{)}^2-\frac{1}{4}(f-g{)}^2$

et comme l'addition conserve la presque périodicité, on a le résultat.

• Si Modèle:Math est une fonction presque périodique et F est une fonction uniformément continue, alors F∘Modèle:Math est une fonction presque périodique. Ce résultat se généralise à plusieurs variables à condition que F soit uniformément continue en chaque variable.
• Si une suite de fonctions presque périodiques converge uniformément vers une fonction Modèle:Math, alors Modèle:Math est presque périodique.
• Si Modèle:Math est une fonction presque périodique dérivable, sa dérivée Modèle:Math est presque périodique si elle est uniformément continue sur ℝ.
• Une primitive d'une fonction presque périodique est presque périodique si et seulement si elle est bornée.

Les grands théorèmes

Le premier grand résultat de la théorie est :

• Toute fonction presque périodique admet une valeur moyenne$M(f)=\underset{T\to \mathrm{\infty }}{\lim }\frac{1}{T}\underset{a}{\overset{a+T}{\int }}f(u)\mathrm{d}u,$résultat dont on déduit le second résultat de la théorie qui concerne la représentation en série de Fourier généralisée :
• Toute fonction Modèle:Math presque périodique s'écrit$f(t)=\sum _{n=1}^{\mathrm{\infty }}{a}_n{\mathrm{e}}^{\mathrm{i}{\lambda }_{n}t}.$formule dans laquelle Modèle:Math est une suite de nombres réels jouant le rôle de fréquence de Fourier, les Modèle:Math étant les coefficients de Fourier de la série et l'on a une inégalité du genre inégalité de Bessel :

$\sum _{n=1}^{\mathrm{\infty }}|a_n{|}^2\le M(|f{|}^2).$

Puis on démontre : Modèle:Théorème Autrement dit : toute fonction presque périodique peut être approchée uniformément par une suite de polynômes trigonométriques généralisés.

Le calcul des presque-périodes fait appel au théorème d'approximation de Dirichlet (qui se déduit du principe des tiroirs) :

Modèle:Début citationSoient (aModèle:Ind) une suite finie de n nombres réels quelconques et un entier q > 0, il existe un nombre t dans l'intervalle [1, qModèle:Exp] et des entiers xModèle:Ind tel que chacune des n inéquations suivantes soient satisfaites : |taModèle:Ind – xModèle:Ind| ≤ 1/q.Modèle:Fin citation

Modèle:Démonstration/début Soit Modèle:Math une fonction presque périodique au sens de Bohr. Modèle:Math est limite uniforme d'une suite de polynômes trigonométriques. Soit ε > 0 un nombre aussi petit qu'on veut. Comme on a

$f(t)\approx \sum _{n=1}^{\mathrm{\infty }}{a}_n{\mathrm{e}}^{\mathrm{i}{\mathrm{\Lambda }}_{n}t},$

il existe un N tel que le polynôme trigonométrique

$P(t)=\sum _{n=1}^N{a}_n{\mathrm{e}}^{\mathrm{i}{\mathrm{\Lambda }}_{n}t}$

approche Modèle:Math(t) à moins de ε/3. On a donc pour tout t

$|f(t)-P(t)|\le \epsilon /3.$

P(t) est presque périodique au sens de Bohr puisque c'est un polynôme trigonométrique (au sens généralisé). Soit τ > 0 une η-presque période de P. On a ainsi

$|f(t+\tau )-f(t)|\le |f(t+\tau )-P(t+\tau )|+|P(t+\tau )-P(t)|+|P(t)-f(t)|\le \epsilon /3+\eta +\epsilon /3.$

Donc en prenant η = ε/3, τ sera une ε-presque période pour Modèle:Math.

Il reste donc à calculer la η-presque période de P.

On prend donc η tel que

$\frac{\eta }{\underset{1\le n\le N}{\min }|a_n|}<1,$

pour être assuré qu'il existe un Modèle:Math tel que

$|\exp (\mathrm{i}\delta )-1|=\frac{\eta }{\underset{1\le n\le N}{\min }|a_n|}<1.$

Alors, τ doit satisfaire aux N inégalités de la forme

$|{\mathrm{\Lambda }}_n\tau |\le \delta mod2\pi ,$

où n varie de 1 à N. Et cela revient à appliquer le théorème de Dirichlet. On a

Modèle:Retrait donc en divisant par Modèle:Math on obtient (on ne s'intéresse en fait qu'à τ) : Modèle:Retrait

Prenant Modèle:Math assez petit, on a Modèle:Math ≥ 1/q soit q =[[[:Modèle:Math]]] + 1 donc on trouve, en supposant tModèle:Ind = 1, que

$\tau =2\pi {\tau }^{\prime }\le 2\pi {(\left[\frac{2\pi }{\delta }\right]+1)}^N,$

valeur qui majore donc la 3η-presque période de Modèle:Math. Modèle:Démonstration/fin

Fonctions analytiques presque périodiques

On imagine fort bien que la théorie des fonctions presque périodiques d'une variable réelle se généralise aux fonctions complexes d'une variable complexe, du moins sur un axe. En fait, on l'étend à une bande avec succès (mais pas au plan tout entier, le théorème de Liouville veille !).

Une fonction Modèle:Math, continue dans la bande [a, b] est dite presque périodique si pour tout ε > 0, on peut trouver ℓ = ℓ(ε) tel que tout intervalle de longueur ℓ sur l'axe imaginaire contient un nombre Modèle:Math tel que

$|f(z+\mathrm{i}\eta )-f(z)|\le \epsilon$

pour tout z dans la bande considérée. En d'autres termes, la fonction Modèle:Math(x + Modèle:Mathy) est presque périodique en y, uniformément en fonction de x, x restant dans l'intervalle [a, b].

Dans la théorie des fonctions analytiques d'une variable, le principe de Phragmén-Lindelöf, qui n'est que l'extension du principe du maximum à un ensemble non borné (bande ou secteur angulaire, ici bande), permet de montrer le résultat suivant (appelé théorème des trois droites de Modèle:Lien) :

Modèle:Début citationSoit Modèle:Math une fonction analytique bornée dans la bande [a, b].

Soit

$M(x)=\underset{y\in ℝ}{\sup }|f(x+iy)|.$

La fonction M(x) est logarithmiquement convexe dans toute bande intérieure à [a, b] :

Si a < Modèle:Math < b, on a

$\ln M(x)\le \frac{x_2-x}{x_2-x_1}\ln M(x_1)+\frac{x-x_1}{x_2-x_1}\ln M(x_2).$Modèle:Fin citation

Dans la théorie des fonctions analytiques complexes presque périodiques dans une bande, on démontre, en liaison avec le principe de Phragmén-Lindelöf, que la dérivée d'une fonction analytique complexe presque périodique dans une bande Modèle:Math est elle-même presque périodique dans la même bande. De tout cela résulte qu'une fonction analytique régulière presque périodique pour une valeur Modèle:Math est presque périodique dans une bande maximale Modèle:Math où elle reste bornée. En dehors de cette bande, soit elle n'est plus régulière (pôles…) soit elle n'est plus bornée, soit elle cesse d'exister. Sa série de Fourier la représente dans sa bande maximale. Si la fonction redevient presque périodique dans une autre bande, elle y admet une autre série de Fourier.

Extensions de la notion de fonction presque périodique

Presque périodicité par rapport à une norme

Soit ║ ║ une norme définie sur un espace de fonctions continues. On dit qu'une fonction Modèle:Math est presque périodique au sens de la norme ║ ║ si

1. Modèle:Math est continue,
2. ║Modèle:Math║ est finie,
3. il existe pour tout ε > 0 un ℓModèle:Ind tel que tout intervalle de longueur ℓModèle:Ind contient une ε-presque période Modèle:Math telle que :

$\Vert f-t_{\tau }f\Vert \le \epsilon .$

où $t_{\tau }f(x)=f(x+\tau )$ est la fonction Modèle:Math translatée de Modèle:Math .

Selon le choix de la norme, on obtient ainsi plusieurs notions différentes de presque périodicité. Les choix les plus courants sont

1. La norme du sup : $\Vert f{\Vert }_{\mathrm{\infty }}=\underset{x\in ℝ}{\sup }|f(x)|$ qui donne la presque périodicité au sens de Bohr.
2. La norme de Stepanoff : $\Vert f{\Vert }_{S_l^p}=\underset{x\in ℝ}{\sup }{|\frac{1}{l}\underset{x}{\overset{x+l}{\int }}|f(u){|}^p\mathrm{d}u|}^{1/p}$ qui donne la presque périodicité au sens de Stepanoff pour les nombres l et p.
3. La norme de Weyl : $\Vert f{\Vert }_{W^p}=\underset{l\to \mathrm{\infty }}{\mathrm{lim\; sup}}\Vert f{\Vert }_{S_l^p}$ qui définit la presque périodicité au sens de Weyl.
4. La norme de Besicovitch : $\Vert f{\Vert }_{B^p}=\underset{T\to \mathrm{\infty }}{\mathrm{lim\; sup}}{(\frac{1}{2T}\underset{-T}{\overset{+T}{\int }}|f(u){|}^p\mathrm{d}u)}^{1/p}$ qui donne la presque-périodicité au sens de Besicovitch.

La presque-périodicité au sens de Bohr implique toutes les autres (autrement dit, ces autres définitions sont plus générales). Celle de Stepanoff implique celle de Weyl pour le même p.

Fonctions presque périodiques sur un groupe abélien localement compact

À partir de 1930, les généralisations précédentes et l'apparition de méthodes abstraites telles que le théorème de Peter-Weyl ou la dualité de Pontryagin ouvrirent la voie à une théorie générale.

Si G est un groupe abélien localement compact, on dit que F, appartenant à [[Espace L∞|Modèle:Math(G)]], est presque périodique si l'ensemble de ses translatés par G est relativement compact (c'est-à-dire si l'adhérence de cet ensemble est compacte). L'espace des fonctions presque périodiques est l'adhérence (pour la norme de la convergence uniforme) de l'ensemble des combinaisons linéaires des caractères de G. Si G est compact, les fonctions presque périodiques sont simplement les fonctions continues.

Le Modèle:Lien de G est le groupe abélien compact B(G) de tous les caractères (non nécessairement continus) du groupe dual de G ; B(G) est un groupe compact dont G est un sous-groupe dense. L'espace des fonctions presque périodiques sur G s'identifie avec l'espace des fonctions continues sur B(G). Plus généralement, on peut définir le compactifié de Bohr d'un groupe topologique G quelconque ; l'espace des fonctions continues (ou même simplement [[Espace Lp|Modèle:Math]]) sur B(G) peut être vu comme un espace de fonctions presque périodiques sur G.

Caractérisation des fonctions presque périodiques

Cas des fonctions d'une variable réelle

Dans cette section, on suppose que (X, d) est un espace métrique complet. Si Modèle:Math désignent deux fonctions d'une variable réelle à valeurs dans X, on définit leur distance par :

$d(f,g)=\sup \{d(f(x),g(x))|x\in ℝ\}\in [0,+\mathrm{\infty }].$

Théorème : Soit $f:ℝ\to X$ une application continue. On a les équivalences :

1. De toute suite réelle Modèle:Math, on peut extraire une sous-suite $(h_{\phi (n)}{)}_n$ telle que $(f_{h_{\phi (n)}}:x\mapsto f(x+h_{\phi (n)}){)}_n$ converge uniformément dans [[Exponentiation ensembliste|XModèle:Exp]].
2. $\mathrm{\forall }\epsilon >0,\mathrm{\exists }R(\epsilon )>0,\mathrm{\forall }x\in ℝ$, l'intervalle Modèle:Math contient une ε-presque-période.

La démonstration de 2. ⇒ 1. utilise le procédé d'extraction par diagonale et le fait que si Modèle:Math vérifie 2., alors :

• Modèle:Math est uniformément continue ;
• Modèle:Math(ℝ) est dense dans X.

Modèle:Démonstration/début Par contraposée.

Supposons qu'il existe ε > 0 tel que pour tout R > 0, il existe un intervalle ]a, a + R[ ne contenant aucune ε-presque-période.

Soit hModèle:Ind quelconque. Alors il existe un intervalle ]aModèle:Ind, bModèle:Ind[ de longueur strictement plus grande que 2|hModèle:Ind| ne contenant aucune ε-presque-période.

On pose hModèle:Ind = (aModèle:Ind + bModèle:Ind)/2. Puisque hModèle:Ind – hModèle:Ind ∈ ]aModèle:Ind, bModèle:Ind[, hModèle:Ind – hModèle:Ind n'est pas une ε-presque-période.

Il existe alors un intervalle ]aModèle:Ind, bModèle:Ind[ de longueur strictement plus grande que 2(|hModèle:Ind| + |hModèle:Ind|) ne contenant aucune ε-presque-période.

On pose hModèle:Ind = (aModèle:Ind + bModèle:Ind)/2. Alors : hModèle:Ind – hModèle:Ind, hModèle:Ind – hModèle:Ind ∈ ]aModèle:Ind, bModèle:Ind[ ne sont pas des ε-presque-périodes.

On définit alors par récurrence une suite Modèle:Math telle que :

$\mathrm{\forall }i\ne j,h_i-h_j\text{ ne sont pas des }\epsilon \text{-presque-périodes,}$

c'est-à-dire :

$\underset{t}{\sup }d(f(t+h_i-h_j),f(t))\ge \epsilon .$

Par conséquent, la suite Modèle:Math ne vérifie pas la première assertion.

Cas complexe

On considère une fonction Modèle:Math méromorphe sur ℂ. On définit : Modèle:Math l'ensemble des Modèle:Math-presque-périodes de Modèle:Math et$\mathrm{\Delta }(z_0,R)=\{z\in ℂ||z-z_0|<R\}.$

Notes et références

Bibliographie

• Modèle:En Amerio et Prouse, Almost periodic functions and Functional Equations, Van Nostrand Reinhold Company, Cincinnati, 1971.
• Modèle:En A. S. Besicovitch, Almost periodic functions, Dover, Cambridge, 1954, Modèle:Lire en ligne.
• Modèle:En H. Bohr, Almost periodic functions, Chelsea publishing, New York, 1947.
• Jean Favard, Leçons sur les fonctions presque-périodiques, Gauthiers-Villars, Paris, 1933.
• Modèle:Ru Levitan, Pochti-periodicheskie funckii, Moscou, 1953.

Articles connexes

Fonction quasi périodique