Inégalité de Wirtinger
Un article de Wikipédia, l'encyclopédie libre.
L'inégalité de Wirtinger permet de comparer une fonction périodique centrée (c'est-à-dire de valeur moyenne nulle) et sa dérivée. Elle est issue de la théorie des séries de Fourier, et notamment de l'égalité de Parseval.
Intuitivement, la dérivation amplifie les différents termes du spectre en fréquence, et ce d'autant plus qu'ils sont d'ordre plus élevé. Donc l'énergie totale du signal dérivé est plus forte que celle du signal initial.
[modifier] Énoncé de l'inégalité
Soit f une fonction 2π-périodique, de moyenne nulle, de classe 
par morceaux et continue. Alors
Démonstration : ces hypothèses permettent, par intégration par parties, d'écrire le lien entre les coefficients de Fourier de f et de sa dérivée cn(f') = incn(f). Puis on écrit l'égalité de Parseval pour ces deux fonctions :
[modifier] Cas d'égalité
Soit f une fonction 2π-périodique, de moyenne nulle, de classe par morceaux et continue. Si ||f||=||f'||, alors f est une fonction sinusoïdale
Démonstration : on reprend la formule du paragraphe précédent et comme tous les termes de la somme sont positifs, ils doivent tous s'annuler. Ainsi pour tout relatif n, (n2 − 1) | cn(f) | 2 = 0. Ou encore : pour tout relatif n autre que 1 ou -1, cn(f) = 0. On reconnaît les coefficients de Fourier d'un polynôme trigonométrique de degré 1.
[modifier] Voir aussi
- séries de Fourier
- égalité de Parseval
- théorème isopérimétrique, qui utilise cette inégalité
 |
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |
