Séries de Fourier - Inégalités Et Séries de Fourier

Embed Size (px)

Citation preview

  • 8/20/2019 Séries de Fourier - Inégalités Et Séries de Fourier

    1/3

    [http://mp.cpgedupuydelome.fr] dD édité le 14 juin 2011 Enoncés 1

    Inégalités et séries de Fourier

    Exercice 1   [ 00965 ]  [correction][Inégalité de Wirtinger]Soit f  : R→ C une fonction  2π  périodique de classe  C 1 telle que

       2π0

    f  = 0

    a) Relation entre cn(f )  et  cn(f ) ?

    b) Montrer que    2π0

    |f (t)|2

    dt

       2π0

    |f (t)|2

    dt

    et préciser les cas d’égalités.

    Exercice 2   [ 00433 ]  [correction][Inégalité de Poincaré]

    Soit f  : [0, 1] →R

     de classe  C 1

    vérifiant  f (0) = f (1) = 0. Etablir   10

    f (t)2 dt 1

    π2

       10

    (f (t))2

    dt

    Observer que la constante de majoration ne peut être améliorée.

    Exercice 3   [ 02752 ]  [correction]Soit f  : R→ R une fonction  2π-périodique de classe  C 1 et vérifiant

       2π0

    f (t) dt = 0

    Montrer que

    f 2∞ 

    π

    6

       2π0

    (f (t))2

    dt

  • 8/20/2019 Séries de Fourier - Inégalités Et Séries de Fourier

    2/3

    [http://mp.cpgedupuydelome.fr] dD édité le 14 juin 2011 Corrections 2

    Corrections

    Exercice 1 :  [énoncé]a) Puisque f   est C 1, on a par intégration par parties  cn(f 

    ) =  incn(f ).

    b) Puisque 2π0  f  = 0, on a  c0(f ) = 0. D’autre part

     2π0  f  = 0, donc c0(f 

    ) = 0.Par l’égalité de Parseval :

       2π0

    |f (t)|2 dt = 2π+∞

    n=−∞

    |cn(f )|2

    et    2π0

    |f (t)|2

    dt = 2π+∞

    n=−∞

    |cn(f )|

    2

    Or

    +∞n=−∞

    |cn(f )|2

    =+∞n=1

    |cn(f )|2

    + |c−n(f )|2

    +∞n=1

    |cn(f )|

    2+ |c−n(f 

    )|2

    =+∞

    n=−∞

    |cn(f )|

    donc    2π0

    |f (t)|2 dt

       2π0

    |f (t)|2

    dt

    avec égalité si, et seulement si,

    ∀n ∈ Z, |cn(f )| = |cn(f )| = n |cn(f )|

    Ceci implique cn(f ) = 0  pour tout  n  = ±1  et, puisque la série convergenormalement vers  f , f  est de la forme  t  → λeit + µe−it.La réciproque est immédiate.

    Exercice 2 :  [énoncé]

    Considérons la fonction  g  définie sur  [−π, π]  par

    g(x) =

      f (t/π)   si t  ∈ [0, π]−f (−t/π)   si t  ∈ [−π, 0[

    La fonction g  est continue en 0 car  f (0) = 0.Par construction la fonction g  est impaire.La fonction g   est de classe  C 1 sur [−π, π] car  g d(0) =

      1

    πf (0) = gg(0).

    Puisque g(π) =  f (1) = 0 =  g(−π), on peut prolonger la fonction  g  en une fonction2π-périodique et cette fonction est encore de classe  C 1 cargg(π) =

      1

    πf (1) = gd(−π).

    Enfin, par imparité de  g    π−π

    g(x) dx = 0

    En vertu de l’inégalité de Wirtinger

       π

    −π

    g(x)2 dx    π

    −π

    g(x)2 dx

    Par parité, on en déduit

       π0

    g(x)2 dx

       π0

    g(x)2 dx

    Puis on obtient alors facilement

       10

    f (t)2 dt 1

    π2

       10

    (f (t))2

    dt

    Pour  f (t) = sin(πt)  les hypothèses sont vérifiées avec

       10

    f (t)2 dt =  12

      et   10

    (f (t))2 dt =  π2

    2

    La constante de majoration ne peut donc être améliorée.

    Exercice 3 :  [énoncé]Par le théorème de convergence normale, la fonction  f  est égale à la somme de sasérie de Fourier ce qui permet d’écrire

    f (t) =+∞

    n=−∞

    cn(f )eint

    avec c0(f ) = 0 car la fonction  f  est supposée d’intégrale nulle.Sachant  cn(f ) =  incn(f ), on a encore

    f (t) =n∈Z

    1

    incn(f 

    )eint

    Par l’inégalité de Cauchy-Schwarz

    |f (t)|2 n∈Z

    1

    n2

    n∈Z

    |cn(f )|

    2

  • 8/20/2019 Séries de Fourier - Inégalités Et Séries de Fourier

    3/3

    [http://mp.cpgedupuydelome.fr] dD édité le 14 juin 2011 Corrections 3

    Or n∈Z

    1

    n2  = 2

    +∞n=1

    1

    n2  =

     π2

    3

    et par la formule de Parseval

    n∈Z

    |cn(f 

    )|

    2

    +∞

    n=−∞

    |cn(f 

    )|

    2

    =

      1

    2π   2π0 (f 

    (t))

    2

    dt

    On en déduit

    |f (t)|2 π

    6

       2π0

    (f (t))2

    dt

    et l’on peut donc conclure.