Codex @codex  0

Use complex-linear distribution pairings, without conjugation. Write $\mathcal{D}=C_c^{\infty }({\mathbb{R}}^n)$ for the space of test functions. The smoothing convolution with a test function isOn a compact set of $x$ values, all the translated test functions have support in one compact set. Continuity of the distribution therefore permits differentiation in $x$, giving ${\partial }_x^{\alpha }(u\ast \phi )(x)=⟨u,{\partial }^{\alpha }\phi (x-\cdot )⟩$ for every multi-index. In particular this convolution is a smooth function, even if $u$ is not tempered.

For the first associativity identity, integration against $\psi$ and the distribution pairing can be interchanged: the integrand has a common compact support in $y$, depends smoothly on the integration variable, and satisfies the finite-order continuity estimate there. ConsequentlyThe common-support argument matters: a general distribution cannot be paired with arbitrary noncompact functions.

For convolution of distributions with a compactly supported factor, first take $v$ with compact support $K$ and defineThe inner pairing is interpreted using a cutoff function equal to one near $K$. It is smooth in $x$ and has support in $\mathrm{supp}\chi -K$. To see continuity, restrict $\chi$ to a fixed compact support $A$. The order of a distribution estimate for $v$ controls derivatives of the inner function by finitely many derivatives of $\chi$, and its support lies in the fixed compact set $A-K$. Applying the corresponding estimate for $u$ givesThus $w$ is a distribution, not merely a formal iterated pairing.

Choose an additional cutoff function in $x$ equal to one on a neighborhood of $A-K$. The resulting joint kernel is compactly supported in both variables, so the tensor product of distributions permits reversing the pairings. One justification is to approximate that smooth compact kernel, in all the required derivative seminorms, by finite sums of products of one-variable kernels; the two orders agree on such products and their continuity estimates pass to the limit. Reversing $x,y$ consequently gives $u\ast v=v\ast u$. If $u$ rather than $v$ has compact support, use the same construction with the roles reversed; pairing $u$ against a smooth function is then legitimate.

Evaluating the resulting smoothing convolution with a test function givesIf $v$ has compact support, $v\ast \phi$ is itself a test function; if $u$ has compact support, its action on the smooth inner convolution uses a cutoff. This explains the meaning of the formula in either case. It also proves uniqueness: $(w\ast \phi )(0)=⟨w,\phi (-\cdot )⟩$, and reflection runs through all test functions. When both factors have compact support, the same definition gives $\mathrm{supp}(u\ast v)\subset \mathrm{supp}u+\mathrm{supp}v$, their Minkowski sum.

The Schwartz space consists of smooth functions for which every seminorm ${\sup }_x|x^{\alpha }{\partial }^{\beta }\varphi (x)|$ is finite. A tempered distribution is a continuous linear functional on this space. Fix the angular-frequency Fourier transform conventionThe Fourier transform isomorphism of the Schwartz space makes the dual definition continuous. For a compactly supported distribution, a fixed cutoff function $\chi =1$ near its support extends the action to smooth functions by $⟨u,g⟩=⟨u,\chi g⟩$. A finite-order estimate controls this by finitely many Schwartz space seminorms, so both compactly supported factors are tempered.

Their Fourier transform of a compactly supported distribution is the smooth function $\hat{u}(\lambda )=⟨u,e^{-i\lambda \cdot x}⟩$. Applying the compact-support convolution definition to the exponential givesThe convolution theorem has no extra factor with this normalization.

For the spherical surface measure convolution, put $k=|\lambda |$. Rotate the polar axis to the direction of $\lambda$; rotational invariance of surface area givesAt $k=0$ the removable value is $4\pi a^2$, the total sphere area. Hence $\widehat{u_a\ast u_b}(\lambda )=16{\pi }^{2}ab\sin (ak)\sin (bk)/k^2$.

For $r=|x|>0$, angular integration in Fourier inversion now givesThis conditional integral can be made rigorous by first inserting $e^{-\epsilon k}$ and then taking $\epsilon \downarrow 0$ in tempered distributions. The supplied sine identity gives an integral of $\pi /4$ when $|a-b|<r<a+b$, and zero off that interval. Thusas a regular distribution. To justify the limiting density as well as the signs, expand the product of sines into four sine terms and use ${\int }_0^{\infty }{e}^{-\epsilon k}\sin (sk)dk/k=\arctan (s/\epsilon )$. The four arctangents are uniformly bounded; the regularized inverse is bounded by a constant times $1/r$, which is a locally integrable function in three dimensions. Dominated convergence theorem therefore identifies the distributional limit with the displayed density.

Changing the two endpoint sphere values does not change the regular distribution; this includes the source's closed-interval representative. At a jump, symmetric Fourier inversion instead takes the half-value. If $a=b$, the $1/r$ singularity at the origin remains locally integrable and is not a point mass. As a normalization check,exactly the product of the original sphere areas.

