Inégalité de Wirtinger

Inégalité de Wirtinger

En mathématiques et plus précisément en analyse, l'inégalité de Wirtinger compare la valeur moyenne du carré d'une fonction continument dérivable avec la moyenne du carré de sa dérivée.

Elle est utilisée en géométrie, par exemple Adolf Hurwitz l'a utilisée en 1904 pour établir un théorème isopérimétrique[1] ; elle est aussi utilisée dans la théorie des séries de Fourier. 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.

Sommaire

Énoncé

Soient a, b deux réels tels que a<b, et f une fonction continue et de classe C1 par morceaux sur [a, b], à valeurs complexes.

Si l'intégrale de f entre a et b est nulle et si f(b)=f(a) alors la majoration suivante, dite inégalité de Wirtinger est vérifiée :
\int_a^b |f(t)|^2 dt \leq \left(\frac{b-a}{2\pi}\right)^2\int_a^b |f'(t)|^2 dt

Cas d'égalité

Le seul cas d'égalité est celui où il existe deux nombres complexes α et β tels que :

\forall t \in [a,b] \quad f(t)=\alpha \cos(\omega t)+\beta \sin(\omega t) \quad\text{avec}\quad \omega = \frac {2\pi}{b-a}

Démonstration

Il existe de nombreuses manières de démontrer ce résultat ; la plus simple utilise la théorie des séries de Fourier[2]. Quitte à effectuer un changement de variable affine convenable, on peut limiter la démonstration au cas a = 0 et b = 2π.

D'après les hypothèses, f et sa dérivée appartiennent toutes deux à l'espace de Hilbert L2([0, 2π]) des fonctions dont le module au carré est intégrable sur [0, 2π]. L'égalité de Parseval donne donc :

\frac 1{2\pi}\int_0^{2\pi}|f(t)|^2 dt = \|f\|^2 = \sum_{n\in\mathbb Z}|c_n|^2\qquad\text{et}\qquad\frac 1{2\pi}\int_0^{2\pi}|f'(t)|^2 dt = \|f'\|^2 = \sum_{n\in\mathbb Z}|d_n|^2,

avec

c_n=\frac 1{2\pi}\int_0^{2\pi} f(t)e^{-int}dt\quad\text{et}\quad d_n=\frac 1{2\pi}\int_0^{2\pi} f'(t)e^{-int}dt,\quad\text{en particulier}\quad c_0=d_0=0.

De plus, une intégration par parties montre que :

d_n = \frac 1{2\pi}\int_0^{2\pi}f'(t) e^{-int} dt = \frac 1{2\pi}\Big[f(t)e^{-int}\Big]_0^{2\pi} + \frac {in}{2\pi}\int_0^{2\pi}f(t) e^{-int}dt = inc_n.

On en déduit donc :

\int_0^{2\pi}|f'(t)|^2 dt=2\pi\sum_{n\in\Z^*}|nc_n|^2\ge 2\pi\sum_{n\in\Z^*}|c_n|^2=\int_0^{2\pi}|f(t)|^2 dt

et l'inégalité est stricte, sauf si les cn sont nuls pour tout n différent de 1 et de -1.

Notes et références

  1. ↑ (en) Wirtinger's inequality sur le site planetmath.org
  2. ↑ C'est par exemple le choix de : Marcel Berger et Bernard Gostiaux, Géométrie différentielle : variétés, courbes et surfaces [détail des éditions]  p 345

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Inégalité de Wirtinger de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Inegalite de Wirtinger — Cette page a été supprimée. Le journal des suppressions et des déplacements est affiché ci dessous pour référence. 22 novembre 2011 à 08:39 Jules78120 (discuter | contributions) a supprimé « Inegalite de Wirtinger » ‎ (Redirection cassée, inutile …   Wikipédia en Français

  • Inégalité De Wirtinger — Cette page a été supprimée. Le journal des suppressions et des déplacements est affiché ci dessous pour référence. 22 novembre 2011 à 08:39 Jules78120 (discuter | contributions) a supprimé « Inégalité De Wirtinger » ‎ (Redirection cassée, inutile …   Wikipédia en Français

  • Inégalité de wirtinger — Cette page a été supprimée. Le journal des suppressions et des déplacements est affiché ci dessous pour référence. 22 novembre 2011 à 08:39 Jules78120 (discuter | contributions) a supprimé « Inégalité de wirtinger » ‎ (Redirection cassée, inutile …   Wikipédia en Français

  • Inégalité de Poincaré-Wirtinger — Inégalité de Poincaré En mathématiques, l Inégalité de Poincaré (du nom du mathématicien français Henri Poincaré) est un résultat de la Théorie des espaces de Sobolev. Cette inégalité permet de borner une fonction à partir d une estimation sur… …   Wikipédia en Français

  • Inégalité de Poincaré — En mathématiques, l inégalité de Poincaré (du nom du mathématicien français Henri Poincaré) est un résultat de la théorie des espaces de Sobolev. Cette inégalité permet de borner une fonction à partir d une estimation sur ses dérivées et de la… …   Wikipédia en Français

  • Lemme de Wirtinger — Inégalité de Wirtinger En mathématiques et plus précisément en analyse, l inégalité de Wirtinger compare la valeur moyenne du carré d une fonction continument dérivable avec la moyenne du carré de sa dérivée. Elle est utilisée en géométrie, par… …   Wikipédia en Français

  • Wilhelm Wirtinger — Naissance 15 juillet 1865 Ybbs an der Donau (Basse Autriche) ( …   Wikipédia en Français

  • Theoreme isoperimetrique — Théorème isopérimétrique En géométrie, un théorème isopérimétrique traite d une question concernant les compacts d un espace métrique muni d une mesure. Un exemple simple est donné par les compacts d un plan euclidien. Les compacts concernés sont …   Wikipédia en Français

  • Théorème isopérimétrique — En géométrie, un théorème isopérimétrique traite d une question concernant les compacts d un espace métrique muni d une mesure. Un exemple simple est donné par les compacts d un plan euclidien. Les compacts concernés sont ceux de mesures finies… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”