Related papers: Generalized Functions and Infinitesimals
This is an exposition of some basic ideas in the realm of Global Inverse Function theorems. We address ourselves mainly to readers who are interested in the applications to Differential Equations. But we do not deal with those applications…
A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and…
The paper proves a generalization of Wintner's theorem on the asymptotics of summation functions to the case of summation functions with nonlinear asymptotics. The class of arithmetic functions that have a logarithmic asymptotic mean is…
We present a method for constructing global analytical expressions that approximate a function over its entire range. These approximations not only mirror the original function as accurately as desired, but are purposefully created to…
Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in…
Prompted by an observation about the integral of exponential functions of the form $f(x)=\lambda e^{\alpha x}$, we investigate the possibility to exactly integrate families of functions generated from a given function by scaling or by…
We simplify the proof of some widely used theoretical theorems, extending their applicability, while correcting some erroneous results. We also generalize key results and present new results that contribute to the development of the theory.…
A new summation method is introduced to convert a relatively wide family of infinite sums and local expansions into integrals. The integral representations yield global information such as analytic continuability, position of singularities,…
We present a theorem on taking the repeated indefinite summation of a holomorphic function $\phi(z)$ in a vertical strip of $\mathbb{C}$ satisfying exponential bounds as the imaginary part grows. We arrive at this result using transforms…
Paper is devoted to extremal problems in geometric function theory of complex variables associated with estimates of functionals defined on the systems of non-overlapping domains. In particular, we strengthen some known result in this…
Hilary Putnam once suggested that "the actual existence of sets as 'intangible objects' suffers... from a generalization of a problem first pointed out by Paul Benacerraf... are sets a kind of function or are functions a sort of set?"…
Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…
This note shows that some assumption on small balls probability, frequently used in the domain of functional statistics, implies that the considered functional space is of finite dimension. To complete this result an example of L2 process…
The discovery of the infinite integer leads to a partition between finite and infinite numbers. Construction of an infinitesimal and infinitary number system, the Gossamer numbers. Du Bois-Reymond's much-greater-than relations and…
In this paper certain classes of infinite sums involving special functions are evaluated analytically by application of basic quantum mechanical principles to simple models of half harmonic oscillator and a particle trapped inside an…
We develop a nonlinear theory for infrahyperfunctions (also referred to as quasianalytic (ultra)distributions by L. H\"{o}rmander). In the hyperfunction case our work can be summarized as follows. We construct a differential algebra that…
Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs. The proof mining of…
The main objects of study in this paper are those functionals that are analytic in the sense that they annihilate the non-commutative disc algebra. In the classical univariate case, a theorem of F. and M. Riesz implies that such functionals…
In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion. In particular, spaces of generalized functions are constructed that contain generalized solutions to all systems of continuous,…
We present an overview of some of Alberto Collino's work which uses the Griffiths infinitesimal invariant of a normal function.