Série lacunaire


Série lacunaire

En mathématiques, et plus précisément en 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éries de Fourier présentant des lacunes analogues. Une caractéristique importante de ces fonctions, et qui en constitue une définition rigoureuse[1], est d'être des fonctions holomorphes n'ayant pas de prolongement analytique en dehors de leur disque de convergence.

Sommaire

Historique

La théorie des fonctions modulaires (et celle des fonctions fuchsiennes automorphes) donnaient déjà des exemples de 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 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 Weierstrass[2] en 1875. Puis Fredholm en donna un second en 1890, suivi peu après, en 1892, par Hadamard, qui montra dans sa thèse qu'en notant λn la position du n-ième coefficient non nul de la série, il en est ainsi si \frac{\lambda_{n+1}-\lambda_n}{\lambda_n} tend vers l'infini avec n. Émile Borel montra dès 1896 que cette condition peut être assouplie en \frac{\lambda_{n+1}-\lambda_n}{\sqrt{\lambda_n}}, tout juste avant que Fabry ne montre, cette même année 1896, qu'en fait la condition \lim_{n \to \infty}(\lambda_{n+1}-\lambda_n)=\infty est suffisante[3]. En 1924, la question fut reprise par Kolmogorov, dans le cas des séries trigonométriques lacunaires ; il obtint un résultat de convergence presque partout de ces séries, lequel fut encore amélioré par Zygmund en 1932.

Un exemple simple

Soit f la fonction définie par la série entière[4] :



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

Cette série converge uniformément sur tout disque ouvert de la forme |z|<ρ < 1, par comparaison avec la série géométrique (laquelle est absolument convergente pour |z| < 1) ; f est donc analytique sur le disque ouvert |z|< 1. Cependant, on va montrer que f présente une 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 f(1) = 1 + 1 + 1 + \cdots\, est une série divergente (vers l'infini) ; il en est de même de f(-1) = -1 + 1 + 1 + \cdots\, ; plus généralement, si z est une racine 2n-ième de l'unité, on aura f(z) =\sum_{k=0}^{n-1} z^{2^k} + 1 + 1 + \cdots\, . 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.

Des résultats plus généraux

Le même argument montre que des séries analogues, telles que f(z) = \sum_{n=0}^\infty z^{3^n} = z + z^3 + z^9 + z^{27} + \cdots , 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é). Précisant la notation, nous écrirons



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

où les λk forment une suite d'entiers strictement croissante, et où bn = ak \ne 0 quand n = λk, et bn = 0 sinon ; les segments où les coefficients bn de la seconde série sont tous nuls (s'étendant donc de 1+λk à λk+1 si ces nombres sont distincts) sont les lacunes. Le théorème des lacunes (en) dû à Ostrowski et Hadamard affirme alors que si



\lim_{n\to\infty} \frac{\lambda_{n+1}}{\lambda_{n}} > 1 + \delta \,

δ > 0 est une constante positive, alors f(z) ne peut être prolongée analytiquement au delà de son disque de convergence[5]. Autrement dit, il suffit que la croissance des λk 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 \lim_{n \to \infty}(\lambda_{n+1}-\lambda_n)=\infty est suffisante pour que la série admette son cercle de convergence comme coupure, mais Mandelbrojt[6] a donné en 1923 un exemple de fonctions prolongeable au delà de son cercle de convergence pour laquelle \limsup_{n \to \infty}(\lambda_{n+1}-\lambda_n)=\infty. Il est cependant possible de faire mieux encore, en précisant le comportement asymptotique de λn : partant d'un résultat de Fabry, Faber a démontré en 1904 que si \lim_{n \to \infty}(\lambda_n/n)=\infty, la série n'est pas prolongeable au delà de son cercle de convergence[7]. Utilisant le théorème des nombres premiers, on en déduit , par exemple, que la série \sum_{p\ \rm premier}z^p ne peut être prolongée au delà de son cercle de convergence , | z | < 1.

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[8]

«  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 »

où sommable doit être pris au sens des séries divergentes sommables par le procédé de Borel[9].

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 n} 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 λn. 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 Pringsheim, ont été mises en forme par Fatou et Pólya dans le théorème suivant dit de Fatou-Pólya[10] :

« 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. »

et ce théorème fut généralisé par Mandelbrojt :

« 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. »

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 \{a_0, a_1, \ldots,\} comme l'ensemble des points \{b_0, b_1, \ldots,\} tels que |a_n-b_n| \le \epsilon_n et dit que si \limsup_{n \to \infty} \epsilon_n^{1/n}=1 sans que \lim_{n \to \infty} \epsilon_n^{1/n}=1, le voisinage est d'une direction. Il dit que le voisinage est proche si \limsup_{n \to \infty} |a_n-b_n|^{1/n}<1. 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 :

