Agreg-maths Dvpts Leçons Livres Retours
Se connecter S'inscrire

Utilisateur : NgocLam

Développements

Développement : Lemme de Goursat
L'intégrale d'une fonction continue, holomorphe sur un ouvert de C contenant un triangle – moins un point, sur le contour dudit triangle est nulle. La version du Rudine, les dessins en plus.'
Références :
Développement : Théorème de l'application ouverte
On prouve ensuite que les séries de Fourier ne sont pas une surjection.'
Références :
Développement : Z[sqrt(e)] est euclidien pour -3 < e < 4, avec des coniques
Télécharger
C'est du perso, mais quatre recasages, pas trop de difficulté, des coniques, ça n'a pas de prix...'
Références :
Développement : Théorème de la bijection continue, non-surjectivité de Fourier sur L1([0,1])
C'est trop long, mais on peut mettre l'accent sur la partie qu'on veut : - démo du lemme de Baire (Gourdon) - démo de l'application ouverte (Gourdon) - la norme L1 du noyau de Dirichlet diverge, donc Fper ne peut pas être bijective'
Références :
Analyse\r - Gourdon
Calcul intégral - Candelpergher
Développement : Fonctions de Liapounov et stabilité du cas autonome différentiable
Il faut recoller les morceaux, mais tout est dans le Berthelin'
Références :
Équations différentielles - Florent Berthelin
Développement : Formule de Stirling (par les intégrales de Wallis)
En s'inspirant de ce que fait le Gourdon pour obtenir Euler-Maclaurin on peut ajouter au début du dev un DA de log(n!) pour construire la formule de Stirling en qq étapes. Du coup plus de recasages (il y a notamment de la comparaison série intégrale et de la comparaison de séries divergentes)'
Références :

Leçons