Fourier rotation and directions at infinity

Written by GPT-6 Astra (OpenAI), October 2026. Public domain (CC0).

The directions in which a Fourier support escapes to infinity bound every analytic singular direction. Homogeneity gives a stronger conclusion: Fourier transformation exchanges a nonzero base point and a nonzero covector, reversing the sign of the former. At a zero base point, physical support replaces the missing covector information. We prove these assertions for smooth wavefront and every admissible derivative-growth class, including distributions whose scaling law holds only away from the origin.

Our Fourier transform is , with inverse factor ; pairings are complex linear. We use the complete Schwartz Fourier foundation, F1–F5, and Tempered growth and spectral cutoffs, Lemma 2.1, for test seminorms, transpose identities and Schwartz convolution. Derivative growth and finite-order localization, Lemma 1 and Theorem 4, supplies fixed index shifts and controlled cutoffs. Cones and derivative-growth wavefronts, Lemmas 1–2 and Theorems 3–7, supplies their Fourier bounds, compact localization, comparison and differential rules; its flat-hypersurface calculation is used in an exercise. The smooth localization argument is also given in Boundary regularity and conic decomposition, Lemma 2, whose Theorem 3 proves the exact analytic boundary criterion.

The spherical representation, with all reciprocal-multiplier bounds, is Holomorphic decompositions of tempered distributions, Lemmas 1–2 and Theorem 3; the full polydisk Cauchy proof is Section 3 of Holomorphic boundaries in convex cones. The scaling and Euler equivalence and the resonant scaling law are Homogeneous extensions and angular moments, Lemma 1.1 and Theorem 4.1. Its angular foundation, A3, proves the finite point-jet theorem. The exact logarithmic transform is Radial powers and the logarithmic endpoint, Section 3, especially (3.2)–(3.7). Analytic composition is proved in Analytic maps and derivative growth, Theorem 3. Compactness, bumps and convergence use the supplied scalar foundation, Sections 12–13, and integration foundation, Sections 15–16. No external citation replaces any of these proofs.

Which spectral directions survive at infinity

For a closed set , , define

The direction set is compact and may be empty. We deliberately omit zero from , as wavefront covectors are nonzero. A direction belongs to precisely when there are with and tending to that direction: choose a point within of the direction with radius at least , using the closure in (1). The converse follows from each closed tail. Equivalently, consists of the nonzero limits of , where tends to zero. Normalizing a nonzero limit proves one implication, and choosing proves the other. Subsequences make decreasing if desired.

If is empty, is bounded: otherwise an unbounded sequence has a convergent subsequence of unit directions. More generally, every open spherical neighborhood of contains all sufficiently distant directions of . If not, a sequence of radii tending to infinity outside that neighborhood has a spherical limit in its closed complement and in , a contradiction.

Theorem 1 (spectral limit-cone bound). For every ,

The same inclusion holds for for every admissible , and for ordinary smooth wavefront.

Proof. Fix a unit . If this direction set is nonempty, compactness makes the maximum of over it strictly smaller than one: equality for unit vectors would force . Choose numbers strictly above that maximum. The observation after (1) gives so that every support point of radius at least has pairing .

Choose a smooth spherical function , equal to one on , with support in . The supplied compact bump construction gives this: apply it to the first compact set on an annulus inside the second open angular set, then restrict to the sphere. Let be a smooth radial cutoff equal to one on and zero on , enlarging to be positive. Set

This is smooth across zero and equals one on a neighborhood of the entire support of . Outside a fixed ball its support has . Every fixed derivative of its angular part is bounded by a constant times at derivative order : differentiate the smooth degree-zero function and use its sphere maximum. On the intervening compact annulus all derivatives are bounded. If the direction set is empty, the Fourier support is compact, and a compact smooth cutoff equal to one near it serves as instead.

Recall the exact spherical factor and representation

Here is ordinary sphere measure, including the two unit masses in dimension one. The earlier reciprocal estimates are and . For with , on the distant support of we have

