SMF

Analyse multifractale des points de divergence des séries de Fourier

Multifractal analysis of the divergence of Fourier series

Frédéric BAYART, Yanick HEURTEAUX
Analyse multifractale des points de divergence des séries de Fourier
  • Année : 2012
  • Fascicule : 6
  • Tome : 45
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 42A20
  • Pages : 927-946
  • DOI : 10.24033/asens.2180

Un célèbre théorème de Carleson nous dit que si une fonction $f$ est de puissance $p$-ième intégrable ($p>1$), sa série de Fourier converge presque partout. D'un autre côté, il peut y avoir des points de divergence. Pour un tel point donné $x$, on peut introduire l'indice de divergence comme étant le plus petit exposant $\beta $ tel que $S_nf(x)=O(n^\beta )$. On sait que cet indice est au plus égal à $1/p$ et on s'intéresse à la dimension des ensembles exceptionnels de points $E_\beta $ d'indice de divergence donné $\beta $. Nous montrons que quasi-toute fonction de $L^p$ (au sens de Baire) a un comportement multifractal. De façon précise, quasi-sûrement dans $L^p$, pour tout $\beta $, la dimension de Hausdorff de $E_\beta $ vaut $1-\beta p$. Nous nous intéressons aussi aux fonctions continues pour lesquelles la croissance de $S_nf(x)$ est contrôlée par le logarithme de $n$. Là encore un indice de divergence (logarithmique) peut être introduit et nous obtenons des résultats surprenants sur la taille des ensembles exceptionnels.

A famous theorem of Carleson says that, given any function $f\in L^p(\mathbb {T} )$, $p\in (1,+\infty )$, its Fourier series $(S_nf(x))$ converges for almost every $x\in \mathbb T$. Beside this property, the series may diverge at some point, without exceeding $O(n^{1/p})$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta $ such that $S_nf(x)=O(n^\beta )$ and we are interested in the size of the exceptional sets $E_\beta $, namely the sets of $x\in \mathbb T$ with divergence index equal to $\beta $. We show that quasi-all functions in $L^p(\mathbb {T} )$ have a multifractal behavior with respect to this definition. Precisely, for quasi-all functions in $L^p(\mathbb T)$, for all $\beta \in [0,1/p]$, $E_\beta $ has Hausdorff dimension equal to $1-\beta p$. We also investigate the same problem in $\mathcal C(\mathbb T)$, replacing polynomial divergence by logarithmic divergence. In this context, the results that we get on the size of the exceptional sets are rather surprising.

Séries de Fourier, analyse multifractale, divergence, théorème de Baire
Fourier series, multifractal analysis, divergence, Baire category theorem


Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...