Sauter au contenu

Section 5.4 Séries de sinus et de cosinus

Sous-section Fonctions périodiques paires et impaires

Vous avez peut-être remarqué qu’une fonction impaire n’a pas de termes en cosinus dans la série de Fourier et qu’une fonction paire n’a pas de termes en sinus dans la série de Fourier. Cette observation n’est pas une coïncidence. Regardons les fonctions périodiques paires et impaires plus en détail.
Rappelons-nous qu’une fonction \(f(t)\) est impaire si \(f(-t) = -f(t)\text{.}\) Une fonction \(f(t)\) est paire si \(f(-t) = f(t)\text{.}\) Par exemple, \(\cos (n t)\) est paire, et \(\sin (n t)\) est impaire. De même, la fonction \(t^k\) est paire si \(k\) est pair, et impaire si \(k\) est impair.

Exercice 5.4.1.

Prenez deux fonctions \(f(t)\) et \(g(t)\text{,}\) et définissez leur produit \(h(t) = f(t)g(t)\text{.}\)
  1. Supposez que \(f(t)\) et \(g(t)\) sont impaires. Est-ce que \(h(t)\) est impaire ou paire?
  2. Supposez que l’une est paire et que l’autre est impaire. Est-ce que \(h(t)\) est impaire ou paire?
  3. Supposez que les deux sont paires. Est-ce que \(h(t)\) est impaire ou paire?
D’une part, si \(f(t)\) et \(g(t)\) sont toutes les deux impaires, alors \(f(t)+g(t)\) est impaire. De même pour des fonctions paires. D’autre part, si \(f(t)\) est impaire et que \(g(t)\) est paire, alors on ne peut rien dire sur la somme \(f(t) + g(t)\text{.}\) En fait, une série de Fourier est la somme d’une fonction impaire (les termes sinus) et d’une fonction paire (les termes cosinus).
Dans cette section, on considère les fonctions périodiques impaires et paires. On a défini précédemment l’extension \(2L\)-périodique de la fonction définie sur l’intervalle \([-L,L]\text{.}\) Parfois, on s’intéresse seulement aux fonctions dans l’intervalle \([0,L]\text{,}\) et ce serait pratique pour avoir une fonction impaire (resp. paire). Si la fonction est impaire (resp. paire), tous les termes cosinus (resp. sinus) disparaissent. Ce que nous allons faire est prendre l’extension impaire (resp. paire) de la fonction à \([-L,L]\) puis l’étendre périodiquement à une fonction \(2L\)-périodique.
On prend une fonction \(f(t)\) définie sur \([0,L]\text{.}\) Sur \((-L,L]\text{,}\) on définit :
\begin{align*} F_{\text{ impaire } }(t) \amp \overset{\text{ déf } }{=} \begin{cases} f(t) \amp \text{ si } \; 0 \leq t \leq L \\ -f(-t) \amp \text{ si } \; {-L} \lt t \lt 0 , \end{cases}\\ F_{\text{ paire } }(t) \amp \overset{\text{ déf } }{=} \begin{cases} f(t) \amp \text{ si } \; 0 \leq t \leq L \\ f(-t) \amp \text{ si } \; {-L} \lt t \lt 0 . \end{cases} \end{align*}
On étend \(F_{\text{ impaire } }(t)\) et \(F_{\text{ paire } }(t)\) à des fonctions \(2L\)-périodique. Alors, \(F_{\text{ impaire } }(t)\) est appelée l’extension périodique impaire de \(f(t)\text{,}\) et \(F_{\text{ paire } }(t)\) est appelée l’extension périodique paire de \(f(t)\text{.}\) Pour l’extension impaire, on suppose généralement que \(f(0) = f(L) = 0\text{.}\)

Exercice 5.4.2.

Vérifiez que \(F_{\text{ impaire } }(t)\) est impaire et que \(F_{\text{ paire } }(t)\) est paire. Pour \(F_{\text{ impaire } }\text{,}\) supposez que \(f(0) = f(L) = 0\text{.}\)

Exemple 5.4.3.

Prenons la fonction \(f(t) = t\,(1-t)\) définie sur \([0,1]\text{.}\) La Figure 5.4.4 montre les graphes des extensions périodiques impaires et paires de \(f(t)\text{.}\)
Figure 5.4.4. Extension 2-périodique impaire et paire de \(f(t) = t(1-t)\text{,}\) \(0 \leq t \leq 1\text{.}\)

Sous-section Séries sinus et cosinus

Soit \(f(t)\) une fonction \(2L\)-périodique impaire. On écrit la série de Fourier pour \(f(t)\text{.}\) Tout d’abord, on calcule les coefficients \(a_n\) (incluant \(n=0\)) et l’on obtient
\begin{equation*} a_n = \frac{1}{L} \int_{-L}^L f(t) \cos \left( \frac{n \pi}{L} t \right) \, dt = 0\text{.} \end{equation*}
Autrement dit, il n’y a pas de terme cosinus dans la série de Fourier d’une fonction impaire. L’intégrale est nulle, car \(f(t) \cos \left( {n \pi}{L} t \right)\) est une fonction impaire (le produit d’une fonction impaire et d’une fonction paire est impair), et l’intégrale d’une fonction impaire sur un intervalle symétrique est toujours égale à zéro. L’intégrale d’une fonction paire sur un intervalle symétrique \([-L,L]\) est le double de l’intégrale de la fonction sur l’intervalle \([0,L]\text{.}\) La fonction \(f(t) \sin \left( \frac{n \pi}{L} t \right)\) est le produit de deux fonctions impaires et est donc paire.
\begin{equation*} b_n = \frac{1}{L} \int_{-L}^L f(t) \sin \left( \frac{n \pi}{L} t \right) \, dt = \frac{2}{L} \int_{0}^L f(t) \sin \left( \frac{n \pi}{L} t \right) \, dt \end{equation*}
On écrit maintenant la série de Fourier de \(f(t)\) comme
\begin{equation*} \sum_{n=1}^\infty b_n \sin \left( \frac{n \pi}{L} t \right)\text{.} \end{equation*}
De même si \(f(t)\) est une fonction \(2L\)-périodique paire. Pour la même raison que ci-dessus, on constate que \(b_n = 0\) et que
\begin{equation*} a_n = \frac{2}{L} \int_{0}^L f(t) \cos \left( \frac{n \pi}{L} t \right) \, dt\text{.} \end{equation*}
La formule fonctionne toujours pour \(n=0\text{,}\) auquel cas on obtient
\begin{equation*} a_0 = \frac{2}{L} \int_{0}^L f(t) \, dt\text{.} \end{equation*}
La série de Fourier est alors
\begin{equation*} \frac{a_0}{2} + \sum_{n=1}^\infty a_n \cos \left( \frac{n \pi}{L} t \right)\text{.} \end{equation*}
Une conséquence intéressante est que les coefficients de la série de Fourier d’une fonction impaire (ou paire) peuvent être calculés en intégrant simplement sur la moitié de l’intervalle \([0,L]\text{.}\) Par conséquent, on peut calculer la série de Fourier de l’extension impaire (ou paire) d’une fonction en calculant certaines intégrales sur l’intervalle où la fonction d’origine est définie.
On appelle la série \(\sum_{n=1}^\infty b_n \sin \left( \frac{n \pi}{L} t\right)\) la série sinus de \(f(t)\) et l’on appelle la série \(\frac{a_0}{2} + \sum_{n=1}^\infty a_n \cos \left( \frac{n \pi}{L} t \right)\) la série cosinus de \(f(t)\text{.}\) On ne se soucie pas souvent de ce qui se passe en dehors de \([0, L]\text{.}\) Dans ce cas, on choisit la série qui correspond le mieux au problème.
Il n’est pas nécessaire de commencer par la série de Fourier complète pour obtenir les séries de sinus et de cosinus. La série sinus est en réalité le développement des fonctions propres de \(f(t)\) en utilisant les fonctions propres du problème de valeurs propres \(x''+\lambda x = 0\text{,}\) \(x(0) = 0\text{,}\) \(x(L) = L\text{.}\) La série cosinus est le développement des fonctions propres de \(f(t)\) en utilisant les fonctions propres du problème de valeurs propres \(x''+\lambda x = 0\text{,}\) \(x'(0) = 0\text{,}\) \(x'(L) = L\text{.}\) On aurait donc pu obtenir les mêmes formules en définissant le produit intérieur
\begin{equation*} \langle f(t), g(t) \rangle = \int_0^L f(t) g(t) \, dt \end{equation*}
et en suivant la procédure de Section 5.2. Ce point de vue est utile, car on utilise couramment une série spécifique qui est née de la question sous-jacente qui a conduit à un certain problème de valeurs propres. Si la valeur propre du problème n’est pas l’une des trois que nous avons abordées jusqu’à présent, on peut toujours faire un développement des fonctions propres en généralisant les résultats de ce chapitre (voir les références pour en savoir plus).

