Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 327 2 c Solution Created 2026-09-24 Updated 2026-09-25
The derivative hypothesis implies that is a symbol of order at high frequency. Choose cutoffs in and a high-frequency cutoff in . The corresponding Fourier multiplier is a parametrix for , and the symbol calculus, together with the product formula from part (b), gives the localized estimatefor some sufficiently negative . The commutator terms contain derivatives ; the assumed factor lowers their order and lets them be absorbed inductively. Therefore
If is smooth, it belongs locally to for every . Starting from the fact that every compactly supported distribution has some negative Sobolev order and repeatedly applying the gain places in every local Sobolev space. The Sobolev embedding theorem then gives . Thus is a hypoelliptic differential operator.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 327 2 d Solution Created 2026-09-24 Updated 2026-09-25
The heat operatoris hypoelliptic: its symbol satisfies the derivative estimates that yield local regularity by the argument in part (c). It is not elliptic as an operator of total order two, because its principal symbol is , which vanishes at every nonzero covector with . Hence it is a hypoelliptic differential operator that is not an elliptic differential operator.