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.

Factorization of positive-semidefinite operators with absolutely summable entries

Conditionally positive definiteness in operator theory

A decomposition theorem in II_1-factors

Factorization of the Indefinite Convection-Diffusion Operator

An extension of Nikishin's factorization theorem

Quantitative Factorization of weakly compact, Rosenthal, and $ξ$-Banach-Saks operators

A necessary condition for certain functions to preserve positive semi-definiteness on partitioned matrices

Nonlinear operations and factorizations on a class of affine modulation spaces

Factorizations for quasi-Banach time-frequency spaces and Schatten classes

Benign landscape for Burer-Monteiro factorizations of MaxCut-type semidefinite programs

Representation of positive semidefinite elements as sum of squares in 2-dimensional local rings

Factorization theorems and canonical representations for generating functions of special sums

Regularity Preserving Sum of Squares Decompositions

Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators with a Completely Factorable Symbol on the Plane

Understanding Christensen-Sinclair factorization via semidefinite programming

Sums of squares representations on singular loci

Parallel Factorizations in Numerical Analysis

Block Factor-Width-Two Matrices in Semidefinite Programming.

On factorization and vector bundles of conformal blocks from vertex algebras

Factorizations into normal matrices in indefinite inner product spaces

Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators