Our work on Non-Archimedean Analysis is centered on the development of Analysis concepts on totally ordered Non-Archimedean Fields, in particular those first described by Levi-Civita. Those structures have the advantage of being particularly small, and even treatable in computational environments, which is not the case for the structures of the field of Non-Standard Analysis. While in the latter discipline, there is a generally valid transfer principle that allows the transformation of known results of conventional analysis, here all relevant calculus theorems are developed separately, which is facilitated by theorems that under certain conditions allow the extension of classical behavior into infinitely small neighborhoods.
Our work encompasses developing various calculus concepts including smoothness approaches that allow to formulate intermediate value theorems, theorems about ranges, and local expandability in Taylor series in various topologies. We have also developed corresponding versions of a Cauchy theory, theories about measurable sets and functions, existence and uniqueness of differential equations, and operators in Hilbert Spaces.
Besides their intrinsic interest, the methods can be applied for the practical need to compute derivatives of excessively complicated real and complex functions in a computer environment that are intractable in any other way. This is achieved by evaluating their first and higher order difference quotients with infinitely small increments, which is assured to result in infinitely accurate approximations (and for the purposes of classical real analysis, thus exact determination) of the derivative.
MSU hosted and organizes the Tenth International Conference on p-adic and Non-Archimedean Analysis in 2008. Details can be found here.
Papers on Non-Archimedean Analysis can be found on our publication server.