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.

Unifying the geometric decompositions of full and trimmed polynomial spaces in finite element exterior calculus

Geometric decompositions and local bases for spaces of finite element differential forms

Symmetric bases for finite element exterior calculus spaces

A simple and complete discrete exterior calculus on general polygonal meshes

Tangential-Normal Decompositions of Finite Element Differential Forms

Trimmed Serendipity Finite Element Differential Forms

The Geometry of Monotone Operator Splitting Methods

Towards a geometric theory of integration

Towards finite element exterior calculus on manifolds: commuting projections, geometric variational crimes, and approximation errors

Conforming Finite Element Function Spaces in Four Dimensions, Part 1: Foundational Principles and the Tesseract

An exterior calculus framework for polytopal methods

A Discrete Exterior Calculus of Bundle-valued Forms

Smoothed projections over manifolds in finite element exterior calculus

Producing "new" semi-orthogonal decompositions in arithmetic geometry

Splines, lattice points, and arithmetic matroids

Dimensions of exactly divergence-free finite element spaces in 3D

Regularity Preserving Sum of Squares Decompositions

Conforming finite element function spaces in four dimensions, part II: The pentatope and tetrahedral prism

Construction of scalar and vector finite element families on polygonal and polyhedral meshes

Higher-order finite element de Rham complexes, partially localized flux reconstructions, and applications