Monatshefte für Mathematik

, Volume 176, Issue 4, pp 503–520

# A non-archimedean algebra and the Schwartz impossibility theorem

• Vieri Benci
• Lorenzo Luperi Baglini
Article

## Abstract

In the 1950s L. Schwartz proved his famous impossibility result: for every $$k\in \mathbb {N}$$ there does not exist a differential algebra $$(\mathfrak {A} ,+,\otimes ,D)$$ in which the distributions can be embedded, where $$D$$ is a linear operator that extends the distributional derivative and satisfies the Leibnitz rule (namely $$D(u\otimes v)=Du\otimes v+u\otimes Dv$$) and $$\otimes$$ is an extension of the pointwise product on $$\mathcal {C}^{0}(\mathbb {R})$$. In this paper we prove that, by changing the requests, it is possible to avoid the impossibility result of Schwartz. Namely we prove that it is possible to construct an algebra of functions $$(\mathfrak {A,}+,\otimes ,D)$$ such that (1) the distributions can be embedded in $$\mathfrak {A}$$ in such a way that the restriction of the product to $$\mathcal {C}^{1}(\mathbb {R})$$ functions agrees with the pointwise product, namely for every $$f,g\in \mathcal {C}^{1}(\mathbb {R})$$
\begin{aligned} \Phi (fg)=\Phi (f)\otimes \Phi \left( g\right) , \end{aligned}
and (2) there exists a linear operator $$D:\mathfrak {A}\rightarrow \mathfrak {A }$$ that extends the distributional derivative and satisfies a weak form of the Leibnitz rule. The algebra that we construct is an algebra of restricted ultrafunctions, which are generalized functions defined on a subset $$\Sigma$$ of a non-archimedean field $$\mathbb {K}$$ (with $$\mathbb {R}\subset \Sigma \subset \mathbb {K}$$) and with values in $$\mathbb {K}$$. To study the restricted ultrafunctions we will use some techniques of nonstandard analysis.

## Keywords

Ultrafunctions Delta function Distributions Non-archimedean mathematics Nonstandard analysis

## Mathematics Subject Classification

13N99 26E30 26E35 46F30

## Notes

### Acknowledgments

The authors would like to thank the referee for his careful reading of the paper.

## References

1. 1.
Benci, V.: Ultrafunctions and generalized solutions. In: Advanced Nonlinear Studies 13, 461–486. arXiv:1206.2257 (2013)
2. 2.
Benci, V., Luperi Baglini, L.: A model problem for ultrafunctions. In: Proceedings of the EJDE Conference, vol. 21, pp. 11–21 (2014)Google Scholar
3. 3.
Benci, V., Luperi Baglini, L.: Basic properties of ultrafunctions. To Appear in the WNDE2012 Conference Proceedings. arXiv:1302.7156 (2014)
4. 4.
Colombeau, J.F.: New generalized functions. Multiplication of distributions. Physical applications. Contrib. J. Sebastiao e Silva Port. Math. 41, 57–69 (1982)
5. 5.
Colombeau, J.F.: A multiplication of distributions. J. Math. Anal. Appl. 94, 96–115 (1983)
6. 6.
Colombeau, J.F.: New Generalized Functions and Multiplication of Distributions. North Holland, Amsterdam (1984)
7. 7.
Colombeau, J.F.: Elementary Introduction to New Generalized Functions. North Holland, Amsterdam (1985)
8. 8.
Grosser, M., Kunzinger, M., Oberguggenberger, M., Steinbauer, R.: Geometric Theory of Generalized Functions with Applications to General Relativity, Vol. 537 of Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht (2001)
9. 9.
Oberguggenberger, M., Todorov, T.: An embedding of Schwartz distributions in the algebra of asymptotic functions. Int. J. Math. Math. Sci. 21, 417–428 (1998)
10. 10.
Robinson, A.: Non-standard Analysis. North Holland, Amsterdam (1966)
11. 11.
Robinson, A.: Function theory on some non-archimedean fields. Am. Math. Mon. 80(6), 87–109 (1973). (part II: papers in the foundations of mathematics)
12. 12.
Schwartz, L.: Sur l’impossibilité de la multiplication des distributions. C. R. Acad. Sci. Paris 239, 847–848 (1954)
13. 13.
Todorov, T.: An existence result for solutions for linear partial differential equations with C$$^{\infty }$$-coefficients in an algebra of generalized functions. Trans. Am. Math. Soc. 348, 673–689 (1996)