«  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. »

« L'ensemble des séries prolongeables est "nulle part dense" et parfait. »

En résumé, on peut dire que les séries non prolongeables sont "infiniment plus nombreuses"[11] 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 ak (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 ak sont réels, elle se ramène à l'étude des séries trigonométriques de la forme S(\lambda_k,\theta) = \sum_{k=1}^\infty a_k \cos(\lambda_k\theta) \qquad ou, plus généralement, \qquad

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

La question est de déterminer des critères pour qu'une telle série converge 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 (en) (ce dernier voit d'ailleurs une partie de son origine dans le résultat de Kolmogorov).

  • Kolmogorov a montré[12] que si la suite {λk} contient des lacunes de Hadamard, alors la série Skθω) converge (respectivement diverge) presque partout selon que \sum_{k=1}^\infty a_k^2\, converge ou diverge.

Notes

  1. En fait, la littérature n'est pas très claire : 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[réf. nécessaire] ; on trouvera une étude plus précise de cette question dans la section consacrée au prolongement analytique
  2. Du Bois-Reymond, Journal für die reine und angewandte Mathematik, tome 79
  3. 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, p. 367-399,Série 3, Tome 13, 1896.
  4. 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 Weierstrass, en 1875.
  5. Mandelbrojt et Miles, 1927
  6. Mandlebrojt, Sur les séries de Taylor qui présentent des lacunes,Annales de l'école normale supérieure,Série 3, Tome 40,p413-462,1923
  7. 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
  8. 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
  9. Borel, Fondements de la théorie des séries divergentes sommables, Journal de mathématiques pures et appliquées,p. 103-122, 1896
  10. 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, T.30, p.335 ; Hurwitz et Pólya, Zwei Beweise eines von Herrn Fatou vermuteten Satzes, Acta mathematica, T.40, p.180
  11. Plus techniquement, les séries prolongeables constituent un ensemble de mesure nulle dans l'ensemble de toues les séries de même rayon de convergence.
  12. A. N. Kolmogorov, Une contribution à l'étude de la convergence des séries de Fourier, Fund.Math. 5 (1924), 26{27.
  13. A. Zygmund, On the convergence of lacunary trigonometric series, Fund. Math. 16 (1930), 90{97; Correction, Fund. Math. 18 (1932), 312.

Références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Série lacunaire de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Prolongement analytique — En analyse complexe, la théorie du prolongement analytique détaille l ensemble des propriétés et techniques concernant le prolongement des fonctions holomorphes (ou analytiques). Elle considère d abord la question du prolongement dans le plan… …   Wikipédia en Français

  • HADAMARD (J.) — Le mathématicien Jacques Hadamard (né à Versailles, mort à Paris) a eu une grande influence sur l’école française de mathématiques au début du siècle. S’il reste l’héritier de la grande tradition des analystes du XIXe siècle dans ses travaux sur… …   Encyclopédie Universelle

  • MÉMOIRE — La mémoire est la propriété de conserver et de restituer des informations. Cette propriété n’est pas exclusivement propre à l’homme. Celui ci la partage avec les organismes vivants et certaines machines, de sorte qu’il est nécessaire de préciser… …   Encyclopédie Universelle

  • Un Roi sans divertissement — est un roman de Jean Giono, publié en 1948. Le titre Un roi sans divertissement renvoie à la phrase qui clôt le roman et que Giono emprunte aux Pensées de Pascal : un roi sans divertissement est un homme plein de misères (fragment 142 de l… …   Wikipédia en Français

  • Un roi sans divertissement — est un roman de Jean Giono, publié en 1947 une première fois, d abord interdit à la vente en raison des problèmes judiciaires connus par l auteur. Puis re publié en 1949, une fois Giono ayant été disculpé. Le titre Un roi sans divertissement… …   Wikipédia en Français

  • Kalevala — Le Kalevala une épopée composée au XIXe siècle par Elias Lönnrot, folkloriste et médecin, sur la base de poésies populaires de la mythologie finnoise transmises oralement. Il est considéré comme l épopée nationale finlandaise et compte parmi …   Wikipédia en Français

  • Saison 6 de Dr House — Logo original de la série Série Dr House Pays d’origine …   Wikipédia en Français

  • SPINELLES — Le groupe des spinelles est composé d’oxydes doubles répondant à la formule générale MO 練M 23 ou MM 24. Le métal bivalent M peut être Mg, Fe, Zn, Mn, Co, Ni, et le métal trivalent M Al, Fe, Cr, V, Ga, In. Par ailleurs, des métaux quadrivalents… …   Encyclopédie Universelle

  • Finales BAA 1947 — Infobox compétition sportive Finales BAA 1947 Sport Basket ball Organisateur(s) BAA Éditions 1re Lieu …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.