Sharp Trace and Korn Inequalities for Differential Operators | Synapse