Exemple 5.4.6.

Trouvons la série de Fourier de l’extension périodique paire de la fonction \(f(t) = t^2\) pour \(0 \leq t \leq \pi\text{.}\)
On veut écrire
\begin{equation*} f(t) = \frac{a_0}{2} + \sum_{n=1}^\infty a_n \cos (n t)\text{,} \end{equation*}
\begin{equation*} a_0 = \frac{2}{\pi} \int_0^\pi t^2 \, dt = \frac{2 \pi^2}{3} \end{equation*}
et
\begin{equation*} \begin{split} a_n \amp = \frac{2}{\pi} \int_0^\pi t^2 \cos (n t) \, dt = \frac{2}{\pi} \left[ t^2 \frac{1}{n} \sin (nt) \right]_0^\pi - \frac{4}{n\pi} \int_0^\pi t \sin (n t) \, dt \\ \amp = \frac{4}{n^2\pi} \Bigl[ t \cos (n t) \Bigr]_0^\pi + \frac{4}{n^2\pi} \int_0^\pi \cos (n t) \, dt = \frac{4{(-1)}^n}{n^2} . \end{split} \end{equation*}
Notez qu’on a “détecté” la continuité de l’extension depuis les coefficients décroissants comme \(\frac{1}{n^2}\text{.}\) Autrement dit, l’extension périodique paire de \(t^2\) n’a pas de discontinuités de saut. Elle a des coins, car la dérivée, qui est une fonction impaire et une série sinus, a des sauts. Il existe une série de Fourier dont les coefficients sont seulement décroissants comme \(\frac{1}{n}\text{.}\)
Explicitement, les premiers termes de la série sont
\begin{equation*} \frac{\pi^2}{3} - 4 \cos (t) + \cos (2t) - \frac{4}{9} \cos (3t) + \cdots \end{equation*}

Exercice 5.4.7.

Soit \(f\) le fonction définie par \(f(t) = t^2\) pour \(0 \leq t \leq \pi\text{.}\)
  1. Esquissez le graphique de l’extension périodique paire de \(f\text{.}\)
  2. Esquissez le graphique de l’extension périodique impaire de \(f\text{.}\)

Exercices Exercices

1.

Trouvez la série de Fourier des extensions périodiques paires impaires et paires de la fonction \(f(t) = {(t-1)}^2\) pour \(0 \leq t \leq 1\text{.}\) Pouvez-vous dire quelle extension est continue à partir des coefficients de la série de Fourier?

2.

Trouvez la série de Fourier de l’extension périodique paire et impaire de la fonction \(f(t) = t\) pour \(0 \leq t \leq \pi\text{.}\)

3.

Trouvez la série de Fourier de l’extension périodique paire et impaire de la fonction \(f(t) = \sin t\) pour \(0 \leq t \leq \pi\text{.}\)

4.

Considerez
\begin{equation*} x''(t) + 4 x(t) = f(t)\text{,} \end{equation*}
\(f(t) = 1\) sur \(0 \lt t \lt 1\text{.}\)
  1. Résolvez pour les conditions de Dirichlet \(x(0)=0, x(1) = 0\text{.}\)
  2. Résolvez pour les Neumann \(x'(0)=0, x'(1) = 0\text{.}\)

