« Inégalité de Wirtinger » : différence entre les versions

Navigation interactive dans l’historique

← Modification précédente Modification suivante →

Contenu supprimé Contenu ajouté

Intégrés

Version du 16 mai 2024 à 15:10

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.

Énoncé

Soient $a, b$ deux réels tels que $a < b$ , et $f$ une fonction continue et de classe C¹ 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}\,\mathrm {d} t\leq \left({\frac {b-a}{2\pi }}\right)^{2}\int _{a}^{b}|f'(t)|^{2}\,\mathrm {d} t$

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 L²([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}\,\mathrm {d} t=\|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}\,\mathrm {d} t=\|f'\|^{2}=\sum _{n\in \mathbb {Z} }|d_{n}|^{2},

avec

c_{n}={\frac {1}{2\pi }}\int _{0}^{2\pi }f(t)\mathrm {e} ^{-\mathrm {i} nt}dt\quad {\text{et}}\quad d_{n}={\frac {1}{2\pi }}\int _{0}^{2\pi }f'(t)\mathrm {e} ^{-\mathrm {i} nt}\,\mathrm {d} t,\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)\mathrm {e} ^{-\mathrm {i} nt}\,\mathrm {d} t={\frac {1}{2\pi }}\left[f(t)\mathrm {e} ^{-\mathrm {i} nt}\right]_{0}^{2\pi }+{\frac {\mathrm {i} n}{2\pi }}\int _{0}^{2\pi }f(t)\mathrm {e} ^{-\mathrm {i} nt}dt=\mathrm {i} nc_{n}.

On en déduit donc :

\int _{0}^{2\pi }|f'(t)|^{2}\,\mathrm {d} t=2\pi \sum _{n\in \mathbb {Z} ^{*}}|nc_{n}|^{2}\geq 2\pi \sum _{n\in \mathbb {Z} ^{*}}|c_{n}|^{2}=\int _{0}^{2\pi }|f(t)|^{2}\,\mathrm {d} t

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

Notes et références

↑ (en) « Wirtinger's inequality », sur PlanetMath.
↑ 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

Portail de l'analyse

[1] (en) « Wirtinger's inequality », sur PlanetMath.

[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

[1]

[2]

@@ Ligne 5 : / Ligne 5 : @@
 == Énoncé ==
-Soient ''a, b'' deux réels tels que ''a''<''b'', et ''f'' une fonction continue et de classe ''C''<sup>1</sup> par morceaux sur [''a'', ''b''], à valeurs complexes.
+Soient {{math|''a'', ''b''}} deux réels tels que {{math|''a'' < ''b''}}, et {{mvar|f}} une fonction continue et de classe ''C''<sup>1</sup> par morceaux sur {{math|[''a'', ''b'']}}, à valeurs complexes.
-{{énoncé|1=Si l'intégrale de ''f'' entre ''a'' et ''b'' est nulle et si {{math|''f''(''b''){{=}}''f''(''a'')}} alors la majoration suivante, dite '''inégalité de Wirtinger''' est vérifiée :
+{{énoncé|1=Si l'intégrale de {{mvar|f}} entre {{mvar|a}} et {{mvar|b}} est nulle et si {{math|''f''(''b''){{=}}''f''(''a'')}} alors la majoration suivante, dite '''inégalité de Wirtinger''' est vérifiée :
-<center><math> \int_a^b |f(t)|^2 dt \leq \left(\frac{b-a}{2\pi}\right)^2\int_a^b |f'(t)|^2 dt</math></center>}}
+<center><math> \int_a^b |f(t)|^2\,\mathrm{d}t \leq \left(\frac{b-a}{2\pi}\right)^2\int_a^b |f'(t)|^2\,\mathrm{d}t</math></center>}}
 == Cas d'égalité ==
@@ Ligne 14 : / Ligne 14 : @@
 == Démonstration ==
-Il existe de nombreuses manières de démontrer ce résultat ; la plus simple utilise la théorie des [[série de Fourier|séries de Fourier]]<ref>C'est par exemple le choix de : {{BergerGostiaux1}} {{p.|345}}</ref>. Quitte à effectuer un changement de variable affine convenable, on peut limiter la démonstration au cas ''a''&nbsp;=&nbsp;0 et ''b''&nbsp;=&nbsp;2π.
+Il existe de nombreuses manières de démontrer ce résultat ; la plus simple utilise la théorie des [[série de Fourier|séries de Fourier]]<ref>C'est par exemple le choix de : {{BergerGostiaux1}} {{p.|345}}</ref>. [[Sans perte de généralité|Quitte à effectuer un changement de variable affine convenable]], on peut limiter la démonstration au cas ''a''&nbsp;=&nbsp;0 et ''b''&nbsp;=&nbsp;2π.
-D'après les hypothèses, ''f'' et sa dérivée appartiennent toutes deux à l'[[espace de Hilbert]] ''L''<sup>2</sup>([0, 2π]) des fonctions dont le module au carré est intégrable sur [0, 2π]. L'[[égalité de Parseval]] donne donc :
+D'après les hypothèses, {{mvar|f}} et sa dérivée appartiennent toutes deux à l'[[espace de Hilbert]] ''L''<sup>2</sup>([0, 2π]) des fonctions dont le module au carré est intégrable sur [0, 2π]. L'[[égalité de Parseval]] donne donc :
-:<math>\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,</math>
+:<math>\frac 1{2\pi}\int_0^{2\pi}|f(t)|^2\,\mathrm{d}t = \|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\,\mathrm{d}t = \|f'\|^2 = \sum_{n\in\mathbb Z}|d_n|^2,</math>
 avec
-:<math>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.</math>
+:<math>c_n=\frac 1{2\pi}\int_0^{2\pi} f(t)\mathrm{e}^{-\mathrm{i}nt}dt\quad\text{et}\quad d_n=\frac 1{2\pi}\int_0^{2\pi} f'(t)\mathrm{e}^{-\mathrm{i}nt}\,\mathrm{d}t,\quad\text{en particulier}\quad c_0=d_0=0.</math>
 De plus, une [[intégration par parties]] montre que :
-:<math>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.</math>
+:<math>d_n = \frac 1{2\pi}\int_0^{2\pi}f'(t) \mathrm{e}^{-\mathrm{i}nt}\,\mathrm{d}t = \frac 1{2\pi}\left[f(t)\mathrm{e}^{-\mathrm{i}nt}\right]_0^{2\pi} + \frac {\mathrm{i}n}{2\pi}\int_0^{2\pi}f(t)\mathrm{e}^{-\mathrm{i}nt}dt = \mathrm{i}nc_n.</math>
 On en déduit donc :
-:<math>\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</math>
+:<math>\int_0^{2\pi}|f'(t)|^2\,\mathrm{d}t=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\,\mathrm{d}t</math>
-et l'inégalité est stricte, sauf si les ''c''<sub>n</sub> sont nuls pour tout ''n'' différent de 1 et de -1.
+et l'inégalité est stricte, sauf si les ''c''<sub>n</sub> sont nuls pour tout ''n'' différent de 1 et de –1.
 == Notes et références ==