Voir la source de Série lacunaire

[[Fichier:Lacunary domain coloring.png|vignette|Coloration de domaine pour la fonction lacunaire avec a = 2 {\ displaystyle a = 2} obtenu en additionnant les 128 premiers termes.]]
En [[mathématiques]], et plus précisément en [[analyse (mathématiques)|analyse]], une '''série lacunaire''' (aussi connue sous le nom de '''fonction lacunaire''') est une [[série entière]] (ou la fonction somme de cette série entière) présentant des lacunes, c'est-à-dire dont un grand nombre de coefficients sont nuls ; plus généralement, on donne ce nom à des [[série de Fourier|séries de Fourier]] présentant des lacunes analogues. Une caractéristique importante de ces fonctions, et qui en constitue une définition rigoureuse<ref> En fait, la littérature n'est pas très claire : {{Référence nécessaire|les auteurs anglo-saxons tendent à utiliser cette définition, alors que les auteurs français réclament en plus que la série présente, en effet, une quantité suffisante de lacunes pour provoquer l'apparition d'une coupure|date=février 2010}} ; on trouvera une étude plus précise de cette question dans la [[#Séries sans prolongement analytique|section consacrée au prolongement analytique]]</ref>, est d'être des [[fonction holomorphe|fonctions holomorphes]] n'ayant pas de [[prolongement analytique]] en dehors de leur disque de convergence.

== Historique ==
La théorie des [[fonction modulaire|fonctions modulaires]] (et celle des fonctions fuchsiennes automorphes) donnaient déjà des exemples de [[Série de Taylor|séries de Taylor]] non prolongeables. Mais on pouvait éventuellement croire que ces exemples étaient particuliers et dus aux relations spéciales vérifiées par ces fonctions. Le premier exemple d'une [[Série (mathématiques)|série infinie]] de puissances entières ayant son cercle de convergence comme '''coupure''' (c'est-à-dire comme barrière empêchant tout prolongement analytique) fut trouvé par [[Karl Weierstrass|Weierstrass]]<ref>[[Paul David Gustave du Bois-Reymond|Du Bois-Reymond]], ''[[Journal für die reine und angewandte Mathematik]]'', tome 79{{refinc|date=juin 2013}}.</ref> en 1875. Puis [[Ivar Fredholm|Fredholm]] en donna un second en 1890, suivi peu après, en 1892, par [[Jacques Hadamard|Hadamard]], qui montra dans sa thèse qu'en notant <math>\lambda_n</math> la position du ''n''-ième coefficient non nul de la série, il en est ainsi si <math>\frac{\lambda_{n+1}-\lambda_n}{\lambda_n}</math> tend vers l'infini avec ''n''. [[Émile Borel]] montra dès 1896 que cette condition peut être assouplie en <math>\frac{\lambda_{n+1}-\lambda_n}{\sqrt{\lambda_n}}</math>, tout juste avant qu'[[Eugène Fabry]] ne montre, cette même année 1896, qu'en fait la condition <math>\lim_{n \to \infty}(\lambda_{n+1}-\lambda_n)=\infty</math> est suffisante<ref>Fabry, « Sur les points singuliers d'une fonction donnée par son développement en série et sur l'impossibilité du prolongement analytique dans des cas très généraux », ''[[Annales scientifiques de l'École normale supérieure]]'', Série 3, tome 13, 1896, {{p.|367-399}}.</ref>. En 1924, la question fut reprise par [[Andreï Kolmogorov|Kolmogorov]], dans le cas des séries trigonométriques lacunaires ; il obtint un résultat de convergence [[Ensemble négligeable|presque partout]] de ces séries, lequel fut encore amélioré par [[Antoni Zygmund|Zygmund]] en 1932. En 1947, enfin, [[Pál Turán]] publia une preuve simplifiée du résultat de Fabry<ref>Pál Turán, ''[[Acta Mathematica Hungarica]]'', 1947, {{p.|21-29}}.</ref>, amenant à une approche entièrement nouvelle de cette question.

== Exemples ==
=== Un exemple simple ===
Soit ''f'' la fonction définie par la [[série entière]]<ref>Une démonstration rigoureuse est donnée dans Whittaker et Watson, ''A course in modern analysis'' (1927), {{p.|98}}. Cet exemple a été découvert par [[Karl Weierstrass|Weierstrass]], en 1875.</ref> :
:<math>

f(z) = \sum_{n=0}^\infty z^{2^n} = z + z^2 + z^4 + z^8 + \cdots\, .

</math>

Cette série [[Convergence uniforme|converge uniformément]] sur tout disque ouvert de la forme |''z''|<ρ < 1, par comparaison avec la [[série géométrique]] (laquelle est [[Convergence absolue|absolument convergente]] pour |''z''| < 1) ; ''f'' est donc analytique sur le disque ouvert |''z''|< 1. Cependant, on va montrer que ''f'' présente une [[Prolongement analytique#Intervention des singularités|singularité]] en tout point du [[cercle unité]], et ne peut donc être prolongée analytiquement à l'extérieur de son domaine de convergence.
''f'' a une singularité en ''z'' = 1, car <math>f(1) = 1 + 1 + 1 + \cdots\,</math>
est une série divergente (vers l'infini) ; il en est de même de <math>f(-1) = -1 + 1 + 1 + \cdots\,</math> ; plus généralement, si ''z'' est une racine 2<sup>''n''</sup>-ième de l'unité, on aura <math>f(z) =\sum_{k=0}^{n-1} z^{2^k} + 1 + 1 + \cdots\,</math> . La fonction ''f'' présente donc une singularité en chacun de ces ''z'', et comme ceux-ci forment un ensemble dense du cercle unité, par continuité, tout point du cercle doit être une singularité de ''f''.

=== Un exemple frappant ===
La série entière définie par<ref name=Rudin>{{Rudin}}, 1978, {{p.|304}}.</ref>
{{retrait|<math>f(z)=\sum_{k=0}^\infty\exp(-\sqrt{\lambda_k})z^{\lambda_k}\text{ avec }\lambda_k=2^k</math>}}
a pour [[rayon de convergence]] 1 d'après le [[théorème de Cauchy-Hadamard]]. D'après le résultat de Borel ci-dessus, tout point du cercle unité est singulier. Néanmoins, contrairement à l'exemple précédent, cette série, ainsi que toutes ses séries dérivées terme à terme, converge en tout point du cercle (elle converge même [[Convergence normale|normalement]] sur le disque unité fermé).

== Des résultats plus généraux ==

Le même argument montre que des séries analogues, telles que <math>f(z) = \sum_{n=0}^\infty z^{3^n} = z + z^3 + z^9 + z^{27} + \cdots </math>, présentent le même comportement. Mais il n'est pas évident que la taille des lacunes entre les termes non nuls de la série puisse croître plus irrégulièrement, ou beaucoup plus lentement, et que la fonction résultante reste cependant lacunaire (au sens où elle ne peut être prolongée hors du disque unité). Soit

:<math>

f(z) = \sum_{k=1}^\infty a_kz^{\lambda_k}

</math>
où les λ<sub>''k''</sub> forment une [[suite d'entiers]] naturels strictement croissante, et où les {{math|''a<sub>k</sub>''}}<!--pas forcément tous non nuls--> sont tels que le rayon de convergence de cette série entière est fini et non nul. Les intervalles d'indices {{nobr|<nowiki>{</nowiki>1+λ<sub>''k''</sub>, … , λ<sub>''k''+1</sub><nowiki>}</nowiki>}} où les coefficients de la série sont tous nuls sont les ''lacunes''. Le [[Théorème des lacunes d'Ostrowski-Hadamard|théorème des lacunes]] dû à [[Alexander Ostrowski|Ostrowski]] et [[Jacques Hadamard|Hadamard]] affirme alors que si la [[Limite supérieure et limite inférieure|limite inférieure]] des λ{{ind|''k''+1}}/λ{{ind|''k''}} est strictement supérieure à 1, autrement dit : s'il existe une constante δ > 0 telle qu'à partir d'un certain rang,
:<math>

\frac{\lambda_{k+1}}{\lambda_k} > 1 + \delta,

</math>
alors {{math|''f''(''z'')}} ne peut être prolongée analytiquement au-delà de son disque de convergence<ref name=Rudin/>. Autrement dit, il suffit que la croissance des λ<sub>''k''</sub> soit exponentielle pour assurer la lacunarité de la fonction. On dit qu'une telle série contient des ''lacunes de Hadamard''.

Ce résultat fut progressivement amélioré, jusqu'à obtenir ce qui est en un certain sens le meilleur résultat possible : Fabry a démontré que la condition <math>\lim_{n \to \infty}(\lambda_{n+1}-\lambda_n)=\infty</math> est suffisante pour que la série admette son cercle de convergence comme coupure. [[Szolem Mandelbrojt|Mandelbrojt]]<ref>Mandlebrojt, Sur les séries de Taylor qui présentent des lacunes, Annales de l'école normale supérieure, Série 3, Tome 40, 1923, {{p.|413-462}}.</ref> a démontré en 1923 que la [[Limite (mathématiques)|limite]] ne peut être remplacée par une [[Limite supérieure et limite inférieure|limite supérieure]] en exhibant un exemple de fonction prolongeable au-delà de son cercle de convergence pour laquelle <math>\limsup_{n \to \infty}(\lambda_{n+1}-\lambda_n)=\infty</math>. 

Il est cependant possible de faire mieux encore, en précisant le comportement asymptotique de λ{{ind|''n''}} : partant d'un résultat de Fabry, Faber a démontré en 1904 que si <math>\lim_{n \to \infty}(\lambda_n/n)=\infty</math>, la série n'est pas prolongeable au-delà de son cercle de convergence<ref>[[Szolem Mandelbrojt]], ''Les singularités des fonctions analytiques représentées par une série de Taylor'' (mémorial des sciences mathématiques 54), {{p.|26}}. On trouvera d'autre part une démonstration moderne du théorème de Faber dans la référence Montgomery, sous le titre "Fabry's gap theorem", pages 89 et suivantes comme application d'une inégalité de Turan.</ref>. Utilisant le [[théorème des nombres premiers]], on en déduit, par exemple, que la 
série <math>\sum_{p\ \rm premier}z^p</math> ne peut être prolongée au-delà de son cercle de convergence, <math>|z|<1</math>.

== Séries sans prolongement analytique ==
On peut aussi se poser la question d'une autre manière : sous quelle(s) condition(s) une série infinie de puissances entières (non nécessairement lacunaire) définit-elle une [[fonction analytique]] dans le cercle unité et qui ne soit pas prolongeable au-delà de ce cercle ? La réponse a été donnée par [[Émile Borel]] qui énonce<ref>Borel, ''Sur les séries de Taylor admettant leur cercle de convergence comme coupure'', Journal de mathématiques pures et appliquées, {{p.|441-452}}, 1896</ref>

{{Début citation}} Pour qu'une série de Taylor n'admette pas son cercle de convergence comme coupure, il est nécessaire et suffisant qu'elle soit sommable en quelque région extérieure à ce cercle{{fin citation}} où sommable doit être pris au sens des [[série divergente|séries divergentes]] sommables [[Sommation de Borel|par le procédé de Borel]]<ref>Borel, ''Fondements de la théorie des séries divergentes sommables'', Journal de mathématiques pures et appliquées,{{p.|103-122}}, 1896</ref>.

On pourrait croire que les séries ayant leur cercle de convergence comme coupure sont des séries pathologiques, créées spécialement à titre de contre-exemples, et en définitive rares. Il n'en est rien : soit une série entière représentant une fonction entière ''f''. Considérons, pour fixer les idées, une suite <math>\{\lambda_n\}</math> d'entiers satisfaisant à la règle de Fabry (par exemple) et considérons la série extraite de celle de ''f'' et correspondant aux exposants <math>\lambda_n</math>. Cette série admet donc le cercle unité comme coupure mais définit tout de même une fonction analytique dans son disque de convergence qu'on peut toujours ramener à être le disque unité. Soit ''g'' cette fonction. Posons ''h=f-g'' ; ''h'' est alors une série qui, par suite des propriétés de ''f'' et ''g'', est elle-même non prolongeable au-delà du cercle unité et admet en chaque point de ce cercle une singularité qui compense exactement celle de ''g'' au même point. Cette circonstance, on le voit bien, est véritablement exceptionnelle. Ces remarques, formulées par Borel et [[Alfred Pringsheim|Pringsheim]], ont été mises en forme par [[Pierre Fatou|Fatou]] et [[Pólya]] dans le théorème suivant dit ''de Fatou-Pólya''<ref>Mandelbrojt, ''Les singularités des fonctions analytiques représentées par une série de Taylor'', {{p.|29}}, MSM54, 1936 ; Fatou, « Séries trigonométriques et séries de Taylor », ''[[Acta Mathematica]]'', vol. 30, {{p.|335}} ; Hurwitz et Pólya, « Zwei Beweise eines von Herrn Fatou vermuteten Satzes », ''Acta Mathematica'', vol. 40, {{p.|180}}.</ref> :
{{début citation}}Il suffit de changer le signe d'une infinité de coefficients, dont les indices sont convenablement choisis (ce choix dépend de la série en question) pour que le cercle de convergence devienne une coupure.{{fin citation}}
et ce théorème fut généralisé par Mandelbrot :
{{début citation}}On peut changer le signe d'une infinité de coefficients d'une série entière pour que tous les points sur le cercle de convergence soient singuliers du même ordre ω qui est celui de la série sur le cercle de convergence.{{fin citation}}
Enfin, Pólya justifia les remarques de Borel et Pringsheim de la manière suivante : considérant l'ensemble de toutes les séries de rayon de convergence 1 autour de l'origine comme un ensemble de points d'un espace de dimension infinie, dont les coordonnées sont les coefficients, il définit le voisinage du point <math>\{a_0, a_1, \ldots,\}</math> comme l'ensemble des points <math>\{b_0, b_1, \ldots,\}</math> tels que <math>|a_n-b_n| \le \epsilon_n</math> et dit que si <math>\limsup_{n \to \infty} \epsilon_n^{1/n}=1</math> sans que <math>\lim_{n \to \infty} \epsilon_n^{1/n}=1</math>, le voisinage est d'une direction. Il dit que le voisinage est proche si <math>\limsup_{n \to \infty} |a_n-b_n|^{1/n}<1.</math>
L'ensemble M est partout dense en toute direction si dans tout voisinage d'une direction autour de chaque point il existe un point appartenant à M et n'appartenant pas au voisinage proche du point.
Pólya démontre alors les théorèmes suivants :
{{début citation}} L'ensemble des séries entières non prolongeables au-delà du cercle de convergence est partout dense en toute direction et ne contient que des points intérieurs.{{fin citation}}
{{début citation}}L'ensemble des séries prolongeables est "nulle part dense" et parfait.{{fin citation}}

En résumé, on peut dire que les séries non prolongeables sont "infiniment plus nombreuses"<ref> Plus techniquement, les séries prolongeables constituent un [[ensemble négligeable|ensemble de mesure nulle]] dans l'ensemble de toutes les séries de même rayon de convergence.</ref> que les séries prolongeables.

Une série non prolongeable au-delà de son cercle de convergence est-elle nécessairement lacunaire ? Les mêmes arguments montrent que la réponse est négative. Pour le voir, il suffit de prendre une série lacunaire dont le rayon de convergence est R et une série non lacunaire dont le rayon de convergence est R' > R et de faire la somme des deux séries. La série somme ne peut alors pas être prolongée au-delà du cercle R mais elle n'est clairement pas lacunaire.

Il convient enfin de remarquer que, partant de ces exemples, il est facile de construire des fonctions holomorphes sur pratiquement n'importe quel ouvert, telles que la frontière de cet ouvert soit une coupure : le [[théorème de l'application conforme]] permet en effet d'envoyer le disque unité sur l'ouvert, et le composé de deux fonctions holomorphes est holomorphe.

== Séries trigonométriques lacunaires ==
On a vu que les résultats précédents ne dépendent pas de la valeur des coefficients <math>a_k</math> (pour un rayon de convergence donné). En revanche, la question du comportement de la série sur le cercle de convergence en dépend ; si les <math>a_k</math> sont réels, elle se ramène à l'étude des [[série trigonométrique|séries trigonométriques]] de la forme <math>S(\lambda_k,\theta) = \sum_{k=1}^\infty a_k \cos(\lambda_k\theta) \qquad</math> ou, plus généralement, <math>\qquad

S(\lambda_k,\theta,\omega) = \sum_{k=1}^\infty a_k \cos(\lambda_k\theta + \omega) \,</math>

La question est de déterminer des critères pour qu'une telle série converge [[Ensemble négligeable|presque partout]] (dans le second cas, pour presque toutes les valeurs de ''θ'' et de la phase ''ω'') ; les résultats suivants peuvent être vus comme des compléments au [[théorème de Riesz-Fischer]] et au [[théorème de Carleson]] (ce dernier voit d'ailleurs une partie de son origine dans le résultat de Kolmogorov).

* [[Andreï Kolmogorov|Kolmogorov]] a montré<ref>A. N. Kolmogorov, ''Une contribution à l'étude de la convergence des séries de Fourier'', Fund.Math. 5 (1924), 26{27.</ref> que si la suite {λ<sub>''k''</sub>} contient des lacunes de Hadamard, alors la série ''S''(λ<sub>''k''</sub>,&nbsp;''θ'',&nbsp;''ω'') converge (respectivement diverge) [[Ensemble négligeable|presque partout]] selon que <math>\sum_{k=1}^\infty a_k^2\,</math> converge ou diverge.
* [[Antoni Zygmund|Zygmund]] a montré<ref>A. Zygmund, ''On the convergence of lacunary trigonometric series'', Fund. Math. 16 (1930),
90{97; Correction, Fund. Math. 18 (1932), 312.</ref>, sous les mêmes conditions, que ''S''(λ<sub>''k''</sub>,&nbsp;''θ'',&nbsp;''ω'') n'est pas la série de Fourier d'une [[Intégrale de Lebesgue|fonction intégrable (au sens de Lebesgue)]] quand la somme des carrés des ''a''<sub>''k''</sub> est une série divergente.

== Notes ==
{{Références}}
== Références ==

* {{en}} Mandelbrojt et Miles ([[université Rice]]), [http://scholarship.rice.edu/bitstream/handle/1911/8511/article_RI144261.pdf?sequence=5 ''Lacunary Series''], 1927 {{pdf}}
* {{Article|lang=en|prénom=Katusi|nom=Fukuyama|prénom2=Shigeru|nom2=Takahashi|url=http://www.ams.org/proc/1999-127-02/S0002-9939-99-04541-4/S0002-9939-99-04541-4.pdf|titre=The Central Limit Theorem for Lacunary Series|lien périodique=Proceedings of the American Mathematical Society|revue=Proc. Amer. Math. Soc.|vol=127|numéro=2|mois=2|année=1999|p.=599-608}}
* {{en}} [[Hugh Montgomery]], ''Ten lectures on the interface between analytic number theory and harmonic analysis'', [[American Mathematical Society|AMS]], [[Conference Board of the Mathematical Sciences|Conference board of the mathematical sciences]] {{n°|84}}, 1994
{{Boîte déroulante/début|titre = Bibliographie historique}}

# Borel, ''Sur la région de sommabilité d'un développement de Taylor'', CRAS, T123, {{date-|5 octobre 1896}}.
# Borel, ''Sur les séries de Taylor qui admettent leur cercle de convergence comme coupure'', journal de mathématique, {{5e|série}}, T2, 1896.
# Borel, ''Sur les séries de Taylor'', CRAS, {{date-|14 décembre 1896}}.
# Borel, ''Sur les séries de Taylor'', Acta Mathematica, T21, 1897.
# Borel, Œuvres de Émile Borel, 4 tomes

# Darboux, ''Mémoire sur les fonctions discontinues'', Annales scientifiques de l'école normale supérieure, {{2e|série}}, T4, 1875.

# Faber, ''Ueber die nicht-Forzetzbarbeit gewisser Potenzreihen'', Sitzungsbericht de l'académie de Bavière, T34, 1904.

# Fabry, ''Sur les points singuliers d'une fonction donnée par son développement en série et sur l'impossibilité du prolongement analytique dans les cas très généraux''. Annales scientifiques de l'école normale supérieure, {{3e|série}}, T13, {{p.|367}}, 1896.
# Fabry, ''Sur les séries de Taylor'', CRAS, {{date-|18 janvier 1897}}.
# Fabry, ''Sur les séries de Taylor qui ont une infinité de points singuliers'', Acta Mathematica, T22, 1899.

# Hadamard, ''La série de Taylor et son prolongement analytique'', G. Carré & C. Naud, Scientia 12, 1901

# Lerch, contribution à la théorie des fonctions, Sitzungsberichte de l'académie de Bohème, {{date-|15 octobre 1886}}.
# Lerch, addition au mémoire présenté dans la séance du {{date-|15 octobre 1886}}, Sitzungsberichte de l'académie de Bohème, 1887.
# Lerch, ''Un théorème de la théorie des séries'', Acta Mathematica, T10, {{p.|87-88}},1887.
# Lerch, ''Ueber Funktionen mit beschränktem Existenzbereiche'', mémoire de l'académie de Bohème, {{7e|série}}, T2, 1887.
# Lerch, ''Ueber die Nichtdifferentiierbarkeit gewisser Funktionen'', Journal für die reine und angewandte Mathematik, T103,1888.

# Mandelbrojt, ''Les singularités des fonctions analytiques représentées par une série de Taylor'', Mémorial des sciences mathématiques, {{n°|54}}, Gauthier-Villars, 1932.
# Mandelbrojt, ''Modern researches on the singularities of functions defined by Taylor's series'', Rice institut pamphlet, T14, {{p.|225-352}}, 1927.
# Mandelbrojt, ''Séries lacunaires'', Actualités scientifiques et industrielles 305 (exposés sur la théorie des fonctions 02), Hermann, 1936.

# Meray, ''Sur l'impossibilité de franchir par la formule de Taylor les cercles de convergence de certaines séries entières''. Bulletin des sciences mathématiques, {{2e|série}}, T12, 1888.

# Mittag-Lefler, ''Sur une transcendante remarquable trouvée par M. Fredholm'', Acta Mathematica, T15, 1891.

# Pringheim, Zur Theorie der Taylor'schen Reihe und der analytischen Funktionen mit beschränkten Existenzbereiche, Sitzungberichte der Münchener Academie, {{date-|7 mai 1892}}.
# Pringheim, Zur Theorie der Taylor'schen Reihe und der analytischen Funktionen mit beschränkten Existenzbereiche, Mathematische annalen, T42, 1892.

# Vivanti, Sulle serie di potenze, Rivista di matematica, 1893.

{{Boîte déroulante/fin}}

{{Portail|analyse}}

{{DEFAULTSORT:Serie lacunaire}}
[[Catégorie:Analyse complexe]]
[[Catégorie:Série (mathématiques)|Lacunaire]]