Abstract
In this chapter we study a class of distributions, summable distributions, that can be extended on smooth bounded functions. These distributions have properties that are well suited to describe some classes of systems. However, the material is more technical than the rest of the book and can be skipped without loss of continuity.
You have full access to this open access chapter, Download chapter PDF
In this chapter we study a class of distributions, summable distributions, that can be extended on smooth bounded functions. These distributions have properties that are well suited to describe some classes of systems. However, the material is more technical than the rest of the book and can be skipped without loss of continuity.
1 Definition and Canonical Extension
One can define summable distributions in several equivalent ways [16]. The following one is the most suitable for our purposes.
Definition 6.1
(Summable distributions) A summable distribution T is a distribution that can be represented as a finite sum of derivatives (in the sense of distribution) of functions \(f_k\in L^1\)
with k an n-tuple in \({\mathbb {N}}^n\) and \(m\in {\mathbb {N}}\).
We denote the vector space of summable distributions by \({\mathcal {D}}_{L^1}'\).
An important property of summable distributions is the fact that they can be extended to continuous linear functionals on \({\mathcal {B}}\), the set of indefinitely differentiable functions that, together with all their derivatives, are bounded
As usual, to talk about continuity, we need to define a convergence criterion (topology).
Definition 6.2
(Convergence in \(\boldsymbol{{\mathcal {B}}}\)) A sequence of functions \((\eta _j)\) in \({\mathcal {B}}\) converges to zero if the sequence as well as all sequences of the derivatives \((D^k\eta _j)\) converge uniformly to zero as j tends to infinity. That is, given the norms
the sequence \((\eta _j)\) converges to zero if, as j tends to infinity, the sequence of numbers \((p_m(\eta _j))\) converges to zero for all \(m\in {\mathbb {N}}\).
The application of a summable distribution T to a function \(\eta \in {\mathcal {B}}\) is well defined since
This shows that it’s possible to extend a summable distribution to \({\mathcal {B}}\). However, the extension in general is not unique. The reason being that the set of test functions \({\mathcal {D}}\) is not dense in \({\mathcal {B}}\). That is to say that it’s not possible to approximate to arbitrary accuracy any function in \({\mathcal {B}}\) with functions from \({\mathcal {D}}\).
Example 6.1: Constant Function
Consider the constant function \(\textbf{1}: t\mapsto 1\), the function \(\alpha \in {\mathcal {D}}\) defined by (2.11), and functions \(\alpha _j\in {\mathcal {D}}\) defined by \(\alpha _j(t) = \alpha (t/j)\), \(j\in {\mathbb {N}}\). The product \(\alpha _j\textbf{1}\) is clearly a test function satisfying \(\alpha _j(2j) = 0\) for all values of j. From this we see that
no matter how large j is.
Example 6.2: Average Functional
Consider the functions \(\textbf{1},\alpha _j\) from Example 6.1 and the following functional L on \({\mathcal {B}}\)
It is easily seen that L is linear and continuous. Its value on the constant function \(\textbf{1}\) is 1 while its value on the test functions \(\alpha _j\textbf{1}\) is zero for all values of j
The functional L is therefore a valid extension to \({\mathcal {B}}\) of the zero distribution as is the zero functional on \({\mathcal {B}}\).
We can define a unique, canonical extension of a summable distribution T by requiring an additional condition on the extension [19]. A suitable condition can be obtained from the properties of Lebesgue integrals. Consider again the test functions \(\alpha _j\in {\mathcal {D}}\) from Example 6.1 and a function \(\eta \in {\mathcal {B}}\). If we apply T to \(\alpha _j\eta \) we obtain
The integral of an \(L^1\) function can be approximated up to an arbitrary \(\epsilon > 0\) by an integral over a suitably chosen compact subset K of \({\mathbb {R}}^n\). Therefore we can find a large enough N such that for \(j>N\)
Thus, in the limit as j tends to infinity we obtain a well-defined continuous linear functional on \({\mathcal {B}}\).
The important observation from this derivation is the fact that, to find an extension to \({\mathcal {B}}\) of a summable distribution, it is not necessary to require uniform convergence on the whole of \({\mathbb {R}}^n\). An extension can be obtained by requiring uniform convergence on every compact subset \(K\subset {\mathbb {R}}^n\). More precisely, by requiring the convergence criterion that we defined for the space \({\mathcal {E}}\). From this observation we define the following property.
Definition 6.3
(Bounded convergence property) A continuous linear functional on \({\mathcal {B}}\) has the bounded convergence property if, given any sequence \((\eta _j)\) of functions \(\eta _j\in {\mathcal {B}}\) with \(p_m(\eta _j)<\infty \) for all m, and converging to zero in the space \({\mathcal {E}}\) as \(j\rightarrow \infty \), then
The sequence \((\alpha _j\eta )\) does converge to \(\eta \) in \({\mathcal {E}}\). Hence, by continuity, there is a unique extension of T to \({\mathcal {B}}\) with the bounded convergence property
In particular this shows that this extension does not depend on the particular representation of T in terms of derivatives of integrable functions.
The converse is also true. The restriction to \({\mathcal {D}}\) of any continuous linear functional on \({\mathcal {B}}\) with the bounded convergence property defines a unique summable distribution. Thus, there is a one to one correspondence between summable distributions and continuous linear functionals on \({\mathcal {B}}\) with the bounded convergence property.
Definition 6.4
(Canonical extension) The canonical extension to \({\mathcal {B}}\) of a summable distribution is the unique extension to a continuous linear functional on \({\mathcal {B}}\) with the bounded convergence property.
In the following, whenever we use the extension of a summable distribution it will always be assumed to be the canonical one.
While our previous definition of differentiation carries over to summable distributions without problems, this is not the case for multiplication. In general the product of a bounded function \(\eta \in {\mathcal {B}}\) with an unbounded one \(\gamma \in {\mathcal {E}}\) is not bounded and therefore not in \({\mathcal {B}}\). Differently from this, the product of two bounded functions \(\eta ,\zeta \in {\mathcal {B}}\) is always in \({\mathcal {B}}\). Therefore, for summable distributions \(T \in {\mathcal {D}}_{L^1}'\) multiplication has to be restricted to functions in \({\mathcal {B}}\)
2 Convolution of Summable Distributions
In Sect. 3.2 we defined the convolution product between two distributions \(S,T \in {\mathcal {D}}'\) by
and saw that in general, if the support of both S and T is unbounded, it may not exist. In this section we show that if S and T are summable, then their convolution product is well-defined despite the fact that their support is unbounded.
Consider the application of a summable distribution T to a function \(\tau \mapsto \eta (\lambda + \tau ) \in {\mathcal {B}}\) with \(\lambda \) a parameter. Following the same arguments as in Sect. 3.1, given the linearity and continuity of T, we deduce that it is a continuous and indefinitely differentiable function \(\zeta \) belonging to \({\mathcal {B}}\)
For this reason the convolution of two summable distributions S and T is always well-defined
and commutative.
Next we investigate the convolution of a summable distribution T with a function in \({\mathcal {B}}\). Consider the application of T to the function \(\tau \mapsto \eta (\lambda - \tau ) \in {\mathcal {B}}\) parameterised by \(\lambda \). As we just saw, it is a function that we call again \(\zeta \) and that is clearly locally integrable. Hence, it defines a distribution in \({\mathcal {D}}'\) and with \(\phi \in {\mathcal {D}}\) we can write
or
This shows that a summable distribution can be regularised by a function in \({\mathcal {B}}\) and that the resulting regularised is also a function in \({\mathcal {B}}\).
3 Fourier Transform of Summable Distributions
The functions \(\tau \mapsto \textrm{e}^{-\jmath \left( \omega ,\tau \right) }\) with \(\omega \in {\mathbb {R}}^n\) belong to \({\mathcal {B}}\). For this reason the Fourier transform of a summable distribution T can be expressed in a simple way. Let \(\phi \in {\mathcal {D}}\), then
or
\({\mathcal {F}}\{T\}\) is thus a continuous function. Moreover it has at most polynomial growth, for, by representing T as a sum of integrable functions and the properties of the Fourier transform, for some \(m \in {\mathbb {N}}\) we have
with C a constant. Thus, the Fourier transformed of a summable distribution is a function of slow growth.
The converse is not in general true, but we can find a class of functions for which it is. This is the set \({\mathcal {O}}_M\), the set of functions of slow growth that are indefinitely differentiable.
To see that this is the case, consider the Fourier transformed \(\hat{T}\) of some tempered distribution T and assume that \(\hat{T} \in {\mathcal {O}}_M\). If \(\phi \in {\mathcal {D}} \subset {\mathcal {S}}\) then its Fourier transformed \(\hat{\phi }\) as well as \(\hat{\phi }\hat{T}\) are in \({\mathcal {S}}\). Therefore we see that
is a summable distribution and we can apply it to a function \(\eta \in {\mathcal {B}}\) to obtain
Since \(\phi \in {\mathcal {D}}\) and \(\eta \in {\mathcal {B}}\) are arbitrary and \(\left\langle \phi (\lambda ),\eta (\lambda + \tau ) \right\rangle \in {\mathcal {B}}\) we deduce that T is a summable distribution.
We conclude this section by showing that the property of the Fourier transform of transforming convolution products into ordinary products is valid for arbitrary summable distributions. Let S, T be summable distributions, then using (6.3) and the property of the exponential function \(\textrm{e}^{-\jmath \left( \tau +\lambda ,\omega \right) } = \textrm{e}^{-\jmath \left( \tau ,\omega \right) }\textrm{e}^{-\jmath \left( \lambda ,\omega \right) }\) one readily obtain that
The product is well defined as \({\mathcal {F}}\{S\}\) and \({\mathcal {F}}\{T\}\) are both functions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Beffa, F. (2024). Summable Distributions. In: Weakly Nonlinear Systems. Understanding Complex Systems. Springer, Cham. https://doi.org/10.1007/978-3-031-40681-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-031-40681-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-40680-5
Online ISBN: 978-3-031-40681-2
eBook Packages: EngineeringEngineering (R0)