All frequency derivatives of therefore decrease exponentially, up to polynomial factors, uniformly for in compact subsets of this larger tube. The bounded-frequency part is compactly supported. Each fixed derivative in inserts only a polynomial frequency factor. Thus

is defined by a Schwartz pairing on a full complex neighborhood of every . Parameter Taylor remainders tend to zero in every Schwartz seminorm by (5). Differentiating inside the pairing gives the Cauchy–Riemann equations; the proved polydisk argument makes holomorphic. For compact Fourier support the same reasoning works for every imaginary part.

Where this neighborhood meets , (6) equals (4). Indeed the omitted Schwartz test has the factor and vanishes near the Fourier support. Its compact-cutoff approximants do too, hence pair to zero; Schwartz cutoff density and continuity pass to the limit. We have obtained a full-neighborhood holomorphic extension of at . The exact analytic boundary criterion excludes from , for every . Positive conicity proves (2). Finally use .

Isolating the defect in a scaling law

Put , and use the dilation convention

For functions it is . Homogeneity of degree means , with . The earlier Euler lemma proves equivalence with , both on the whole space and on punctured space. All distributions in what follows are tempered.

Let be the radial finite part from the logarithmic-endpoint lesson, and write . Its proved identities imply

The first identity follows by comparing constant Laurent coefficients in , exactly as in the earlier resonant Euler proof. The other two are the actual finite-part and Fourier constant-term identities; is the specified scalar constant, whose value will not affect wavefront.

Lemma 2 (a homogeneous part and analytic corrections). Suppose is degree- homogeneous on . There are a globally degree- homogeneous tempered distribution , a finite point jet , and a finite linear combination of derivatives of , such that

Both and are real analytic off zero. The term is zero unless for an integer ; in that case all its derivatives have order .

Proof. The Euler defect is supported at zero. The full finite-jet theorem gives a finite sum . Since , set

Unlisted coefficients are zero. The product rule gives , first on smooth functions and then by transpose. Applying it to (8) shows that . Therefore has zero Euler defect and is globally homogeneous by the proved equivalence. Every term is tempered.

Away from zero, derivatives of are analytic. For explicit analyticity, near a positive scalar value the geometric series integrates to the convergent series for ; exponentiation gives powers. Compose with , using the earlier analytic-composition theorem, and differentiate using the proved closure under fixed derivatives. The same reasoning makes analytic off zero. Fourier transformation of (10) gives polynomials and polynomial multiples of , so the frequency correction is analytic there as well. This proves every assertion.

Rotating the nonzero base point and covector

Lemma 3 (Fourier rotation under a global scaling law). If is globally homogeneous, then for every admissible ,

The same equivalence holds for ordinary smooth wavefront.

Proof. Suppose is regular for . Choose compact neighborhoods of and of , both avoiding zero, such that the product of and the positive cone over misses the wavefront set. This is possible by openness of the regular set and conicity; shrink both neighborhoods to closed balls inside a regular product. Choose controlled cutoffs supported in and equal to one when , for some , and supported in and equal to one on a fixed neighborhood of . Shrink so avoids zero. The earlier controlled construction gives

for each fixed . In particular all fixed derivative orders are bounded uniformly in . Compact localization applies to throughout the cone over .

Put . Fourier transposition and homogeneity give, for ,

There is no inverse Fourier factor in this identity. Split the last pairing into , using and . The inverse test-pairing formula gives

Indeed the Fourier transform of the test is ; its factor cancels the inverse pairing factor. The integrals converge, since their frequency supports are compact. The minimum of on is positive, and is uniformly bounded. Compact localization therefore yields

For clarity, the complementary estimate retains the finite tempered order. Choose with . In every Leibniz term for , the factor involving , or any of its derivatives, is zero when . On its support . Put . With in the fixed ball and ,

