Abstract
Non-Archimedean mathematics (in particular, nonstandard analysis) allows to construct some useful models to study certain phenomena arising in PDE’s; for example, it allows to construct generalized solutions of differential equations and variational problems that have no classical solution. In this paper we introduce certain notions of Non-Archimedean mathematics (and of nonstandard analysis) by means of an elementary topological approach; in particular, we construct Non-Archimedean extensions of the reals as appropriate topological completions of \(\mathbb {R}\). Our approach is based on the notion of \(\varLambda \)-limit for real functions, and it is called \(\varLambda \)-theory. It can be seen as a topological generalization of the \(\alpha \)-theory presented in [6], and as an alternative topological presentation of the ultrapower construction of nonstandard extensions (in the sense of [21]). To motivate the use of \(\varLambda \)-theory for applications we show how to use it to solve a minimization problem of calculus of variations (that does not have classical solutions) by means of a particular family of generalized functions, called ultrafunctions.
Keywords
- Non-Archimedean mathematics
- Nonstandard analysis
- Limits of functions
- Generalized functions
- Ultrafunctions
MSC 2010:
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
An ultrafilter \(\mathscr {U}\) is countably incomplete if there exists a family \(\langle A_{n}\mid n\in \mathbb {N}\rangle \) of elements of \(\mathscr {U }\) such that \(\bigcap _{n\in \mathbb {N}}A_{n}=\emptyset \).
- 2.
A superreal non Archimedean field is an ordered field that properly contains \(\mathbb {R}\).
- 3.
\( p^{*}\) is the bounded sentence obtained by changing every constant symbol \(c\in V_{\infty }(\mathbb {R})\) that appears in p with \(c^{*}\).
- 4.
See e.g. [1], where many different applications of hyperfinite objects and other nonstandard tools are developed.
- 5.
Once again, it should be evident to readers expert in NSA that our definition is precisely analogous to the one that is given for ultrapowers.
- 6.
Let us recall that an ultrafilter \(\mathscr {U}\) on \(\mathfrak {L}\) is fine if for every \(\lambda \in \mathfrak {L}\) the set \(\{\mu \in \mathfrak {L}\mid \mu \subseteq \lambda \}\in \mathscr {U}\). We also point out that, for more complicated applications, it would be better to take \(\mathfrak {L}=\mathscr {P }_{fin}\left( V_{\infty }(\mathbb {R})\right) \).
- 7.
Any interested reader can find it in [10].
- 8.
E.g., in [12] a (slightly modified) version of this hypothesis is used to construct an embedding of the space of distributions in a particular algebra of functions constructed by means of ultrafunctions.
- 9.
Let us observe that both the scalar product and the norm take values in \( \mathbb {R}^{*}\).
- 10.
This example has already been studied in greater detail in [11].
References
Albeverio, S., Fenstad, J.E., Hoegh-Krohn, R., Lindstrom, T.: Nonstandard Methods in Stochastic Analysis and Mathematical Physics. Dover Books on Mathematics (2009)
Bartoszynski, A., Shelah, S.: There may be no Hausdorff ultrafilters, manuscript (2003). arXiv:math/0311064
Benci, V.: A construction of a nonstandard universe. In: Albeverio, S. et al. (eds.) Advances in Dynamical Systems and Quantum Physics, pp. 207–237. World Scientific (1995)
Benci, V.: An algebraic approach to nonstandard analysis. In: Buttazzo, G. et al. (eds.) Calculus of Variations and Partial Differential Equations, pp. 285–326. Springer, Berlin (1999), 285–326
Benci, V.: Ultrafunctions and generalized solutions. Adv. Nonlinear Stud. 13, 461–486 (2013). arXiv:1206.2257
Benci, V., Di Nasso, M.: Alpha-theory: an elementary axiomatic for nonstandard analysis. Expo. Math. 21, 355–386 (2003)
Benci, V., Di Nasso, M.: A purely algebraic characterization of the hyperreal numbers. Proc. Am. Math. Soc. 133(9), 2501–2505 (2005)
Benci, V., Di Nasso, M., Forti, M.: Hausdorff nonstandard extensions. Boletim da Sociedade Paranaense de Matematica (3) 20, 9–20 (2002)
Benci, V., Baglini, L.L.: A model problem for ultrafunctions. In: Variational and Topological Methods: Theory, Applications, Numerical Simulations, and Open Problems, pp. 11–21 (2014). (Electron. J. Diff. Eqns., Conference 21)
Benci, V., Baglini, L.L.: Basic properties of ultrafunctions. In: Proceedings of WNLDE 2012, vol. 85, pp. 61–86. (Prog. Nonlin.)
Benci, V., Baglini, L.L., Ultrafunctions and applications. DCDS-S 7(4), 593–616 (2014)
Benci, V., Baglini, L.L.: A non archimedean algebra and the Schwartz impossibility theorem. Monatsh. Math. (2014). doi:10.1007/s00605-014-0647-x
Benci, V., Baglini, L.L.: Generalized functions beyond distributions. AJOM (2014)
Benci V., Baglini, L.L.: A generalization of Gauss’ divergence theorem, Contemporary Mathematics, to be published
Benci, V., Baglini, L.L.: Generalized solutions in PDE’s and the Burgers’ equation, in preparation
Di Nasso, M., Forti, M.: Topological and nonstandard extensions. Monatsh. Math. 144(2), 89–112 (2005)
Forti, M.: A simple algebraic characterization of nonstandard extensions. Proc. Am. Math. Soc. 140(8), 2903–2912 (2012)
Giordano, P., Baglini, L.L.: Asymptotic gauges: generalization of Colombeau type algebras. Math. Nachr. doi:10.1002/mana.201400278
Grosser, M., Kunzinger, M., Oberguggenberger, M., Steinbauer, R.: Geometric Theory of Generalized Functions. Kluwer, Dordrecht (2001)
Henson, C.W.: A gentle introduction to nonstandard extensions. In: Arkeryd, L.O., Cutland, N.J., Henson, C.W. (eds.) Nonstandard Analysis: Theory and Applications, NATO ASI series C, vol. 493, pp. 1–49. Kluwer Academic Publishers (1997)
Keisler, H.J.: Foundations of Infinitesimal Calculus. University of Wisconsin at Madison (2009)
Loeb, P.A., Wolff, M. (eds.): Nonstandard Analysis for the Working Mathematician. Kluwer Academic Publishers, Dordrecht (2000)
Luxemburg, W.A.J.: Non-standard Analysis, Lecture Notes, California Institute of Technology. Pasadena (1962)
Nelson, E.: Internal set theory; a new approach to nonstandard analysis. Bull. Am. Math. Soc. 83, 1165–1198 (1977)
Robinson, A.: Non-standard analysis. In: Proceedings of the Royal Academy of Sciences, (Series A) vol. 64, pp. 432–440. Amsterdam (1961)
Robinson, A.: Function theory on some nonarchimedean fields. Am. Math. Monthly 80, 87–109 (1973). (Part II, Papers in the Foundations of Mathematics)
Robinson, A., Zakon, E.: A set-theoretical characterization of enlargements. In: Luxemburg, W.A.J. (ed.) Applications of Model Theory to Algebra, Analysis and Probability, pp. 109–122. Holt, Rinehart and Winston (1969)
Acknowledgments
Supported by grants P25311-N25 and M1876-N35 of the Austrian Science Fund FWF.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Benci, V., Luperi Baglini, L. (2016). A Topological Approach to Non-Archimedean Mathematics. In: Gazzola, F., Ishige, K., Nitsch, C., Salani, P. (eds) Geometric Properties for Parabolic and Elliptic PDE's. GPPEPDEs 2015. Springer Proceedings in Mathematics & Statistics, vol 176. Springer, Cham. https://doi.org/10.1007/978-3-319-41538-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-41538-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41536-9
Online ISBN: 978-3-319-41538-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)