Skip to main content
Log in

A non-archimedean algebra and the Schwartz impossibility theorem

  • Published:
Monatshefte für Mathematik Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. 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

  1. Benci, V.: Ultrafunctions and generalized solutions. In: Advanced Nonlinear Studies 13, 461–486. arXiv:1206.2257 (2013)

  2. Benci, V., Luperi Baglini, L.: A model problem for ultrafunctions. In: Proceedings of the EJDE Conference, vol. 21, pp. 11–21 (2014)

  3. Benci, V., Luperi Baglini, L.: Basic properties of ultrafunctions. To Appear in the WNDE2012 Conference Proceedings. arXiv:1302.7156 (2014)

  4. Colombeau, J.F.: New generalized functions. Multiplication of distributions. Physical applications. Contrib. J. Sebastiao e Silva Port. Math. 41, 57–69 (1982)

    MATH  MathSciNet  Google Scholar 

  5. Colombeau, J.F.: A multiplication of distributions. J. Math. Anal. Appl. 94, 96–115 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  6. Colombeau, J.F.: New Generalized Functions and Multiplication of Distributions. North Holland, Amsterdam (1984)

    MATH  Google Scholar 

  7. Colombeau, J.F.: Elementary Introduction to New Generalized Functions. North Holland, Amsterdam (1985)

    MATH  Google Scholar 

  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)

    Book  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  10. Robinson, A.: Non-standard Analysis. North Holland, Amsterdam (1966)

    MATH  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  12. Schwartz, L.: Sur l’impossibilité de la multiplication des distributions. C. R. Acad. Sci. Paris 239, 847–848 (1954)

    MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  Google Scholar 

Download references

Acknowledgments

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lorenzo Luperi Baglini.

Additional information

Communicated by A. Constantin.

Lorenzo Luperi Baglini was supported by Grant P25311-N25 of the Austrian Science Fund FWF.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00605-014-0647-x

Keywords

Mathematics Subject Classification

Navigation