The local structure of nonstandard representatives of distributions (Q942856)

Summary: It is shown that the nonstandard representatives of Schwartz distributions, as introduced by \textit{K.\,D.\thinspace Stroyan} and \textit{W.\,A.\,J.\thinspace Luxemburg} in their book [``Introduction to the theory of infinitesimals'' (Pure and Applied Mathematics 72; New York etc.:\ Academic Press) (1976; Zbl 0336.26002)], are locally equal to a finite-order derivative of a finite-valued and S-continuous function. By 'equality', we mean a pointwise equality, not an equality in a distributional sense. This proves a conjecture by \textit{M.\,Oberguggenberger} [Z.\ Anal.\ Anwend.\ 10, No.\,2, 263--264 (1991; Zbl 0764.46033)]. Moreover, the representatives of the zero-distribution are locally equal to a finite-order derivative of a function assuming only infinitesimal values. These results also unify the nonstandard theory of distributions by Stroyan and Luxemburg with the theory by \textit{R.\,F.\thinspace Hoskins} and \textit{J.\,Sousa Pinto} [Port.\ Math.\ 48, No.\,2, 195--216 (1991; Zbl 0765.46060)].