Related papers: Integration on the Surreals

We introduce a natural method of computing antiderivatives of a large class of functions which stems from the observation that the series expansion of an antiderivative differs from the series expansion of the corresponding integrand by…

The analytic structure of the Regge action on a cone in $d$ dimensions over a boundary of arbitrary topology is determined in simplicial minisuperspace. The minisuperspace is defined by the assignment of a single internal edge length to all…

Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical…

Building upon ideas of Hironaka, Bierstone-Milman, Malgrange and others we generalize the inverse and implicit function theorem (in differential, analytic and algebraic setting) to sets of functions of larger multiplicities (or ideals).…

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

Kleene's computability theory based on the S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's 'machine model' which formalises computing with real numbers. A fundamental…

Unlike polynomials, rational functions can represent functions having poles or branch cuts with root-exponential convergence and no Runge phenomenon. Recent developments of the AAA and greedy Thiele algorithms have sparked renewed interest…

We prove the enveloping property of the known divergent asymptotic expansions of the large real zeros of the cylinder and Airy functions, and thereby answering in the affirmative two conjectures posed by Elbert and Laforgia and by Fabijonas…

The theory of distributions provides generalized solutions for problems which do not have a classical solution. However, there are problems which do not have solutions, not even in the space of distributions. As model problem you may think…

We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals…

Many problems in nonlinear analysis and optimization, among them variational inequalities and minimization of convex functions, can be reduced to finding zeros (namely, roots) of set-valued operators. Hence numerous algorithms have been…

We consider derivations $\partial$ on Conway's field $\mathbf{No}$ of surreal numbers such that the ordered differential field $(\mathbf{No},\partial)$ has constant field $\mathbb{R}$ and is a model of the model companion of the theory of…

In this work, we introduce a new class of non-convex functions, called implicit concave functions, which are compositions of a concave function with a continuously differentiable mapping. We analyze the properties of their minimization by…

We extend the functional analytic approach to Colombeau-type spaces of nonlinear generalized functions in order to study algebras of tempered generalized functions. We obtain a definition of Fourier transform of nonlinear generalized…

We consider real forms of Lie algebras and embeddings of sl(2) which are consistent with the construction of integrable models via Hamiltonian reduction. In other words: we examine possible non-standard reality conditions for non-abelian…

We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these…

In the paper, by virtue of expansions of two finite products of finitely many square sums, with the aid of series expansions of composite functions of (hyperbolic) sine and cosine functions with inverse sine and cosine functions, and in the…

In resonance to a recent geometric framework proposed by Douglas and Yang, a functional model for certain linear bounded operators with rank-one self-commutator acting on a Hilbert space is developed. By taking advantage of the refined…

We survey recent work on normal functions, including limits and singularities of admissible normal functions, the Griffiths-Green approach to the Hodge conjecture, algebraicity of the zero-locus of a normal function, Neron models, and…

Here is a sample of the results proved in this paper: Let $f:{\bf R}\to {\bf R}$ be a continuous function, let $\rho>0$ and let $\omega:[0,\rho[\to [0,+\infty[$ be a continuous increasing function such that $\lim_{\xi\to…