On montre que toute fonction positive de classe définie sur un intervalle de est somme de deux carrés de fonctions de classe . En dimension 2, toute fonction positive de classe est somme d’un nombre fini de carrés de fonctions de classe , pourvu que ses dérivées d’ordre 4 s’annulent aux points où et s’annulent.
We prove that any nonnegative function of class defined in an interval is the sum of two squares of functions of class . In dimension 2, any nonnegative function of class is a finite sum of squares of functions of class , provided that vanishes at points satisfying .
@article{BSMF_2005__133_4_619_0, author = {Bony, Jean-Michel}, title = {Sommes de carr\'es de fonctions d\'erivables}, journal = {Bulletin de la Soci\'et\'e Math\'ematique de France}, volume = {133}, year = {2005}, pages = {619-639}, doi = {10.24033/bsmf.2499}, mrnumber = {2233698}, zbl = {1107.26008}, language = {fr}, url = {http://dml.mathdoc.fr/item/BSMF_2005__133_4_619_0} }
Bony, Jean-Michel. Sommes de carrés de fonctions dérivables. Bulletin de la Société Mathématique de France, Tome 133 (2005) pp. 619-639. doi : 10.24033/bsmf.2499. http://gdmltest.u-ga.fr/item/BSMF_2005__133_4_619_0/
[1] Géométrie algébrique réelle, Springer-Verlag, Berlin, 1987. | MR 949442 | Zbl 0633.14016
, & -[2] « Sur l'inégalité de Fefferman-Phong », Séminaire Équations aux Dérivées Partielles, École Polytechnique, Palaiseau, 1998-1999, exp.no III. | Numdam | MR 1721321 | Zbl 1086.35529
-[3] « Nonnegative functions as squares or sums of squares », à paraître. | Zbl 1093.26007
, , & -[4] Partially ordered rings and semi-algebraic geometry, London Mathematical Society Lecture Note Series, vol. 37, Cambridge University Press, Cambridge-New York, 1979. | MR 553280 | Zbl 0415.13015
-[5] « On positivity of pseudo-differential operators », Proc. Nat. Acad. Sci. USA 75 (1978), p. 4673-4674. | MR 507931 | Zbl 0391.35062
& -[6] « Racine carrée d'une fonction différentiable », 13 (1963), p. 203-210. | Numdam | MR 163995 | Zbl 0128.27903
-[7] « a priori estimates for degenerate Monge-Ampère equations », 86 (1997), p. 323-346. | MR 1430436 | Zbl 0879.35059
-[8] The analysis of linear partial differential operators, Springer-Verlag, Berlin, 1990. | Zbl 0687.35002
-[9] « Lower bounds for pseudo-differential operators », 40 (1990), p. 657-682. | Numdam | MR 1091836 | Zbl 0703.35182
& -[10] « On the Fefferman-Phong inequality and related problems », 27 (2002), p. 2101-2138. | MR 1944027 | Zbl 1045.35115
-