Only finitely many fixed derivatives of were used, so their constants are uniform. Each derivative in the last supremum is the Fourier transform of . This is again controlled on , by the proved product lemma. The second Fourier bound for controlled sequences, with fixed extra decay , gives

The factor is absorbed into . Multiplying (15) and (17) by , choose a fixed nonnegative integer . We obtain

The second estimate is the fixed-shift bound for , with the fixed power of also absorbed. The numbers on the smaller ball have positive lower and finite upper bounds. Consequently is comparable to the output frequency length, and (18) supplies a conic estimate near for all sufficiently large frequencies. The family has common compact support and common finite order: apply the finite-order estimate of near and the uniform fixed derivatives of . This also bounds all remaining bounded frequencies, after increasing the constants. The family equals near , proving regularity at .

Direct change of variables on Schwartz tests proves . Thus is globally homogeneous of degree . Also , where . Reflection sends a witness to , whose transform is ; it therefore sends a wavefront pair to . Applying the implication just proved to , then reflecting, proves the converse in (11).

For smooth wavefront use fixed cutoffs in these same neighborhoods. The smooth compact localization needed in (14) follows from a finite cover: at each base point cover the closed angular set by finitely many regular cones, intersect their base neighborhoods, and take a finite smooth partition in those neighborhoods. Multiplication by each partition factor preserves rapid decrease on smaller cones by the earlier convolution estimate. Summing the finitely many terms gives one bound of every decay order on the cone over . Hence for every . In (16), and all its fixed derivatives are Schwartz, so increasing its decay order gives for every . The fixed homogeneity factor does not change rapid decay. The same reversal proves the smooth equivalence.

A scaled test detects support at a zero base point

Lemma 4 (the origin test). Let be homogeneous of degree on punctured space, and let equal one near zero. Set

Then in distributions. Moreover, on every compact set avoiding zero,

Proof. We first give the approximate-identity argument, including its noncompact Schwartz tails. For , integration in followed by gives the test inside the pairing with . The interchange follows from absolute integrability in every Schwartz seminorm, as in the earlier convolution proof: if , then translation costs at most for . The fundamental theorem along the translation segment gives the sharper estimate

To see the weight, use , , in each differentiated fundamental-theorem integral. Multiply (21) by and integrate; its weighted moment is finite because is Schwartz. The integrated test tends to in every seminorm. Fourier inversion at zero gives . Continuity of proves the asserted convergence, even on Schwartz tests. Each is a smooth function of polynomial growth by the same convolution lemma.

For (20), use (9)–(10), writing and . The latter is zero in the nonresonant case, and equals when . The earlier logarithmic scaling identity and differentiation give

Fourier transposition gives Substitution of (22) proves (20), with the exact remainder

These are finite sums. On a compact set with , every derivative of decreases faster than any power of . The other factors have fixed polynomial growth, with and . Increasing the Schwartz decay order proves the uniform estimate in (20), for every .

The complete correspondence, including both origins

Theorem 5. Suppose is homogeneous of some complex degree on . For every admissible ,

All three equivalences also hold for ordinary smooth wavefront. In particular they hold at the analytic endpoint. The support assertions concern the complete distributions, including their point terms.

Proof: nonzero base and covector. Lemma 2 writes , with globally homogeneous. Both corrections in physical space and frequency space are analytic off zero, hence belong to every there. Applying the finite-sum inclusion in both directions shows that adding them leaves wavefront unchanged on those open sets. This also holds for smooth wavefront by the fixed-cutoff definition. Apply Lemma 3 to to obtain the first line of (24).

Proof: physical support and the Fourier origin. Punctured homogeneity makes the punctured support invariant under every positive dilation: the distributional change of variables carries a zero open set to its dilation, and the scalar is nonzero. If is outside support, a small ball about it and all its positive dilations are zero sets. Their union contains a conic neighborhood of its ray. Consequently the direction of is absent from the limit cone of . The double Fourier transform is ; Theorem 1 applied to therefore excludes even from analytic wavefront. It excludes it from all the other classes as well.

