Linéarisation de cos(x)^n

Discussions générales concernant les mathématiques.
[ce forum est modéré par les modérateurs globaux du site]
Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Pour obtenir de l'aide sur un exercice ou un problème, consulter cette section. (ce forum est destiné aux discussions plutôt théoriques)

Re: Linéarisation de cos(x)^n

Messagepar Mieses » Dimanche 26 Août 2018, 20:42

Bonjour, moi aussi j'ai utilisé cette formule avec la formule de Stirling pour montrer que

$$\int_{-\pi}^{\pi} cos^{2n} x dx \stackrel{\longrightarrow}{_{_{n \rightarrow +\infty}}} 0.$$


Mais il existe peut-être une méthode plus simple ?
Mieses
Utilisateur
 
Messages: 3
Inscription: Dimanche 26 Août 2018, 20:28
Statut actuel: Actif et salarié | Enseignant

Publicité

Re: Re:

Messagepar Mieses » Dimanche 26 Août 2018, 23:27

styren a écrit:
kojak a écrit:Bonjour,
Je ne pense pas que cette jolie formule serve dans la pratique : elle permet seulement de montrer comment peut s'écrire $\cos^n x$ tout simplement.
:wink:


J'ai longtemps cru que ce genre de formule ne sert à rien en pratique. Et un jour j'ai croisé cet exercice :
On pose $p=2n+1$ et l'on suppose que $p$ est premier. Montrer que

$$\mathopen{(}-1\mathclose{)}^{n}(2n)!\equiv2^{4n}\mathopen{(}n!\mathclose{)}^{2}\pmod{p^{2}}.$$



L'exercice est posé tel quel, sans aucune indication, dans un bouquin d'arithmétique de 1894.

Peux-tu détailler ta solution stp ?

Valvino a écrit:J'ai trouvé ca dans un livre (Analyse MPSI de J.M. Monier):



linéarisation de $\cos^p$.



Premier cas: $p$ est paire, on prend $p=2m,~m \in \mathbb{N}^*$



$\displaystyle \cos^{2m}(x)=2^{-(2m-1)}\left(1/2 {2m \choose m}+\sum_{k=0}^{m-1}{2m \choose k} \cos(2(m-k).x)\right)$



Deuxième cas: $p$ est impaire, $p=2m+1,~m\in\mathbb{N}^*$.





$\displaystyle \cos^{2m+1}(x)=2^{-2m}\sum_{k=0}^{m}{2m+1 \choose k} \cos((2m+1-2k).x)$

En faisant $x=0$ dans la seconde formule on a

$$2^{2m} = \sum_{k=0}^{m}\binom{2m+1}{k}.$$

Formule qu'on peut démontrer directement (bon exercice sur les coefficients binomiaux).
Mieses
Utilisateur
 
Messages: 3
Inscription: Dimanche 26 Août 2018, 20:28
Statut actuel: Actif et salarié | Enseignant

Re: Re:

Messagepar styren » Lundi 27 Août 2018, 10:52

Mieses a écrit:
styren a écrit:
kojak a écrit:Bonjour,
Je ne pense pas que cette jolie formule serve dans la pratique : elle permet seulement de montrer comment peut s'écrire $\cos^n x$ tout simplement.
:wink:


J'ai longtemps cru que ce genre de formule ne sert à rien en pratique. Et un jour j'ai croisé cet exercice :
On pose $p=2n+1$ et l'on suppose que $p$ est premier. Montrer que

$$\mathopen{(}-1\mathclose{)}^{n}(2n)!\equiv2^{4n}\mathopen{(}n!\mathclose{)}^{2}\pmod{p^{2}}.$$



L'exercice est posé tel quel, sans aucune indication, dans un bouquin d'arithmétique de 1894.

Peux-tu détailler ta solution stp ?


Ce n'est pas ma solution, mais celle de Frank Morley. L'article original est disponible à ce lien https://www.jstor.org/stable/1967516?se ... b_contents
styren
Déca-utilisateur
 
Messages: 47
Inscription: Vendredi 28 Juillet 2017, 22:29
Statut actuel: Actif et salarié | Enseignant

Re: Linéarisation de cos(x)^n

Messagepar Mieses » Lundi 27 Août 2018, 13:36

Merci pour cet article intéressant, ce n'est pas un résultat trivial !
Si je résume, il y a deux méthodes pour calculer $\int_{0}^{\frac{\pi}{2}} \cos^{2n+1}xdx$ :
  • C'est une intégrale de Wallis, on obtient une première formule par récurrence.
  • On linéarise le cosinus avec la formule qui nous intéresse dans ce sujet.
En comparant les deux calculs, on obtient la congruence annoncée. :clapping:
Mieses
Utilisateur
 
Messages: 3
Inscription: Dimanche 26 Août 2018, 20:28
Statut actuel: Actif et salarié | Enseignant

Re: Linéarisation de cos(x)^n

Messagepar styren » Lundi 27 Août 2018, 22:17

Mieses a écrit:Merci pour cet article intéressant, ce n'est pas un résultat trivial !
Si je résume, il y a deux méthodes pour calculer $\int_{0}^{\frac{\pi}{2}} \cos^{2n+1}xdx$ :
  • C'est une intégrale de Wallis, on obtient une première formule par récurrence.
  • On linéarise le cosinus avec la formule qui nous intéresse dans ce sujet.
En comparant les deux calculs, on obtient la congruence annoncée. :clapping:


En fait, Morley fait mieux que demandé dans l'exercice, puisqu'il remplace le modulo $p^2$ par un modulo $p^3$ (dans la deuxième partie de son article). Il existe d'autres démonstrations de ce résultat (mais aucune n'est simple). Voir "Morley congruence" dans google.
styren
Déca-utilisateur
 
Messages: 47
Inscription: Vendredi 28 Juillet 2017, 22:29
Statut actuel: Actif et salarié | Enseignant

Précédente

Retourner vers Tribune des mathématiques

Qui est en ligne

Utilisateurs parcourant ce forum: Bing [Bot] et 2 invités