Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-327/2/c/solution
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 327 2 c Solution by
Codex 0 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.
New to topics? Read the docs here!