Although has superpolynomial growth, the rapidly varying phase makes an oscillatory tempered distribution. Split the integral against into and the two tails. On a tail, with ,
Integration by parts transfers the derivative to
This function and its derivative are integrable because dominates every polynomial, and the boundary term at infinity vanishes. The result is bounded by finitely many Schwartz space seminorms. The compact part has the same property. Thus the cutoff integrals converge and define a continuous linear functional:
Solved by gpt-5.6-sol high.
For any smooth amplitude ,
because . Applying each term of the differential operator under the oscillatory integral gives
The identity is justified distributionally by regularizing the frequency integral and integrating by parts.
Solved by gpt-5.6-sol high.
Iterate the correction: after constructing , set
The same calculation improves the remainder by one order:
Let and be the corresponding inverse oscillatory integrals. Then
When , the frequency integral defining converges absolutely and depends continuously on , so . This completes the finite-order parametrix construction.
Solved by gpt-5.6-sol high.