# Colombeau products of distributions

- Marija Miteva
^{1}Email authorView ORCID ID profile, - Biljana Jolevska-Tuneska
^{2}and - Tatjana Atanasova-Pacemska
^{1}

**Received: **26 April 2016

**Accepted: **25 November 2016

**Published: **29 November 2016

## Abstract

In this paper, some products of distributions are derived. The results are obtained in Colombeau algebra of generalized functions, which is the most relevant algebraic construction for dealing with Schwartz distributions. Colombeau algebra \({\mathcal{G}}({\mathbf{R}})\) contains the space \({\mathcal{D}'}({\mathbf{R}})\) of Schwartz distributions as a subspace, and has a notion of 'association’ that allows us to evaluate the results in terms of distributions.

### Keywords

Distributions Colombeau algebra Colombeau generalized functions Multiplication of distributions## Background

The large employment of distributions in different mathematical fields and other natural sciences has imposed the need for solving two main problems that distribution theory comes across: multiplication of distributions (no two distributions can always be multiplied) and differentiating the product of distributions (the product of distributions does not always satisfy the Leibniz rule). Therefore, many attempts have been made to define the product of distributions (Fisher 1971, 1980; Zhi and Fisher 1989), or rather to enlarge the number of existing products. Many attempts have also been made to include the distributions in differential algebras (Oberguggenberger and Todorov 1998).

According to the distribution theory (Zemanian 1965; Gelfand and Shilov 1964), we can distinguish two complementary points of view:

The first one is that distribution can be considered as a continuous linear functional *f* acting on a smooth function \(\varphi\) with compact support, i.e., we have a linear map \(\varphi \rightarrow \left\langle {f,\,\varphi } \right\rangle\) where \(\varphi\) is called *test function*.

*f*. We identify all the sequences that converge weakly to the same limit, and consider them as an equivalence class. The elements of each equivalence class are called

*representatives*of the appropriate distribution

*f*. This way we obtain sequential representation of distributions. Some authors use equivalence classes of nets of regularization, i.e. the \(\delta\)-net \({\left({{\varphi_\varepsilon }} \right)_{\varepsilon > 0}}\) defined with \({\varphi_\varepsilon } = \frac{1}{\varepsilon }\varphi \left({\frac{x}{\varepsilon }} \right)\).

By the regularization process, the nonlinear structure is lost in a way by identifying sequences with their limit. Actually, all the operations then are done on the regularized functions (sequences of smooth functions) and with the inverse process starting from the result, the function is returned from the regularization. So, we have to get nonlinear theory of generalized functions that will work with regularization.

The optimal solution for overcoming the problems that Schwartz theory of distributions is concerned with was offered by Colombeau (1984, 1985). He constructed an associative differential algebra of generalized functions \({\mathcal{G}}\left({\mathbf{R}}\right)\), which contains the space \({\mathcal{D}'}\left({\mathbf{R}}\right)\) of distributions as subspace and the algebra of \({C^\infty }\)—functions as subalgebra. This theory of generalized functions of Colombeau actually generalizes the theory of Schwartz distributions: these new Colombeau generalized functions can be differentiated in the same way as distributions, but where multiplication and other nonlinear operations are concerned, it is significant that the result of these operations always exists in this algebra as Colombeau generalized function [How Colombeau algebra \({\mathcal{G}}\) can be used for treating linear and nonlinear problems, including singularities, one can see in Jolevska et al. (2007)]. These new generalized functions are very much related to the distributions, in the sense that their definition may be considered as a natural evolution of the Schwartz definition of distributions.

The notion of 'association’ in \({\mathcal{G}}\) is a faithful generalization of the equality of distributions, and again enables us to interpret results in terms of distributions.

Due to all these properties, Colombeau theory has found extensive application in different natural sciences and engineering, especially in fields where products of distributions with coinciding singularities are considered. Such products are, for example, products that include Dirac delta function \(\delta\) which has singular point support.

Before distribution theory come to be introduced, Dirac delta function, as with many other concepts in physics and engineering, was heuristically understood with properties given to coincide with experimental results and was considered adequate for solving complicated problems. Delta function \(\delta\) was well defined to represent certain types of infinity concentrated at a single point (by the physicists \(\delta\) was used to represent the charge density of a point particle—the charge is concentrated in a single point, i.e., finite amount of charge is packed into zero volume, thus the charge density must be infinite at that single point, and its derivative \(\delta'\) was used to represent a dipole of unit electric moment at the origin). After the theory of distributions was invented (in the early 1950s), the mathematical meaning of these concepts has been established and delta function with the same properties is considered as distribution. But, the problem still occurs when multiplying two distributions in the Schwartz’s space (for example, \({\delta ^2}\) doesn’t exist in this space). As we said above, Colombeau algebra was constructed in a way that many problems with multiplication of distributions could be avoided. About applications of Colombeau theory of generalized functions, one can read papers (Aragona et al. 2014; Gsponer 2009; Ohkitani and Dowker 2010; Prusa and Rajagopal 2016; Steinbauer and Vickers 2006; Capar 2013; Nigsch and Samman 2013; Steinbauer 1997; Alimohammady 2014; Sojanovic 2013; Farassat 1994). As we can see in many of these papers, products of delta function and its derivatives with other distributions with singularities, but with continuous functions too, appear while solving various problems in physics and engineering.

In this paper we obtain some products that include derivatives of delta function, in Colombeau algebra, in terms of associated distributions. Other products of distributions, evaluated in the same way, can be found in Damyanov (1997, 2005, 2006), Miteva and Jolevska (2012), Jolevska and Atanasova (2013) and Miteva et al. (2014). The results can be reformulated as regularized products in the classical distribution theory.

## Colombeau algebra

In this section we will give notations and definitions from Colombeau theory that we have used while evaluating the main results.

\({\mathbf{N_0}}\) is the set of non-negative integers, i.e. \({\mathbf{N_0}} = {\mathbf{N}}\cup \left\{ 0 \right\}\).

Let \({{\mathcal{D}}\left({\mathbf{R}} \right) }\) be the space of all smooth functions \(\varphi :{\mathbf{R}} \rightarrow {\mathbf{C}}\) with compact support.

The elements of the set \({A_q}({\mathbf{R}})\) are called *test functions*.

It is obvious that \({A_1} \supset {A_2} \supset {A_3}\ldots\). Colombeau in his books has proved that the sets \({A_k}\) are non empty for all \(k \in {\mathbf{N}}\).

For \(\varphi \in {A_q}({\mathbf{R}})\) and \(\varepsilon > 0\) it is denoted as \({\varphi_\varepsilon} = \frac{1}{\varepsilon}\varphi \left({\frac{x}{\varepsilon}}\right)\) and \(\mathop{\varphi}\limits^{\vee} (x) = \varphi({-x})\).

*K*of \({\mathbf{R}}\) and any \(p \in {\mathbf{N_0}}\) there is a \(q \in {\mathbf{N}}\), such that for each \(\varphi \in {A_q}\left({\mathbf{R}} \right)\) there are \(c> 0,\,\eta > 0\) and it holds:

*K*of \({\mathbf{R}}\) and any \(p \in {\mathbf{N_0}}\) there is a \(q \in {\mathbf{N}}\) such that for every \(r \ge q\) and each \(\varphi \in {A_r}\left({\mathbf{R}} \right)\) there are \(c> 0,\,\eta > 0\) and it holds:

*representative*of

*f*. Multiplication and differentiation of generalized functions are performed on arbitrary representatives of the respective generalized functions.

The meaning of the term ‘association’ in \({\mathcal{G}}\left({\mathbf{R}}\right)\) is given with the next two definitions.

###
**Definition 1**

*associated*, denoted \(f \approx g\), if for each representative \(f\left({{\varphi_\varepsilon },x} \right)\) and \(g\left({{\varphi_\varepsilon },x} \right)\) and arbitrary \(\psi \left( x \right) \in {{\mathcal{D}}\left({\mathbf{R}} \right) }\) there is a \(q \in {\mathbf{N_0}}\) such that for any \(\varphi \left( x \right) \in {A_q}\left({\mathbf{R}} \right)\)

###
**Definition 2**

*f*and any \(\psi \left( x \right) \in {{\mathcal{D}}\left({\mathbf{R}} \right) }\) there is a \(q \in {\mathbf{N_0}}\) such that for any \(\varphi \left( x \right) \in {A_q}\left({\mathbf{R}} \right)\)

The representatives chosen in the above two definitions don’t affect the result. The distribution associated, if it exists, is unique and the association is a faithful generalization of the equality of distributions.

If we multiply two distributions embedded in \({\mathcal{G}}\), as a result we always obtain a generalized function of Colombeau. But, it may not always be associated to a third distribution, so if the product of two distributions embedded in Colombeau algebra \({\mathcal{G}}\) admits an associated distribution, we say that *Colombeau product* of those two distributions exists. If the regularized model product of two distributions exists, then their Colombeau product also exists and it is the same as the first one.

## Main results

###
**Theorem 1**

*The product of the generalized functions*\(\widetilde{\left({\cos x - \sin x} \right) }\)

*and*\(\widetilde{{\delta ^{\left( r \right) }}\left( x \right) }\)

*for*\(r=0,1,2,\dots\)

*in*\({\mathcal{G}}({\mathbf{R}})\)

*admits associated distribution and it holds:*

*where*\({b_i} = 1 + \left[ {\frac{i}{2}} \right]\) and \(\left[ x \right]\)

*is the floor function.*

###
*Proof*

###
**Theorem 2**

*The product of the generalized functions*\(\widetilde{\left({\sin x + \cos x} \right) }\)

*and*\(\widetilde{{\delta ^{\left( r \right) }}\left( x \right) }\)

*for*\(r=0,1,2,\dots\)

*in*\({\mathcal{G}}({\mathbf{R}})\)

*admits associated distribution and it holds:*

*where*\({b_i} = 1 + \left[ {\frac{{i + 1}}{2}} \right]\).

###
*Proof*

Now following the proof of the previous theorem, using the same steps, we obtain (21).

###
**Theorem 3**

*The product of the generalized functions*\(\widetilde{{e^x}}\)

*and*\(\widetilde{{\delta ^{\left( r \right) }}\left( x \right) }\)

*for*\(r=0,1,2,\dots\)

*in*\({\mathcal{G}}({\mathbf{R}})\)

*admits associated*

*distribution and it holds:*

###
*Proof*

###
*Remark*

We should notice here that the products \(\left({\cos x \pm \sin x} \right) \cdot {\delta ^{\left( r \right) }}\left( x \right)\) and \({e^x} \cdot {\delta ^{\left( r \right) }}\left( x \right)\) make sense even in the classical setting (Schwartz space of distributions), since multiplication of a classical distribution by a smooth function is valid operation in the Schwartz theory, but we have obtained here results in terms of associated distributions, which is a faithful generalization of the 'weak’ equality in \({\mathcal{G}}({\mathbf{R}})\). The results obtained in our theorems are associated with terms consisting only of the delta function and its derivatives. We will also notice that the product \(\sin x \cdot \delta \left( x \right)\) is not equal to zero in \({\mathcal{G}}({\mathbf{R}})\) if we consider the 'strong’ equality, but it is zero in the sense of association, i.e. in the sense of 'weak’ equality in \({\mathcal{G}}({\mathbf{R}})\).

## Conclusion

We have evaluated some products of generalized functions, involving derivatives of the Dirac delta function, in Colombeau algebra in terms of associated distributions. This is significant because products of this type are very often used not only in physics, especially in quantum physics, but in other natural sciences and engineering, too, as we can see in the cited literature. Colombeau differential algebra of generalized functions contains the space of Schwartz distributions as a subspace, and the product of elements in it is generalization of the product of distributions, and thus all the results obtained in this way can be reformulated as regularized products in the classical distribution theory.

## Declarations

### Authors' contributions

BJT has given an idea about the main results and also has checked out all calculations and has granted final approval of the version to be submitted for publication. MM has made calculations in the main results and has provided the concept for the first and the second sections (Introduction and Colombeau algebra). TAP has made calculations in the main results. All authors read and approved the final manuscript.

### Competing interests

The authors declare that they have no competing interests.

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.

## Authors’ Affiliations

## References

- Alimohammady M, Fattahi F (2014) Existence/uniqueness of solutions to heat equation in extended Colombeau algebra. Sahand Commun Math Anal 1(1):21–28Google Scholar
- Aragona J, Colombeau JF, Juriaans SO (2014) Nonlinear generalized functions and jump conditions for a standard one pressure liquid–gas model. J Math Anal Appl 418(2):964–977View ArticleGoogle Scholar
- Capar U (2013) Colombeau solutions of a nonlinear stochastic predator–pray equation. Turk J Math 34:1048–1060Google Scholar
- Colombeau JF (1984) New generalized functions and multiplication of distributions. Elsevier, AmsterdamGoogle Scholar
- Colombeau JF (1985) Elementary introduction to new generalized functions. Elsevier, Amsterdam Google Scholar
- Damyanov B (1997) Results on Colombeau product of distributions. Comment Math Univ Carol 38(4):627–634Google Scholar
- Damyanov B (2005) Balanced Colombeau products of the distributions \(x_\pm^{-p}\) and \({x^{-p}}\). Czechoslov Math J 55(1):189–201View ArticleGoogle Scholar
- Damyanov B (2006) Results on balanced products of the distributions \(x_\pm^a\) in Colombeau algebra \({\mathcal{G}}({\mathbf{R}})\). Integral Transforms Spec Funct 17(9):623–635View ArticleGoogle Scholar
- Farassat F (1994) Introduction to generalized functions with applications in aerodynamics and aeroacoustics. NASA Technical Paper 3428. Langley Research Center, HamptonGoogle Scholar
- Fisher B (1971) The product of distributions. Q J Math 22(2):291–298View ArticleGoogle Scholar
- Fisher B (1980) On defining the product of distributions. Math Nachr 99(1):239–249View ArticleGoogle Scholar
- Gelfand IM, Shilov GE (1964) Generalized functions. Academic Press, New YorkGoogle Scholar
- Gsponer A (2009) A concise introduction to Colombeau generalized functions and their applications in classical electrodynamics. Eur J Phys 30(1):109–126View ArticleGoogle Scholar
- Jolevska TB, Takaci A, Ozcag E (2007) On differential equations with non-standard coefficients. Appl Anal Discrete Math 1:276–283View ArticleGoogle Scholar
- Jolevska TB, Atanasova PT (2013) Further results on Colombeau product of distributions. Int J Math Math Sci. doi:https://doi.org/10.1155/2013/918905 Google Scholar
- Miteva M, Jolevska TB, Atanasova PT (2014) On products of distributions in Colombeau algebra. Math Probl Eng. doi:https://doi.org/10.1155/2014/910510 Google Scholar
- Miteva M, Jolevska TB (2012) Some results on Colombeau product of distributions. Adv Math Sci J 1(2):121–126Google Scholar
- Nigsch E, Samman C (2013) Global algebras of nonlinear generalized functions with applications in general relativity. Sao Paulo J Math Sci 7(2):143–171Google Scholar
- Oberguggenberger M, Todorov T (1998) An embedding of Schwartz distributions in the algebra of asymptotic functions. Int J Math Math Sci 21(3):417–428View ArticleGoogle Scholar
- Ohkitani K, Dowker M (2010) Burges equation with a passive scalar: dissipation anomaly and Colombeau calculus. J Math Phys. doi:https://doi.org/10.1063/1.3332370 Google Scholar
- Prusa V, Rajagopal KR (2016) On the response of physical systems governed by non-linear ordinary differential equations to step input. Int J Non-Linear Mech 81:207–221View ArticleGoogle Scholar
- Sojanovic M (2013) Singular fractional evolution differential equations. Central Eur J Phys 11(10):1337–1349Google Scholar
- Steinbauer R (1997) The ultrarelativistic Reissner-Nordstrom field in the Colombeau algebra. J Math Phys. doi:https://doi.org/10.1063/1.531819 Google Scholar
- Steinbauer R, Vickers JA (2006) The use of generalized functions and distributions in general relativity. Class Quantum Gravity. doi:https://doi.org/10.1088/0264-9381/23/10/R01 Google Scholar
- Zemanian AH (1965) Distribution theory and transform analysis. Dover, New YorkGoogle Scholar
- Zhi CL, Fisher B (1989) Several products of distributions on \({\mathbf{R}}^m\). Proc R Soc Lond A426:425–439View ArticleGoogle Scholar