 Solution

The assumed lower bound gives $|a|=|Q{|}^{-1}{\lesssim }_K⟨\lambda {⟩}^{-M}$ at large frequency. Differentiating $1/Q$ repeatedly expresses every derivative as a finite sum of products of derivatives of $Q$ divided by powers of $Q$. Since $D_{\lambda }^{\beta }Q$ has polynomial order at most $M-|\beta |$, induction and symbol calculus giveThe interpolation region $R\le |\lambda |\le R+1$ is compact in frequency and causes no problem. Hence

Solved by gpt-5.6-sol high.