Nonnegative functions as squares or sums of squares
In 1978 Fefferman and Phong stated (and sketchily proved) a lemma that any nonnegative \({\mathcal C}^{\infty}\) function in \({\mathbb R}^n\) is a sum of squares \({\mathcal C}^{1,1}\). In the reviewed paper it is proved for \(n\geq 4\) that such a regularity condition is sharp, namely, there exist nonnegative \({\mathcal C}^{\infty}\) functions \(f : {\mathbb R}^n \rightarrow {\mathbb R}\) that are not sums of squares of \({\mathcal C}^{2}\) functions. It is also proved that a general nonnegative \({\mathcal C}^{2}\) function of one variable has a \({\mathcal C}^{1}\) admissible square root, but no better regularity can be assured. If the function is \({\mathcal C}^{4}\) and its values at all its local minima are controlled it has a \({\mathcal C}^{2}\) admissible square root, but no better regularity can be assured. In both cases, increasing the regularity of the nonnegative function up to \({\mathcal C}^{\infty}\) does not provide a better result.
- \(C^ 2\) a priori estimates for degenerate Monge-Ampère equations
- Choosing roots of polynomials smoothly
- Extremal positive semidefinite forms
- scientific article; zbMATH DE number 1201576 (Why is no real title available?)
- On positivity of pseudo-differential operators
- Racine carrée d'une fonction différentiable
- Sommes de carrés de fonctions dérivables
- A regularity class for the roots of nonnegative functions
- Smooth roots of hyperbolic polynomials with definable coefficients
- Functions with ultradifferentiable powers
- Selections of bounded variation for roots of smooth polynomials
- Regularity of subelliptic Monge-Ampère equations
- Lifting differentiable curves from orbit spaces
- Positive semidefinite analytic functions on real analytic surfaces
- Sums of squares. I: Scalar functions
- Sums of squares. II: Matrix functions
- A new proof of Bronshtein's theorem
- Essential self-adjointness of Wick squares in quasi-free Hadamard representations on curved spacetimes
- Quasianalytic multiparameter perturbation of polynomials and normal matrices
- On square roots of class C^m of nonnegative functions of one variable
- Roots of Gårding hyperbolic polynomials
- On the differentiability class of the admissible square roots of regular nonnegative functions
- Smoothness of radial solutions to Monge-Ampère equations
- Perturbation of complex polynomials and normal operators
- On the regularity of the roots of hyperbolic polynomials
- Differentiable roots, eigenvalues, and eigenvectors
- scientific article; zbMATH DE number 2161529 (Why is no real title available?)
- Sommes de carrés de fonctions dérivables
- Symmetry reduction of states. I
- On admissible square roots of non-negative \(C^{2, 2\alpha}\) functions
- Second Order Conditions to Decompose Smooth Functions as Sums of Squares
- Differential geometry and general relativity with algebraifolds
- Tangent spaces of diffeological spaces and their variants
- Perturbation theory of polynomials and linear operators
This page was built for publication: Nonnegative functions as squares or sums of squares
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2368787)
