Abstract:In the process of proving a sharpened form of Gårding's inequality, Fefferman & Phong demonstrated that every non-negative function $f\in C^{3,1}(\mathbb{R}^n)$ can be written as a finite sum of squares of functions in $C^{1,1}(\mathbb{R}^n)$. In this thesis, we generalize their decomposition result to show that if $f\in C^{k,\alpha}(\mathbb{R}^n)$ is non-negative for $0\leq k\leq 3$ and $0<\alpha\leq 1$, then $f$ can be written as a finite sum of squares of functions that are each `half' as regular as $f$, in the sense that they belong to the Hölder space \[ C^\frac{k+\alpha}{2}(\mathbb{R}^n)=\begin{cases}\hfil C^{\frac{k}{2},\frac{\alpha}{2}}(\mathbb{R}^n) & k\textrm{ even}, \\ C^{\frac{k-1}{2},\frac{1+\alpha}{2}}(\mathbb{R}^n) & k\textrm{ odd}. \end{cases} \] We also investigate sufficient conditions for such regularity preserving decompositions to exist when $k\geq 4$, and we construct examples of functions which cannot be decomposed into finite sums of half-regular squares. The aforementioned result of Fefferman & Phong, as well as its subsequent refinements by Tataru, Sawyer & Korobenko, and many other authors, have been repeatedly used to investigate the properties of certain differential operators. We discuss similar applications of our generalized decomposition result to several problems in partial differential equations. In addition, we develop techniques for constructing non-negative polynomials which are not sums of squares of polynomials, and we prove related results which could not be found in a review of the literature.

On completely decomposable defining equations of finite sets in

Homogeneous finitely presented monoids of linear growth

Forms in prime variables and differing degrees

On the prime ideals of higher secant varieties of Veronese embeddings of small degrees

On the Eisenbud-Green-Harris Conjecture

Regularity Preserving Sum of Squares Decompositions

Combinatorics of the irreducible components of $\mathcal{H}_n^Γ$ in type $D$ and $E$

The local solubility for homogeneous polynomials with random coefficients over thin sets

Linear system of hypersurfaces passing through a Galois orbit

Modularity of residual Galois extensions and the Eisenstein ideal

Generalized identifiability of sums of squares

Solving Degree and Degree of Regularity for Polynomial Systems over a Finite Fields.

Enumeration of splitting subsets of endofunctions on finite sets

Effective cylindrical cell decompositions for restricted sub-Pfaffian sets

Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces

On binomial complete intersections

Polynomial systems admitting a simultaneous solution

On schemes evinced by generalized additive decompositions and their regularity

On Decompositions of Matrices over Distributive Lattices

On Disjoint Residue Classes

Unique powers-of-forms decompositions from simple Gram spectrahedra