5.

Considerez
\begin{equation*} x''(t) + 9 x(t) = f(t)\text{,} \end{equation*}
pour \(f(t) = \sin (2\pi t)\) on \(0 \lt t \lt 1\text{.}\)
  1. Résolvez pour les conditions de Dirichlet \(x(0)=0, x(1) = 0\text{.}\)
  2. Résolvez pour les Neumann \(x'(0)=0, x'(1) = 0\text{.}\)

6.

Considerez
\begin{equation*} x''(t) + 3 x(t) = f(t) , x(0) = 0, x(1) = 0\text{,} \end{equation*}
\(f(t) = \sum_{n=1}^\infty b_n \sin (n \pi t)\text{.}\) Écrivez la solution de \(x(t)\) comme une série de Fourier où les coefficients sont donnés en terme de \(b_n\text{.}\)

7.

Soit \(f(t) = t^2(2-t)\) pour \(0 \leq t \leq 2\text{.}\) Soit \(F(t)\) l’extension périodique impaire. Calculez \(F(1)\text{,}\) \(F(2)\text{,}\) \(F(3)\text{,}\) \(F(-1)\text{,}\) \(F(\nicefrac{9}{2})\text{,}\) \(F(101)\text{,}\) \(F(103)\text{.}\) Note : ne pas calculer la série sinusoïdale.

8.

Soit \(f(t) = \nicefrac{t}{3}\) sur \(0 \leq t \lt 3\text{.}\)
  1. Trouvez la série de Fourier de l’extension périodique paire.
  2. Trouvez la série de Fourier de l’extension périodique impaire.
Réponse.
a) \(\nicefrac{1}{2} + \sum\limits_{\substack{n=1\\n\text{ impair } } }^\infty \frac{-4}{\pi^2 n^2} \cos\bigl(\frac{n\pi}{3} t \bigr)\) b) \(\sum\limits_{n=1}^\infty \frac{2{(-1)}^{n+1}}{\pi n} \sin\bigl(\frac{n\pi}{3} t \bigr)\)

9.

Soit \(f(t) = \cos(2t)\) sur \(0 \leq t \lt \pi\text{.}\)
  1. Trouvez la série de Fourier de l’extension périodique paire.
  2. Trouvez la série de Fourier de l’extension périodique impaire.
Réponse.
a) \(\cos(2t)\) b) \(\sum\limits_{\substack{n=1 \\n \text{ impair } } }^\infty \frac{-4n}{\pi n^2 - 4 \pi} \sin(n t)\)

10.

Soit \(f(t)\) définie sur \(0 \leq t \lt 1\text{.}\) Maintenant prenez la moyenne des deux extensions \(g(t) = \frac{F_{\text{ impaire } }(t)+ F_{\text{ paire } }(t)}{2}\text{.}\)
  1. Qu’est-ce que \(g(t)\) si \(0 \leq t \lt 1\) (Justifiez!)
  2. Qu’est-ce que \(g(t)\) si \(-1 \lt t \lt 0\) (Justifiez!)
Réponse.
a) \(f(t)\) b) \(0\)

11.

Soit \(f(t) = \sum_{n=1}^\infty \frac{1}{n^2} \sin(nt)\text{.}\) Résolvez \(x''- x = f(t)\) pour les conditions de Dirichlet \(x(0) = 0\) et \(x(\pi) = 0\text{.}\)
Réponse.
\(\sum\limits_{n=1}^\infty \frac{-1}{n^2(1+n^2)} \sin(nt)\)

12. défi.

Soit \(f(t) = t + \sum_{n=1}^\infty \frac{1}{2^n} \sin(nt)\text{.}\) Résolvez \(x'' + \pi x = f(t)\) pour les conditions de Dirichlet \(x(0) = 0\) et \(x(\pi) = 1\text{.}\) Astuce : notez que \(\frac{t}{\pi}\) satisfait aux conditions de Dirichlet données.
Réponse.
\(\frac{t}{\pi} + \sum\limits_{n=1}^\infty \frac{1}{2^n(\pi-n^2)} \sin(nt)\)