Leçon 235 : Problèmes d’interversion de symboles en analyse.

(2025) 235

Dernier rapport du Jury :

(2022 : 235 - Problèmes d’interversion de limites et d’intégrales.) L'intitulé de cette leçon a été volontairement élargi afin de permettre explicitement aux candidats d'aborder des problèmes plus diversités de permutations de symboles, qu'il s'agisse de limites, d'intégrales, de dérivées, d'espérances. Le choix est large ! Les candidats pourront également inclure dans leur leçon des exemples de permutations de quantificateurs, obtenus par des arguments de compacité ou (pour les candidats aguerris) utilisant le théorème de Baire. Dans tous les cas, on évitera de présenter un catalogue désincarné d'énoncés, en privilégiant les exemples et applications significatifs.

(2019 : 235 - Problèmes d’interversion de limites et d’intégrales.) Cette leçon s’intéresse aux problèmes d’interversion limite-limite, limite-intégrale et intégrale-intégrale. Il ne s’agit pas de refaire un cours d’intégration. On pourra toutefois mettre en évidence le rôle important joué par des théorèmes cruciaux de ce cours. À un niveau élémentaire, on peut insister sur le rôle de la convergence uniforme (et donc, dans le cas de séries de fonctions bornées,de la convergence normale.) Les théorèmes de convergence monotone, de convergence dominée et les théorèmes d’interversion de Fubini-Tonelli et Fubini sont des attendus de cette leçon. On choisira des exemples pertinents pour illustrer l’intérêt de chacun de ces résultats, mais on pourra aussi exhiber des contre-exemples montrant que des hypothèses trop faibles ne permettent pas en général d’effectuer l’interversion voulue. Le jury note que ces différents points posent problème à de nombreux candidats, qui sont mis en difficulté sur des exemples assez simples. Ils sont donc invités à consolider ces notions avant de s’aventurer plus loin. $\\$ Pour les candidats qui le souhaitent, on pourra parler de la transformée deFourieret/ou de la transformée de Laplace avec des exemples et des applications.
(2017 : 235 - Problèmes d'interversion de limites et d'intégrales.) Cette leçon s’intéresse aux problèmes d’interversion limite-limite, limite-intégrale et intégrale-intégrale. Il ne s’agit pas de refaire un cours d’intégration. On pourra toutefois mettre en évidence le rôle important joué par des théorèmes cruciaux de ce cours. À un niveau éléméntaire, on peut insister sur le rôle de la convergence niforme, ou de la convergence normale (dans le cas de séries de fonctions). Les théorèmes de convergence dominée, de convergence monotone et le théorème de Fubini (et Fubini-Tonelli) ont leur place dans cette leçon. On choisira des exemples pertinents pour illustrer l’intérêt de chacun de ces réultats, mais on pourra aussi exhiber des contre-exemples montrant que des hypothèses trop faibles ne permettent pas en général d’effectuer l’interversion tant désirée. Pour les candidats qui le souhaitent, on pourra parler de la transformée de Fourier et/ou de la transformée de Laplace.
(2016 : 235 - Problèmes d'interversion de limites et d'intégrales.) Cette leçon s’intéresse aux problèmes d’interversion limite-limite, limite-intégrale et intégrale-intégrale. Il ne s’agit pas de refaire un cours d’intégration. On pourra toutefois mettre en évidence le rôle important joué par des théorèmes cruciaux de ce cours. À un niveau élémentaire, on peut insister sur le rôle de la convergence uniforme, ou de la convergence normale (dans le cas de séries de fonctions). À un niveau plus avancé, les théorèmes de convergence dominée, de convergence monotone et le théorème de Fubini (et Fubini-Tonelli) ont leur place dans cette leçon. On choisira des exemples pertinents pour illustrer l’intérêt de chacun de ces réultats, mais on pourra aussi exhiber des contre-exemples montrant que des hypothèses trop faibles ne permettent pas en général d’effectuer l’interversion tant désirée. Pour les candidats qui le souhaitent, on pourra parler de la transformée de Fourier et/ou de la transformée de Laplace.

Développements :

Plans/remarques :

2026 : Leçon 235 - Problèmes d’interversion de symboles en analyse.


