Sommes de carrés de fonctions dérivables

Bony, Jean-Michel

Bulletin de la Société Mathématique de France, Tome 133 (2005) no. 4, pp. 619-639.

Résumé (VO)

On montre que toute fonction positive de classe $C^{2m}$ définie sur un intervalle de $ℝ$ est somme de deux carrés de fonctions de classe $C^m$. En dimension 2, toute fonction positive $f$ de classe $C^4$ est somme d’un nombre fini de carrés de fonctions de classe $C^2$, pourvu que ses dérivées d’ordre 4 s’annulent aux points où $f$ et ${\nabla }^{2}f$ s’annulent.

Abstract

We prove that any nonnegative function of class $C^{2m}$ defined in an interval is the sum of two squares of functions of class $C^m$. In dimension 2, any nonnegative function $f$ of class $C^4$ is a finite sum of squares of functions of class $C^2$, provided that ${\nabla }^{4}f$ vanishes at points $x$ satisfying $f\left(x\right)={\nabla }^{2}f\left(x\right)=0$.

Détail

DOI : 10.24033/bsmf.2499

Classification : 26A24, 26B05
Mots-clés : fonctions positives, fonctions différentiables, sommes de carrés
Keywords: nonnegative functions, differentiable functions, sums of square

Bibliographie

[1] J. Bochnak, M. Coste & M.-F. Roy - Géométrie algébrique réelle, Springer-Verlag, Berlin, 1987. | Zbl | MR

[2] J.-M. Bony - « Sur l'inégalité de Fefferman-Phong », Séminaire Équations aux Dérivées Partielles, École Polytechnique, Palaiseau, 1998-1999, exp.no III. | Zbl | MR | mathdoc-id

[3] J.-M. Bony, F. Broglia, F. Colombini & L. Pernazza - « Nonnegative functions as squares or sums of squares », à paraître. | Zbl

[4] G. Brumfiel - Partially ordered rings and semi-algebraic geometry, London Mathematical Society Lecture Note Series, vol. 37, Cambridge University Press, Cambridge-New York, 1979. | Zbl | MR

[5] C. Fefferman & D. H. Phong - « On positivity of pseudo-differential operators », Proc. Nat. Acad. Sci. USA 75 (1978), p. 4673-4674. | Zbl | MR

[6] G. Glaeser - « Racine carrée d'une fonction différentiable », 13 (1963), p. 203-210. | Zbl | MR | mathdoc-id

[7] P. Guan - « $C^2$ a priori estimates for degenerate Monge-Ampère equations », 86 (1997), p. 323-346. | Zbl | MR

[8] L. Hörmander - The analysis of linear partial differential operators, Springer-Verlag, Berlin, 1990. | Zbl

[9] N. Lerner & J. Nourrigat - « Lower bounds for pseudo-differential operators », 40 (1990), p. 657-682. | Zbl | MR | mathdoc-id

[10] D. Tataru - « On the Fefferman-Phong inequality and related problems », 27 (2002), p. 2101-2138. | Zbl | MR