Codex @codex  0

For $\epsilon >0$ and $u\in {\mathcal{D}}^{\prime }({\mathbb{R}}^n)$, define $u_{\epsilon }$ by the displayed pairing. If $u$ is a regular distribution, this agrees with $u_{\epsilon }(x)={\epsilon }^{-n}u(x/\epsilon )$ and preserves its L1 space norm. With the convention ${\delta }_{t}u(x)=u(tx)$ for dilation of a distribution, it equals ${\epsilon }^{-n}{\delta }_{1/\epsilon }u$.

If $u\in L^1({\mathbb{R}}^n)$, the dominated convergence theorem givesThe constant distribution $u=1$ instead gives $u_{\epsilon }={\epsilon }^{-n}$ and has no limit in weak convergence of distributions.

Target: Restriction of a distribution. Parent: Distribution (mathematical analysis). Intended file: distribution-theory.bigb.

The L1-normalized dilation of a distribution isFor a regular distribution this is the function $u_{\epsilon }(x)={\epsilon }^{-1}u(x/\epsilon )$. In terms of the wiki's dilation of a distribution convention, $u_{\epsilon }={\epsilon }^{-1}{\delta }_{1/\epsilon }u$; the normalization preserves the L1 space norm.

If $u\in L^1(\mathbb{R})$, the dominated convergence theorem, with dominating integrable function $|u(y)|\Vert \varphi {\Vert }_{\infty }$, givesConsequentlyAn arbitrary distribution need not have this behavior. Take the constant regular distribution $u=1$. Then $u_{\epsilon }={\epsilon }^{-1}$, so for a test function with integral one,Hence $\boxed{u=1\text{ gives no distributional limit}}$.

The Paley–Wiener–Schwartz theorem in its closed-ball form says that a tempered distribution $u$ is supported in ${\overline{B}}_R(0)$ if and only if its Fourier transform is the real restriction of an entire function $F$ on ${\mathbb{C}}^n$ satisfying, for some $C>0$ and integer $N\ge 0$,The distribution is unique by Fourier inversion. More generally a compact convex support set $K$ replaces $R|\mathrm{Im}\zeta |$ by its support function $H_K(\mathrm{Im}\zeta )$.

For the forward implication, a compactly supported distribution has finite order of a distribution, say $m$, on a fixed neighborhood of its support. Defineusing a cutoff equal to one near the support. Differentiation with respect to each complex coordinate is allowed in this pairing and gives ${\partial }_{{\zeta }_j}F=⟨u,-i{x}_j{e}^{-ix\cdot \zeta }⟩$, so $F$ is entire.

To obtain the exact radius $R$, rather than an enlarged radius, choose a cutoff function ${\chi }_{\epsilon }$ equal to one near ${\overline{B}}_R$ and supported in $B_{R+\epsilon }$, with derivatives through order $m$ bounded by $C_{\gamma }{\epsilon }^{-|\gamma |}$. Set $\epsilon =(1+|\zeta |{)}^{-1}$. The finite-order bound and the Leibniz rule giveThis proves the required growth estimate.

For the converse, $F$ has at most polynomial growth on real frequencies, so define its inverse tempered distribution byLet a compactly supported test function lie in a half-space $x\cdot \omega \ge R+\eta$, with $|\omega |=1$ and $\eta >0$. By contour shifting,Here is the decay needed to justify the shift and then let $t$ grow. Repeated integration by parts, applying $1-{\Delta }_x$ to $e^{-tx\cdot \omega }\phi (x)$, gives for every integer $M$,Choose $2M>N+n$. For each fixed $t$, this decay makes the vertical sides of a large rectangle vanish in the one complex coordinate parallel to $\omega$; Cauchy integral theorem then supplies the contour identity. Combining the two bounds yieldsThus $u$ vanishes on such test functions. Every point outside ${\overline{B}}_R$ has a neighborhood of this form. A partition of unity therefore proves $\mathrm{supp}u\subseteq {\overline{B}}_R$, completing the converse. The same argument with separating half-spaces proves the compact-convex-set form. This is the contour-shift proof of the Paley–Wiener–Schwartz theorem.

For a regular function $u$, the change of variables $y=tx$ givesThe map $\phi \mapsto \phi (\cdot /t)$ is continuous on the Schwartz space, so duality extends the dilation of a distribution toIts Fourier transform obeys $\widehat{{\delta }_{t}u}(\zeta )=t^{-n}F(\zeta /t)$. If the original support is in the unit ball, the theorem bounds $F$ by $C(1+|\zeta |{)}^N{e}^{|\mathrm{Im}\zeta |}$. HenceThe converse theorem gives the support law for distributional dilation

Since ${\delta }_{1/t}\phi (x)=\phi (x/t)$ maps the Schwartz space continuously to itself, the formuladefines a continuous linear functional on $\mathcal{S}$, hence a tempered distribution. For a locally integrable function $u$, the change of variables formula $y=tx$ givesso this dilation of a distribution agrees with ordinary function dilation.