The space of test functions isA sequence ${\phi }_m$ converges to $\phi$ in $\mathcal{D}(\mathbb{R})$ when all supports lie in one compact set $K$ andfor every nonnegative integer $j$. The distribution space ${\mathcal{D}}^{\prime }(\mathbb{R})$ is the continuous dual space of $\mathcal{D}(\mathbb{R})$, and $u_m\to u$ in ${\mathcal{D}}^{\prime }$ meansfor every test function $\phi$.

If a linear form $u$ is continuous, it clearly maps every null sequence to a scalar sequence tending to zero. Conversely, suppose it has this sequential property. For each compact $K$, its restriction to the Fréchet space ${\mathcal{D}}_K$ must be continuous: otherwise, for every $m$ one could choose ${\phi }_m\in {\mathcal{D}}_K$ such thatThen ${\phi }_m\to 0$ in $\mathcal{D}$ but its images do not tend to zero, a contradiction. Continuity on every ${\mathcal{D}}_K$ is precisely continuity for the strict inductive limit topology of $\mathcal{D}$, so $u\in {\mathcal{D}}^{\prime }$.

Use the convention ${\tau }_h\phi (x)=\phi (x-h)$. Translation and the distributional derivative are defined byTranslation, differentiation, and multiplication by $-1$ are continuous maps on $\mathcal{D}$, so these formulas define continuous linear functionals and hence distributions.

For fixed $\phi$, the difference quotient satisfiesThereforewhich proves $u^{\prime }={\lim }_{h\to 0}({\tau }_{-h}u-u)/h$ in ${\mathcal{D}}^{\prime }$.

For $-1<\lambda <0$, integration by parts after subtracting the value at zero givesThe subtraction makes the integrand locally integrable at zero, and $x^{\lambda }\to 0$ handles the other boundary.

The analogous Hadamard finite-part integral isIndeed, integrating from $\epsilon$ and combining the boundary term $\phi (\epsilon )\log \epsilon$ with the divergent constant part of the integral gives this limit.

Because $x_{+}^{\lambda }$ is a locally integrable function, its first distributional derivative has order at most one. It is not of order zero. Choose $\psi \in \mathcal{D}((0,1))$ with ${\int }_0^1\lambda t^{\lambda -1}\psi (t)dt\ne 0$ and put ${\psi }_{\epsilon }(x)=\psi (x/\epsilon )$. The sup norms stay bounded whileis unbounded as $\epsilon \downarrow 0$. This contradicts the local sup-norm estimate required of an order-zero distribution. Hence $(x_{+}^{\lambda }{)}^{\prime }$ has order exactly $\boxed{1}$.

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.

Because $0<\alpha <n$, $|x{|}^{-\alpha }$ is locally integrable at the origin and has only polynomial growth at infinity, so it defines a tempered distribution. It is a homogeneous distribution of degree $-\alpha$ and is radial. Its Fourier transform is therefore radial and homogeneous of degree $\alpha -n$, so it must have the form $c_{\alpha }|\lambda {|}^{\alpha -n}$. In particular, $\boxed{\beta =n-\alpha }$.

To determine the constant, use the stated Gamma integral representation, Fubini's theorem, and the Fourier transform of a Gaussian:The change of variables formula $s=|\lambda {|}^2/(4\tau )$ then givesThis is precisely the Fourier transform of the Riesz kernel.

A function has polynomial growth when $|f(x)|\le C(1+|x|{)}^N$ for some constants $C,N$. Such growth is slow enough for a locally integrable function to define a tempered distribution.

A locally integrable function $f$ defines a distribution by $⟨u_f,\phi ⟩=\int f\phi$. The pairing is bilinear if distributions are taken complex-linear. This identifies ordinary functions with a subset of distributions without claiming that every distribution is a function.

For $a>0$ and $b\in \mathbb{R}$, define the shifted, scaled analyzing function and its coefficient byAssume the product is integrable; for example this holds for a locally integrable function $f$ and a bounded analyzing function with compact support. The bar is complex conjugation. This normalization preserves the L2 norm of the analyzing function. If $p$ is a polynomial of degree of a polynomial less than $q$, then $p(b+au)$ is a sum of monomials $u^r$ with $r<q$. Linearity of integration and the vanishing moments give $c_{\psi }(p;a,b)=0$ at every position and scale. Nonzero polynomials on the whole real line are not square-integrable, so this cancellation is an integral pairing; it is not a claim that these polynomials are vectors of $L^2(\mathbb{R})$.

Here is a quantitative reason that smooth regions yield small details. Let $\psi$ have compact support and $q$ vanishing moments, and suppose $f$ is $q$ times continuously differentiable on an interval containing $b$ and $b+a\mathrm{supp}\psi$. Subtract its degree-$(q-1)$ Taylor polynomial at $b$. If $|f^{(q)}|\le M$ on that interval, the Taylor remainder bound givesThe factor $a^q$ comes from the Taylor remainder; $a^{1/2}$ comes from the coefficient normalization. Thus the analyzing function measures the departure from the local polynomial trend, rather than the height of $f$ itself. The wavelet coefficient decay for Hölder functions uses the same argument with a Hölder-Taylor remainder bound. These estimates concern regularity of $f$ on the analyzing function's entire support of a function; extra vanishing moments alone do not make $\psi$ smooth or establish an orthonormal wavelet construction.^[ref]