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})\)
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.
Similar content being viewed by others
Notes
We recall that, given a cardinal number \( k \), a nonstandard model has the \( k ^{+}\)-saturation property if for every family \(\mathfrak {F }\) of internal sets with the finite intersection property and with \(| \mathfrak {F}|\le k \) the intersection \(\bigcap _{A\in \mathfrak {F}}A\) is not empty.
References
Benci, V.: Ultrafunctions and generalized solutions. In: Advanced Nonlinear Studies 13, 461–486. arXiv:1206.2257 (2013)
Benci, V., Luperi Baglini, L.: A model problem for ultrafunctions. In: Proceedings of the EJDE Conference, vol. 21, pp. 11–21 (2014)
Benci, V., Luperi Baglini, L.: Basic properties of ultrafunctions. To Appear in the WNDE2012 Conference Proceedings. arXiv:1302.7156 (2014)
Colombeau, J.F.: New generalized functions. Multiplication of distributions. Physical applications. Contrib. J. Sebastiao e Silva Port. Math. 41, 57–69 (1982)
Colombeau, J.F.: A multiplication of distributions. J. Math. Anal. Appl. 94, 96–115 (1983)
Colombeau, J.F.: New Generalized Functions and Multiplication of Distributions. North Holland, Amsterdam (1984)
Colombeau, J.F.: Elementary Introduction to New Generalized Functions. North Holland, Amsterdam (1985)
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)
Oberguggenberger, M., Todorov, T.: An embedding of Schwartz distributions in the algebra of asymptotic functions. Int. J. Math. Math. Sci. 21, 417–428 (1998)
Robinson, A.: Non-standard Analysis. North Holland, Amsterdam (1966)
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)
Schwartz, L.: Sur l’impossibilité de la multiplication des distributions. C. R. Acad. Sci. Paris 239, 847–848 (1954)
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)
Acknowledgments
The authors would like to thank the referee for his careful reading of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
Lorenzo Luperi Baglini was supported by Grant P25311-N25 of the Austrian Science Fund FWF.
Rights and permissions
About this article
Cite this article
Benci, V., Luperi Baglini, L. A non-archimedean algebra and the Schwartz impossibility theorem. Monatsh Math 176, 503–520 (2015). https://doi.org/10.1007/s00605-014-0647-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-014-0647-x