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 schemes evinced by generalized additive decompositions and their regularity

Generic Regular Decompositions for Parametric Polynomial Systems

ON THE REGULARITY OF D-MODULES GENERATED BY RELATIVE CHARACTERS

On regularity in codimension one of irreducible components of module varieties

Normality, factoriality and strong $F$-regularity of Lovász-Saks-Schrijver rings

Regularity Preserving Sum of Squares Decompositions

Fano schemes of symmetric matrices of bounded rank

A generalized Gaeta's Theorem

On combinatorial structure and algebraic characterizations of distance-regular digraphs

A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements

Global $F$-regularity for weak del Pezzo surfaces

Rigidity expander graphs

$\mathscr{D}$-modules on the basic affine space and large $\mathfrak{g}$-modules

Regular singular differential modules over differential rings

Regularity on abelian varieties III: relationship with Generic Vanishing and applications

On some components of Hilbert schemes of curves

Projectively and affinely invariant PDEs on hypersurfaces

Continuous CM-regularity and generic vanishing

Unobstructedness and dimension of families of Gorenstein algebras

On the Castelnuovo-Mumford regularity of curve arrangements