Analyse Fonctionnelle

Master 1 MFA, années 20{12,13,14,15,16}. (c’est fini)

Le programme est celui d’un cours classique d’analyse fonctionnelle

  • rappel et complément sur les espaces métriques, les espaces vectoriels normés, théorème de Stone-Weierstrass, Ascoli-Arzelà (ces deux théorèmes sont rédigés dans ce document)
  • Théorème de Baire et ses conséquences (Banach-Steinhaus, application ouverte, graphe fermé)
  • Théorème de Hahn-Banach, version analytique, version géométrique
  • Topologie faible, faible*
  • Espace \(L^p\)

La durée du cours est 24h, soit 12 séances de 2h.

Archives

Les travaux dirigés sont donnés par Jean-Baptiste Bardet et Olivier Benois. Les fiches de TD et quelques documents se trouvent donc sur sa page.

Plan détaillé
  • Chapitre 0 (révisions et éventuellement compléments de topologie dans les métriques ou les normés)
    • espace métrique, définitions usuelles (convergence, suite de Cauchy, complet, séparable), caractérisation de l’adhérence via les suites, compacité (équivalence avec la caractérisation via les suites), Tychonov
    • evn : définitions usuelles, exemples \(l^p\), équivalence de normes
      • applications linéaires, continuité, norme sur l’ensemble des applications linéaires continues
      • Lemme de Riesz : si \(F\) sev fermé strict de \(E\) alors pour tout \(\varepsilon>0\) il existe \(x_\varepsilon\in E\) de norme 1 et tel que \(d(x_\varepsilon,F)\geq 1-\varepsilon\)
      • Banach : définition et caractérisation via les séries absolument convergentes
      • si \(F\) est un Banach alors \(\mathcal{L}(E,F)\) muni de la norme de l’opérateur est un Banach
      • Dimension finie vs dimension infinie : toutes les normes sont équivalentes en dimension finie. Théorème : \(E\) de dimension finie si et seulement la boule unité est compacte
    • Stone-Weierstrass : énoncé en cours, preuve donnée dans un polycopié
    • Arzelà-Ascoli : énoncé en cours, preuve donnée dans un polycopié
  • Chapitre 1 : Baire et ses conséquences
    • Lemme de Baire
    • Théorème de Banach-Steinhaus
      • le théorème
      • si \((T_n)\) suite d’opérateurs continus de \(E\) dans \(F\) (deux Banach) converge ponctuellement alors sa limite est un opérateur continue et on a une majoration de la norme de cette limite.
      • toute famille de \(E'\) ponctuellement bornée est uniformément bornée.
    • Application ouverte
    • Graphe fermé
    • Conséquences : théorème d’isomorphisme de Banach. Si \(E\) muni de des normes \(N_1\) et \(N_2\) est un Banach et que \(N_1 \leq K N_2\) alors \(N_1\) est \(N_2\) sont équivalentes.
  • Chapitre 2 : Hahn-Banach
    • Lemme de Zorn (énoncé)
    • Théorème de Hahn-Banach (forme analytique). Conséquences
      • extension d’une application linéaire continue sur un sev de \(E\)
      • pour tout \(x\) dans \(E\) il existe \(f\in E'\) de norme 1 telle que \(f(x)=\|x\|\)
      • \(\| x\|_E=\max_{f\in E', \| f\| \leq 1 } \vert f(x)\vert\).
      • si \(G\) borné à travers \(E'\) alors \(G\) borné (à l’aide de Banach-Steinhaus et Hahn-Banach)
    • Théorème de Hahn-Banach (forme géométrique).
      • définitions : hyperplan affine, séparation au sens large ou au sens strict, jauge d’un convexe
      • 1ère forme géométrique : séparation au sens large d’un convexe ouvert et d’un convexe
      • 2nde forme géométrique : séparation au sens strict d’un convexe compact et d’un convexe fermé
    • Quelques conséquences : un critère de densité d’une partie de \(E\), une partie de \(E\) bornée à travers \(E''\) est bornée
  • Chapitre 3 : \(L^p\)
    • rappels élémentaires : \(L^p\) pour \(p\geq 1\) (structure d’e.v.), \(0 < p < 1\) (structure d’e.v.) et \(p < 0\) (pas de structure d’e.v.)
    • le cas qui va bien : \(1\leq p \leq + \infty\) dans la suite du cours
      • Inégalités de Hölder, de Minkowski (+cas d’égalité), de Hölder généralisée
      • \(L^p\) est un e.v.n avec la norme qui va bien
      • résultats divers
      • théorème de Riesz-Fischer, la convergence forte entraîne à une sous-suite près la convergence presque-partout
      • fonctions simples : définition, densité dans \(L^p\), résultats divers
    • Convergence faible - dualité dans \(L^p\)
      • définition de la convergence faible dans \(L^p\) (faible-\(*\) si \(p=\infty\))
      • exemple
      • toute suite qui converge faiblement est bornée, la norme est semi-continue inférieurement par rapport à la convergence faible (\(1<p<\infty\)),
      • dualité : théorème de représentation de Riesz. La preuve utilise des arguments élémentaires pour \(1<p<\infty\)
        • l’uniforme convexité de \(L^p\) (\(1<p<+\infty\)) (démontrée par des inégalités et la caractérisation de l’uniforme convexité par les suites)
        • un lemme de Mac Shane : grosso modo un élément de \(E'\)qui réalise sa norme en un élément et si la norme est Gâteaux différentiable en cet élément alors on peut représenter l’opérateur
        • dans un Banach uniformément convexe tout élément de $E’$ réalise sa norme en unique élément de norme 1
        • la norme-\(p\) est Gâteaux differentiable et on en a l’expression via le théorème de convergence dominée de Lebesgue
      • le dual de \(L^\infty\) n’est pas \(L^1\)
      • convergence faible et convergence en norme entraîne convergence forte
      • Cas de la mesure de Lebesgue
        • \(L^p\) séparable pour \(1\leq p < +\infty\)
        • densité des fonctions continues à support compact
        • \(L^\infty\) n’est pas séparable
        • extraction de sous-suite bornée (énoncée mais démonstration dans le chapitre suivant)
  • Chapitre 4 : topologie faible, faible-\(*\), espace réflexif, séparable
    • Topologie faible :
      • définition de la topologie la moins fine rendant continue tous les éléments de \(E'\)
      • base de voisinage
      • la topologie faible est séparée
      • propriétés sur la convergence faible et forte
      • la topologie faible et forte coïncident en dimension finie. Mais en dimension finie ce n’est pas le cas car tout voisinage de l’origine pour la topologie faible contient un s.e.v. de dimension infinie
      • convexité et topologie faible : Mazur ou un convexe est faiblement fermé ssi il est fortement fermé.
    • Espace réflexif
      • Définition : comment injecter \(E\) dans le bidual \(E''\) via \(J\)
      • exemples
      • un s.e.v. propre et fermé d’un Banach réflexif est réflexif
      • \(E\) réflexif ssi \(E'\) réflexif
      • topologie faible et espace réflexif : de toute suite borné de \(E\) (Banach) réflexif on peut extraire une sous suite qui converge faiblement. (la version \(L^p\) est donc démontrée)
    • Topologie faible-\(*\)
      • base de voisinage
      • la topologie faible-\(*\) est séparée
      • propriétés sur la convergence faible, faible-\(*\) et forte
      • un élément de \(E''\) continue pour la topologie faible-\(*\) est de la forme \(J_x\), \(x\in E\).
      • Théorème de Alaoglu
Références
  • Analyse fonctionnelle. Théorie et applications. H. Brézis. Le polycopié d’exercices est disponible à la bibliothèque de Jussieu (et se trouve sur Internet). La version anglaise récente contient des exercices.
  • Real Analysis. E. DiBenedetto. Ce livre contient notamment un chapitre sur les espaces de Banach et les résultats principaux d’analyse fonctionnelle.
  • Éléments d’analyse fonctionnelle. F. Hirsch et G. Lacombe. Une approche différente de celle du livre de Brézis.
  • Analyse fonctionnelle. Exercices corrigés. G. Lacombe et P. Massat. (le livre d’exercices associé au livre de Hirsch et Lacombe)
  • Analyse fonctionnelle et théorie des opérateurs. J. Charles, M. Mbekhta et H. Queffélec. C’est un rappel de cours et des exercices corrigés.
  • Principles of functional analysis. M. Schechter.
  • Analyse fonctionnelle. B. Maury. Ce livre regroupe un rappel de cours, des exercices et des problèmes corrigés.