Le lemme de Borel

Dans les mathématiques , le lemme de Borel de est un résultat important au sujet des équations différentielles partielles baptisées du nom de Émile Borel .

Supposer que U est un ensemble ouvert dans le R n de l'espace euclidien , et supposer que f_0, f_1,… est un ordre du lisse, le complexe - le évalué fonctionne sur U. Là existe alors un F=F doux de fonction (t, x) défini sur des × de R ; U avec des valeurs complexes, tels que de \ parti (\ frac {\ partial^k} {\ t^k partiel} F \ droit) (0, x) = f_k (x), pour tout le k=0,1,… , et x dans U.

Une preuve constructive de ce résultat est donnée en Golubitsky (1974).

Random links:Singe intérieur Zetterland | Clef de Cudjoe, la Floride | Lewistown, Missouri | William Thomas Stead | Edouard Harrelson | Lema_de_Borel