Carleson Lennart

En 1966, le mathématicien suédois Lennart Carleson a établi un résultat sur la convergence des séries de Fourier. Une série de Fourier reconstruit une fonction en superposant des oscillations simples. La question était de savoir si les approximations finissent bien par retrouver la valeur de départ.

Pour une fonction continue, Carleson a prouvé que cette convergence a lieu presque partout. Cette expression autorise des points exceptionnels, mais ceux-ci forment un ensemble de mesure nulle : ils n'occupent aucune longueur sur l'intervalle étudié.

Lennart Axel Edvard Carleson, né en 1928, est un mathématicien suédois dont le domaine est l'analyse harmonique. Cette branche étudie notamment la représentation de fonctions par des oscillations. Pour une fonction continue f associée à une série de Fourier, on considère ses sommes partielles : chacune ne conserve qu'un nombre fini de fréquences. Au point noté x, la somme partielle de rang entier N est notée S_N(x). Dire qu'elle converge vers f(x) lorsque N croît sans borne s'écrit :

Le résultat démontré par Carleson en 1966 affirme, dans le cadre continu cité, que cette convergence vaut presque partout. Autrement dit, l'ensemble E des points où la convergence échoue est de mesure nulle. Un schéma logique permet de distinguer cette conclusion d'une convergence garantie en chaque point. Cette démonstration a résolu une conjecture sur cette convergence. Les contributions de Carleson ont aussi été distinguées par le prix Wolf en 1992, la médaille Sylvester et le prix Abel en 2006.

Prenons la fonction continue f(t) = cos(t) + 1/2 cos(2t) + 1/4 cos(3t). Sa série de Fourier ne comporte ici que trois fréquences. Au point x = 0, la valeur cible est f(0) = 1 + 1/2 + 1/4 = 7/4.

1. La première somme partielle donne S₁(0) = 1. L'écart avec la cible 7/4 vaut donc 3/4.

2. En ajoutant la deuxième fréquence, on obtient S₂(0) = 1 + 1/2 = 3/2 : l'écart tombe à 1/4. Avec la troisième, S₃(0) = 7/4, donc l'écart devient nul. Pour tout rang N supérieur ou égal à 3, la somme reste égale à 7/4.

3. Dans cet exemple fini, le même raisonnement vaut à chaque point : dès le rang 3, toutes les fréquences de f sont présentes. Le théorème de Carleson porte sur des séries qui peuvent avoir une infinité de termes ; il garantit alors la convergence presque partout, sans la promettre en chaque point.

Ce calcul montre concrètement comment comparer plusieurs sommes partielles à une valeur cible. Le cas choisi converge partout, mais il ne renforce pas la conclusion générale : « presque partout » signifie que d'éventuelles exceptions n'occupent aucune longueur, non qu'elles sont nécessairement absentes.

Pour lire une biographie de Carleson, on rattache 1966 au résultat sur la convergence presque partout. Si le texte traite plutôt des distinctions, on retient séparément le prix Wolf de 1992 et le prix Abel de 2006.

Devant un énoncé sur les séries de Fourier, on repère d'abord la conclusion exacte. La présence de « presque partout » conduit au résultat cité ici ; une affirmation « en tout point » exige un autre argument.

Pour approfondir le mécanisme mathématique, on consulte la série de Fourier elle-même. Si la question porte sur le domaine qui rassemble ces méthodes, l'entrée sur l'analyse harmonique offre le cadre le plus pertinent.

Convergence presque partout et convergence partout. La première tolère un ensemble exceptionnel de mesure nulle ; la seconde ne tolère aucun point d'échec. Un seul point où la suite ne converge pas suffit à écarter la convergence partout.

Convergence ponctuelle et convergence uniforme. La convergence ponctuelle se vérifie point par point. La convergence uniforme impose un même contrôle de l'erreur sur tout l'intervalle ; le résultat cité pour Carleson ne formule pas cette exigence uniforme.

Carleson et une série de Fourier. Carleson est le mathématicien auquel la démonstration de 1966 est attribuée. La série de Fourier est l'objet mathématique dont la convergence est étudiée.

« Presque partout » n'efface pas les exceptions. Le symptôme du contresens est la reformulation « pour tout point ». Il faut conserver la conclusion exacte : l'ensemble exceptionnel est de mesure nulle.

La convergence ne donne pas une vitesse. Savoir que S_N(x) tend vers f(x) ne précise pas combien de termes suffisent pour une erreur donnée. Il faut une estimation supplémentaire pour répondre à cette autre question.

La continuité appartient au cadre énoncé ici. La source affirme le résultat pour une fonction continue. On ne peut pas supprimer cette hypothèse et étendre la conclusion à une fonction quelconque sans disposer d'un énoncé plus général.

Les dates ne sont pas interchangeables. L'année 1966 désigne la démonstration de convergence ; 1992 correspond au prix Wolf et 2006 au prix Abel. La médaille Sylvester est également citée, sans année dans la source.

série de Fourier — Pour examiner l'objet dont les sommes partielles convergent presque partout dans le résultat associé à Carleson.

analyse harmonique — Pour situer le domaine mathématique auquel appartiennent les travaux de Lennart Carleson.