2025 : Leçon 235 - Problèmes d’interversion de symboles en analyse

  • Auteur :
  • Remarque :
    Méta-plan appris pour le jour J. Fait en juin 2024 et non validé par une personne compétente :

    I. Continuité et convergence uniforme
    1) Continuité
    2) Convergence uniforme d'une suite de fonctions
    3) Fonction limite et régularité
    II. Séries numériques, séries de fonctions
    1) Série uniformément convergente
    2) Séries entières (DVT : thm d'Abel)
    III. Intégrale
    1) Fubini et série double
    2) Convergence monotone et dominée
    3) Intégrales à paramètres
    IV. App : équation de la chaleur
    1) Séries de Fourier (cn(f')=incn(f))
    2) DVT : résolution équation de la chaleur
  • Auteur :
  • Remarque :
    Plans faits pendant l'année à 3. Pas toujours vérifiés ni forcément aboutis. N'étaient pas faits pour être partagés donc il y a des commentaires/remarques personnelles que vous ne comprendrez sûrement pas ! En espérant que le métaplan puisse tout de même aider !
  • Fichier :
  • Auteur :
  • Remarque :
    La plupart des mes plans sont inspirés de Ewna, Agentb0, Jouaucon, Abarrier et Marvin. Merci à eux. Attention aux coquilles ! Mes plans sont, en général, scannés juste après que j'ai finis de rédiger, bien sur quand je les ai relu j'ai trouvé des erreurs. Les références sont à la fin des plans.

    J'ai viré le Tauberien faible (quel enfer ce dev), je met l'injectivité de la TF en tant qu'application des théorèmes d'inversions (dérivation sous le signe intégrale, Fubini etc).
    On est pas obligé de parler de Baire (interversion de quantificateur), mais si on en parle il faut savoir démontrer Baire, avoir peut être connaissance des espaces de Baire (rapidement), et d'autres applications du lemme de Baire. On peut également parler de probabilités. Ces deux thèmes change des thèmes "classiques".
  • Fichier :

2024 : Leçon 235 - Problèmes d'interversion de symboles en analyse.

  • Auteur :
  • Remarque :
    J'aime bien cette leçon, elle est assez rapide à préparer et les parties qui la composent se recasent très bien. Bien connaître les hypothèses des différents théorèmes d'interversion est nécessaire.

    Les références sont indiquées à la fin du plan. N'hésitez pas à me contacter pour me signaler toute erreur ou imprécision.
  • Fichier :
  • Auteur :
  • Remarque :
    Retrouvez tous nos plans de leçons ainsi que les fichiers latex associés à nos leçons sur notre site : https://sites.google.com/view/tribalchiefandwiseman/home?authuser=0
    Bonne preparation à vous !

2023 : Leçon 235 - Problèmes d’interversion en analyse.

  • Auteur :
  • Remarque :
    Possibilité d'avoir ma version complète manuscrite en me contactant par mail.
  • Fichier :

2022 : Leçon 235 - Problèmes d’interversion de limites et d’intégrales.


2020 : Leçon 235 - Problèmes d’interversion de limites et d’intégrales.

  • Auteur :
  • Remarque :
    Toutes les références sont à la fin du plan.

    Mes excuses pour l'écriture, et attention aux coquilles...
  • Fichier :

2019 : Leçon 235 - Problèmes d’interversion de limites et d’intégrales.


2018 : Leçon 235 - Problèmes d’interversion de limites et d’intégrales.


2017 : Leçon 235 - Problèmes d'interversion de limites et d'intégrales.


Retours d'oraux :

2026 : Leçon 235 - Problèmes d’interversion de symboles en analyse.

  • Leçon choisie :

    235 : Problèmes d’interversion de symboles en analyse.

  • Autre leçon :

    264 : Variables aléatoires discrètes. Exemples et applications.

  • Développement choisi : (par le jury)

    Théorème de Banach-Steinhaus et série de Fourier divergente

  • Autre(s) développement(s) proposé(s) :

    Pas de réponse fournie.

  • Liste des références utilisées pour le plan :

    Pas de réponse fournie.

  • Résumé de l'échange avec le jury (questions/réponses/remarques) :

    Questions sur le dev :
    Q : Pouvez-vous justifier en quoi votre développement rentre dans cette leçon ?
    (on m'a posé cette question, AVANT le dev, juste après les 6 mins, le th de Banach-Steinhaus peut-être vu comme une permutation de symboles entre un "pour tout" et un "il existe" si on écrit proprement les choses, c'est explicitement mentionné dans les approfondissements dans le rapport du jury. De manière plus anecdotique, il y a aussi une convergence dominée dans l'application à l'existence d'une série de Fourier divergente).

    Q : Dans le développement n'a t-on pas prouvé beaucoup plus que l'existence d'une série de Fourier divergente ?
    (le th de Baire nous garantit la densité de ces objects pathologiques dans C_2pi.)

    Q : Connaissez-vous d'autres applications de Banach-Steinhaus ?
    (la plus connue est sans doute celle portant sur une limite simple d'applications linéaires continues qui est continue, voir l'annexe du Gourdon)

    Q : Pouvez-vous réexpliquer l'argument donné pour dire que le sinus cardinal n'est pas intégrable ?
    (par l'absurde si le sinus cardinal était intégrable, on pose f l'indicatrice du segment [-1,1], alors f et se transformée de Fourier (qui est le sinus cardinal à une constante près) seraient intégrables donc par formule inversion de Fourier, f serait coïnciderait presque partout avec une fonction continue (la transformée de Fourier d'une fonction L1 est toujours continue), c'est absurde).

    Q : Preuve que la transformée de Fourier d'une fonction L1 est dans C_0(R) ?
    (c'est Riemann-Lebesgue, pour la continuité c'est de la continuité sous l'intégrale, pour la limite aux infinis on raisonne par densité)

    Q : Quelques idées de preuves de Baire ?
    (il faut montrer que tout ouvert non vide intersecte non trivialement l'intersection des ouverts denses, la complétude est importante pour appliquer le th des fermés emboités, ça leur a suffit, pour plus de détails voir l'annexe du Gourdon).

    Questions sur le plan :

    Q : démontrer que l'intégrale sur sur R_+ de x/(exp(x)-1) vaut zeta(2).
    (développer 1/(1-exp(-x)) en série entière puis justifier l'interversion série-intégrale par Beppo-Levi ou Fubini-Tonelli)

    Q : Peut-on prolonger sur une partie de C la formule des compléments dont vous donnez la version réelle ?
    (La fonction gamma est naturellement définie et holomorphe sur le demi-plan de partie réelle >0, si vous êtes courageux vous pouvez dire qu'il y a des prolongements holomorphes à C\Z-, ça n'a pas été mon cas. La réponse attendue étant que la formule des complément se prolonge sur les complexes vérifiant 0
    Q : Pourquoi vous dites que les fonctions C^\infty(R) à support compact sont denses dans les fonctions continues à support compact ? Pour quelle topologie ?
    (pour la topologie de la cv uniforme, c'est un résultat de convolution avec une fonction plateau que l'on trafique en approximation de l'unité, tout est détaillé dans El Amrani ou Daniel Li en cas de besoin)

    Q : Dans votre défense de plan vous avez indiqué que la compacité permet des interversions de symboles, pouvez-vous détailler ?
    (j'ai détaillé le th de Heine, et de Dini qui permettent à chaque fois une interversion entre un pour tout et un il existe, j'ai aussi abordé les raisonnements avec Borel Lebesgue , comme dans la preuve de Stone-Weierstrass)

    Q : Contre exemple au th de CV dominée si on n'a pas de domination intégrable ?
    (faire des fonctions avec un triangle de plus en plus pointu, de sorte à avoir une aire constante égale à 1 mais une limite simple nulle presque partout)

    Q : lim quand n tend vers l'infini de l'intégrale de 0 à n de (1-x/n)^n dx
    (remplacer l'intégrale de 0 à n par une intégrale sur R+ en introduisant une indicatrice dans l'intégrale, puis conclure par CV dominée, la domination par exp(-x) est une inégalité de convexité).

    Les exercices :

    Ex 1 : Soit f : R -> R continue. On suppose qu'il existe a>0 tel que pour tout t dans R, |f(t)|<= exp(-a|t|). Montrer que la transformée de Fourier de f est développable en série entière au voisinage de 0.

    (Dans la définition de transformée de Fourier développer en série entière le e^(-ixt), ensuite il faut pouvoir intervertir série et intégrale : on considère cette même quantité avec des valeurs absolues pour pouvoir justifier l'interversion par Fubini, on se rend compte que pour x dans ]-a,a[ ça marche et que l'on peut intervertir ce qui nous donne un développement en série entière autour de 0).

    Ex 2 : Il me redéfinissent S(R), et me demandent de montrer que la transformée de Fourier est une bijection sur S(R). Puis si c'est le cas entre L^1(R) et C_0(R) ?

    (Pour montrer que pour f \in S(R), sa transformée de Fourier est dans S(R) il faut surtout savoir calculer la transformée de Fourier d'une dérivée (IPP), puis la dérivée d'une transformée de Fourier (dérivation sous l'intégrale), après en étant un peu soigneux sur les indices on s'en sort. La formule d'inversion de Fourier garantit le côté bijectif sur S(R). Sur L^1(R) -> C_0(R) ce n'est pas bijectif en vertu du théorème de l'application ouverte (ce th est difficile et le jury a acquiescé quand j'ai dis que je l'admettais) mais j'ai dit que l'on pouvait l'utiliser pour contredire la surjectivité, ça leur a suffit).

    Ex 3 : Soit (u_n) une suite de complexes et p>=1. On suppose que pour tout (v_n) dans l_p la série \sigma u_n v_n converger. Montrer que (u_n) appartient à l_q (où q est l'exposant conjugué de p)

    (je sèche un peu donc je commence à écrire l'inégalité de Holder pour des sommes finies, et là illumination je comprends que c'est un exemple d'utilisation de Banach-Steinhaus : il suffit de considérer la suite des applications linéaires qui sont des sommes partielles des u_k v_k pour n de plus en plus grand. Par Holder on peut calculer la norme d'opérateur de ces applications et conclure par Banach-Steinhaus que la suite des sommes partielles des |u_k|^q converge, ce qui revient à dire que (u_n) est dans l_q.)

    Ex 4 : Soit a > 0, pour x positif on pose u_n(x) = n^a*x*exp(-nx)/(1+n²). On note f la série de fonctions de terme général u_n. Déterminer une condition nécessaire et suffisante sur le paramètre a pour que f soit continue (à droite) en 0.

    (je propose de commencer par regarder quand est-ce qu'il y a convergence normale, ce qui permettrait de conclure. Après une petite étude des variations des fonctions u_n et l'utilisation du critère de Riemann on voit que pour a<2 on a convergence normale, donc continuité en 0. L'étude de ma norme infinie a fait apparaitre que le sup était réalisé pour des points de l'ordre de 1/n. Un jury m'incite donc à étudier la limite de f(1/n), un peu fatigué je n'ai pas été très adroit dans les majorations et l'oral c'est fini là-dessus mais en fait cette quantité diverge donc on a continuité ssi a<2.)

  • Quelle a été l'attitude du jury (muet/aide/cassant) ?

    Jury adorable, très souriant. Beaucoup de signes d'approbations pendant le développement puis les exercices.

  • L'oral s'est-il passé comme vous l'imaginiez ou avez-vous été surpris par certains points ? Cette question concerne aussi la préparation.

    Cela s'est déroulé comme je l'imaginais, après des petites questions pour vérifier que je savais échanger des intégrales avec des limites ils m'ont très vite fait confiance ce qui fait que quelques mots clés leur suffisaient souvent en guise de réponse à leur questions. Jury infiniment plus dynamique que l'algèbre la veille donc on a pu exploré bien plus de thèmes et j'ai pu répondre à bien plus de questions.

  • Note obtenue :

    19.25


2018 : Leçon 235 - Problèmes d’interversion de limites et d’intégrales.

  • Leçon choisie :

    235 : Problèmes d’interversion de limites et d’intégrales.

  • Autre leçon :

    245 : Fonctions holomorphes sur un ouvert de C . Exemples et applications.

  • Développement choisi : (par le jury)

    Equation de la chaleur sur un anneau

  • Autre(s) développement(s) proposé(s) :

    Pas de réponse fournie.

  • Liste des références utilisées pour le plan :

    Pas de réponse fournie.

  • Résumé de l'échange avec le jury (questions/réponses/remarques) :

    Nombreuses questions autour des séries de Fourier (j'avais mis peu de théorème sur ma feuille et j'étais allé un peu vite sur le développement). Rien de totalement hors des clous.

    On m'a demandé ce que j'aurais ajouté comme applications en plus (j'avais dit dans ma présentation que je n'avais pas pu tous les citer car la leçon est très dense et que je n'avais pas forcément eu la place d'être exhaustive dans cette partie) : j'ai répondu que l'on pouvait parlé de prolongement de fonctions, comme la fonction Gamma ou encore montrer que les polygones orthogonaux forment une base de L^2. C'était deux autres développements que j'avais préparé.

    J'ai eu des questions sur une de mes applications (dénombrement des solutions d'une équation diophantienne) qui utilisait juste un produit de Cauchy, notamment sur sa pertinence dans le plan.

    Pour finir, le jury qui avait l'air de beaucoup aimé les séries de Fourier m'a demandé de montré l'unicité de la solution de l'équation de la chaleur en utilisant la fonction énergie.

  • Quelle a été l'attitude du jury (muet/aide/cassant) ?

    Deux jurys fort sympathique et un troisième qui m'a posé l'essentiel des questions autour des séries de Fourier pas forcément toujours en douceur.

  • L'oral s'est-il passé comme vous l'imaginiez ou avez-vous été surpris par certains points ? Cette question concerne aussi la préparation.

    Les plans sont ramassée 10 minutes avant la fin, soit presque 20 minutes avant le passage devant le jury.

  • Note obtenue :

    9.25


Références utilisées dans les versions de cette leçon :

Calcul Intégral , Faraut (utilisée dans 46 versions au total)
Les contre-exemples en mathématiques , Hauchecorne (utilisée dans 55 versions au total)
Probabilités 2 , Ouvrard (utilisée dans 50 versions au total)
131 Développements pour l’oral, D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron (utilisée dans 90 versions au total)
Exercices de probabilités, M. Cottrell, V. Genon-Catalot, C.Duhamel et T. Meyre (utilisée dans 17 versions au total)
Suites et séries numériques, suites et séries de fonctions, El Amrani (utilisée dans 125 versions au total)
Analyse , Gourdon (utilisée dans 688 versions au total)
Analyse. Théorie de l'intégration, Briane, Pagès (utilisée dans 116 versions au total)
L'oral à l'agrégation de mathématiques - Une sélection de développements , Isenmann, Pecatte (utilisée dans 184 versions au total)
Analyse complexe et applications, Martine Queffélec, Hervé Queffélec (utilisée dans 37 versions au total)
Cours d'analyse fonctionnelle, Daniel Li (utilisée dans 81 versions au total)
Intégration et applications, Daniel Li (utilisée dans 10 versions au total)
Équations différentielles, Florent Berthelin (utilisée dans 86 versions au total)
Analyse Complexe,, Mohammed El Amrani (utilisée dans 143 versions au total)
Analyse pour l'agrégation, Queffelec, Zuily (utilisée dans 238 versions au total)
Analyse complexe pour la Licence 3, Tauvel (utilisée dans 120 versions au total)
Petit guide de calcul différentiel , Rouvière (utilisée dans 262 versions au total)
Elements d'analyse fonctionnelle cours et exercises avec réponses, F. Hirsch, G. Lacombe (utilisée dans 109 versions au total)
Oraux X-ENS Analyse 2 , Francinou, Gianella, Nicolas (utilisée dans 76 versions au total)
Oraux X-ENS Analyse 3, Francinou, Gianella, Nicolas (utilisée dans 32 versions au total)
Oraux X-ENS Analyse 4 , Francinou, Gianella, Nicolas (utilisée dans 68 versions au total)
Probabilités et statistiques pour l'épreuvre de modélisation à l'agrégation de mathématiques, Chabanol, Ruch (utilisée dans 69 versions au total)
Tout-en-un MP/MP*, Claude Deschamps (utilisée dans 40 versions au total)
Mathématiques Tout-en-un pour la Licence 2, Jean-Pierre Ramis, André Warusfel (utilisée dans 38 versions au total)
Analyse réelle et complexe , Rudin (utilisée dans 93 versions au total)
Objectif Agrégation, Beck, Malick, Peyré (utilisée dans 315 versions au total)
Analyse pour l'agrégation de mathématiques, 40 développements, Julien Bernis et Laurent Bernis (utilisée dans 169 versions au total)
Elements d'analyse réelle , Rombaldi (utilisée dans 126 versions au total)
Calcul intégral, Candelpergher (utilisée dans 37 versions au total)
Théorie des distributions , Bony (utilisée dans 8 versions au total)