The Schwartz space iswhereA sequence converges to in exactly when every one of these seminorms of tends to zero.
Continuity immediately implies sequential continuity. Conversely, suppose a linear form is sequentially continuous but not continuous at zero. Enumerate an increasing family of seminorms that generates the Schwartz space topology, and letSince is unbounded on every neighborhood of zero, choose with . For each fixed , once , so in . Sequential continuity would imply , a contradiction. Hence is continuous and belongs to .
Each continuous of polynomial growth defines a regular tempered distribution byChoosing an integer giveswhich is bounded by finitely many Schwartz space seminorms. Its distributional derivative satisfiesand is therefore tempered. A finite sum of continuous linear forms is continuous, so
Let be a compactly supported distribution. It has some finite order . Choose so large that the Bessel potential kernel has enough continuous derivatives forto be bounded and continuous. Compact support of makes boundedness uniform under translation. Since distributionally,Expanding each power of expresses as a finite sum of derivatives of the bounded continuous function . This proves the structure theorem for compactly supported distributions.
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 toThis 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:
Articles by others on the same topic
There are currently no matching articles.