Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-327/2/c/solution

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 estimate
for 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!