Théorème de Borel

Pour toute suite ${\displaystyle (a_{n})}$ de nombres complexes, il existe une fonction ${\displaystyle f}$ de classe ${\displaystyle C^{\infty }}$, d'une variable réelle et à valeurs complexes, définie au voisinage de 0, telle que

${\displaystyle \forall n\in \mathbb {N} \quad f^{(n)}(0)=a_{n}.}$

Une conséquence de ce théorème est qu'il existe des fonctions différentes de leur série de Taylor sur tout voisinage de 0 : il suffit par exemple de prendre la fonction ${\displaystyle f}$ associée à la suite ${\displaystyle \left((n!)^{2}\right)}$.

Soit ${\displaystyle U}$ un ouvert de ${\displaystyle \mathbb {R} ^{n}}$ et ${\displaystyle (f_{n})}$ une suite de fonctions de classe ${\displaystyle C^{\infty }}$ à valeurs complexes sur ${\displaystyle U}$. Alors il existe une fonction ${\displaystyle F=F(t,x)}$ de classe ${\displaystyle C^{\infty }}$ à valeurs complexes sur ${\displaystyle \mathbb {R} \times U}$, solution de l'équation aux dérivées partielles :

${\displaystyle \forall k\in \mathbb {N} \quad \forall x\in U\qquad {\frac {\partial ^{k}F}{\partial t^{k}}}(0,x)=f_{k}(x).}$

Il existe une preuve constructiviste de ce résultat[11].

• Cet article est partiellement ou en totalité issu de l'article intitulé « Lemme de Borel » (voir la liste des auteurs).
• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Borel's lemma » (voir la liste des auteurs).

• Fonction régulière non analytique
• Sommation de Borel
• Théorème d'extension de Whitney