Related papers: On extending C^k functions from an open set to R, …

This paper enriches preexisting satisfiability tests for unquantified languages, which in turn augment a fragment of Tarski's elementary algebra with unary real functions possessing a continuous first derivative. Two sorts of individual…

In this paper we show that the real differential of any injective slice regular function is everywhere invertible. The result is a generalization of a theorem proved by G. Gentili, S. Salamon and C. Stoppato, and it is obtained thanks, in…

In this short paper, we will show that the space of real valued uniformly continuous functions defined on a metric space $(X,d)$ is a ring if and only if every subset $A\subset X$ has one of the following properties: $A$ is…

We prove a Slice Theorem around closed leaves in a singular Riemannian foliation, and we use it to study the $C^\infty$-algebra of smooth basic functions, generalizing to the inhomogeneous setting a number of results by G.~Schwarz. In…

Let B be the open unit ball in C^2 and let a, b, c be three points in C^2 which do not lie in a complex line, such that the complex line through a and b meets B and such that <a|b> is different from 1 if one of the points a, b is in B and…

This paper develops a theory of $C^\infty$-superrings and their associated $C^\infty$-superschemes. We prove a key equivalence between the category of fair affine $C^\infty$-superschemes and the category of fair $C^\infty$-superrings. We…

Let A be an arbitrary countable set of reals, for example A=Q. Let g be an arbitrary mapping from A into the positive reals, for example g(a)=2^a. We show how a strictly increasing real function f can be constructed such that f'(x)=g(x) for…

Let $r(z)$ be a rational function with at most $n$ poles, $a_1, a_2, \ldots, a_n,$ where $|a_j| > 1,$ $1\leq j\leq n.$ This paper investigates the estimate of the modulus of the derivative of a rational function $r(z)$ on the unit circle.…

We obtain a new decomposition of the Riemann-Liouville operators of fractional integration as a series involving derivatives (of integer order). The new formulas are valid for functions of class $C^n$, $n \in \mathbb{N}$, and allow us to…

The author makes use of infinite compositions and a limiting function to construct a $\mathcal{C}^\infty$ tetration function $\mathcal{F}(t) = e \tet t$. As a tetration function, $\mathcal{F}$ satisfies $e^{\mathcal{F}(t)} =…

It is shown that the extension of $\R$ by a generic smooth function restricted to the unit cube is o-minimal. The generalization to countably many generic smooth functions is indicated. Possible applications are sketched.

Let $R$ be a real closed field and $K:=R(i)$ its algebraic closure. Let $U\subset K^n$ be an open and definable set in a fixed o-minimal structure. In this note, we study the relationship between definability of a $K$-holomorphic function…

We prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of…

We show that if $X$ is a Banach space whose dual $X^{*}$ has an equivalent locally uniformly rotund (LUR) norm, then for every open convex $U\subseteq X$, for every $\varepsilon >0$, and for every continuous and convex function $f:U…

Given a bounded open subset $\Omega$ and closed subsets $A,B$ of $\mathbb{R}^k$, we discuss when an estimate $u(x)\le g(dist(x,A\cup B))$, $x\in\Omega\setminus(A\cup B)$, for a function $u$ subharmonic on $\Omega\setminus B$, implies that…

Let $f,g:(\mathbb{R}^n,0)\rightarrow (\mathbb{R},0)$ be $C^{r+1}$ functions, $r\in \mathbb{N}$. We will show that if $\nabla f(0)=0$ and there exist a neigbourhood $U$ of $0\in \mathbb{R}^n$ and a constant $C>0$ such that $$…

Let $U\subseteq\mathbb{R}^{n}$ be open and convex. We show that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. In doing so we…

We establish a theory of NC functions on a class of von Neumann algebras with a particular direct sum property, e.g. $B(\mathcal{H})$. In contrast to the theory's origins, we do not rely on appealing to results from the matricial case. We…

In this work we attempt to generalize our result in [6] [7] for real rings (not just von Neumann regular real rings). In other words we attempt to characterize and construct real closure * of commutative unitary rings that are real. We also…

Let $U\subseteq\mathbb{R}^d$ be open and convex. We prove that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. We also show…