LemmaStatement: AI-adaptedProof: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-14

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Smooth polynomially bounded multipliers on schwartz space

Statement

Let $a \in C^{\infty} (R^{n}; C)$ and suppose that for every multi-index $γ$ there are $C_{γ} \geq 0$ and an integer $m_{γ} \geq 0$ such that

$∣ \partial^{γ} a (x) ∣ \leq C_{γ} (1 + ∣ x ∣)^{m_{γ}} .$

Then $M_{a} : φ \mapsto a φ$ is a continuous complex-linear endomorphism of $S (R^{n})$ . Its transpose

$⟨ a u, φ ⟩ = ⟨ u, a φ ⟩$

is a tempered distribution and depends continuously on $u$ for both the weak and strong dual topologies. Polynomials and Schwartz functions satisfy the hypothesis; an arbitrary smooth function need not.

Facts & Assumptions

Given: A smooth function $a$ with the derivative-by-derivative polynomial bounds in the statement.

[F1]

Schwartz seminorms and topology are those of Schwartz space and its seminorms and Schwartz topology and convergence, with multi-indices interpreted by $C^{k}$ maps and multi-index derivative notation in Euclidean space.

[F2]

Tempered distributions are continuous functionals on $S$ , and their weak and strong topologies test singletons and bounded subsets (Tempered distribution, Weak and strong topologies on tempered distributions).

Proof

technique · Leibniz seminorm estimates and transposition

1.1F1algebra

Fix $α, β$ and apply the multi-index Leibniz formula.

$x^{α} \partial^{β} (a φ) = \sum_{γ \leq β} (\binom{β}{γ}) x^{α} (\partial^{γ} a) \partial^{β - γ} φ .$

For each of the finitely many $γ$ , expansion of $(1 + ∣ x_{1} ∣ + \dots + ∣ x_{n} ∣)^{m_{γ}}$ bounds that summand by a finite linear combination of seminorms $p_{α + δ, β - γ} (φ)$ with $∣ δ ∣ \leq m_{γ}$ . Hence each output seminorm is bounded by finitely many input seminorms. [F1, algebra]

2.1F1step 1.1

Step 1.1 proves simultaneously that $a φ \in S$ and that $M_{a}$ is continuous. A polynomial has only finitely many nonzero derivatives and each grows polynomially. If $a \in S$ , each derivative is bounded, so the hypothesis holds with exponent zero.

3.1F2step 2.1

For $u \in S^{'}$ , the composition $u \circ M_{a}$ is continuous and linear, hence tempered. For a single test, $p_{φ} (a u) = p_{a φ} (u)$ , proving weak continuity of the transpose.

4.1F2step 1.1∎

If $B$ is bounded in $S$ , the finite estimates of step 1.1 show that $M_{a} (B)$ is bounded. Thus $p_{B} (a u) = p_{M_{a} (B)} (u)$ , proving strong continuity. The derivative hypothesis is essential: for example $a (x) = e^{∣ x ∣^{2}}$ is smooth but does not map every Schwartz function to a Schwartz function. No choice axiom is used.

Smooth polynomially bounded multipliers on schwartz space

Statement

Facts & Assumptions

Proof

Depends on

Dependency tree · 2 levels

Sources