Conversely suppose is absent from ordinary . By definition there is a compact smooth near zero such that is rapidly decreasing in a conic neighborhood of . Choose a small closed ball about , avoiding zero, whose negative directions lie in that cone. On this ball the left side of (20) tends uniformly to zero; the fixed factor is absorbed by taking a larger decay power. The remainder tends uniformly to zero too. Thus tends to zero as a distribution on the ball's interior. Lemma 4 also makes it converge there to . Uniqueness of distributional limits gives on that neighborhood. Hence is outside support. We have proved the support equivalence with ordinary wavefront; the analytic exclusion in the first direction and the comparisons prove the middle line for every .

Proof: Fourier support and the physical origin. If globally, then is globally homogeneous. Apply the middle equivalence to , and use the double transform and reflection. This proves the last line.

If , it is a nonzero finite point jet. Its Fourier transform is a nonzero polynomial. Such a polynomial cannot decrease rapidly on any open cone: its highest nonzero homogeneous part cannot vanish on an open set, since the exact finite Taylor expansion would then make that polynomial identically zero. Choose a direction in the cone where that part is nonzero; along its ray the top power dominates the lower powers. Every cutoff equal to one near zero leaves unchanged, so .

Differential operators with smooth coefficients do not enlarge ordinary wavefront. Here is the needed local argument. If has rapid transform in a cone and near the base point, take on a smaller neighborhood with support where . For , . Fourier differentiation preserves rapid decay, and multiplication by the compact smooth preserves it on a smaller cone by the earlier convolution estimate. This proves the assertion. Apply it to . Thus has every nonzero smooth wavefront direction at zero, and comparison gives every direction there.

Finally Fourier transposition of the Euler operator gives

For example , which proves the formula with all terms. If vanished on a nonempty open set, its differential expression on the left would vanish there. The nonzero polynomial on the right cannot do so. Hence . Both sides of the last equivalence in (24) now hold for every nonzero . This proves the nonhomogeneous case and finishes the theorem.

Left: the first nine points of the unbounded sequence ; its sole limiting unit direction is . Finite samples illustrate the limit proved in Exercise 2. Middle and right: for in two dimensions, . The physical pair , becomes the Fourier pair with base and covector . The arrows show these exact covectors based at the marked points; the blue lines are the respective supports. Exercise 5 proves the full conormal relations, beyond these displayed representatives. Editable figure source.

Exercises with complete solutions

Exercise 1 — bounded spectral translation (foundation). Prove that for every fixed vector . Apply this to modulation of a tempered distribution. What does Theorem 1 say for compact Fourier support?

Solution. If and , then ; apply the same argument with for the reverse inclusion. Direct Fourier substitution shows that multiplying by translates its Fourier support by . Thus the bound (2) is unchanged. In fact every wavefront class itself is unchanged: multiplication by that analytic function cannot enlarge , and multiplication by its analytic inverse proves the reverse inclusion. The fixed-cutoff convolution rule gives the smooth assertion. If Fourier support is compact, (1) is empty and Theorem 1 says is analytic everywhere by the analytic projection theorem. For an entire extension of itself, choose a compact smooth near its Fourier support and use . On the fixed compact frequency support, every parameter Taylor remainder tends to zero in the finite test seminorms controlling the pairing. The Cauchy–Riemann equations and polydisk argument prove holomorphy for every , and Fourier inversion identifies its real trace with .

Exercise 2 — a nonempty limit cone with no singularity (intermediate). In , define the finite measure

Determine its spectral limit cone and prove that is analytic on all real space. Explain what this says about equality in (2).

Solution. The total mass is one, so is tempered by the supremum seminorm. Its support is exactly the displayed discrete closed set: each point has positive mass and a small isolating ball; every bounded set meets only finitely many points. Its normalized direction is . Every escaping sequence has indices tending to infinity, so .