Related papers: Efroymson's approximation theorem for globally sub…

A theorem of Hoischen states that given a positive continuous function $\varepsilon:\mathbb{R}\to\mathbb{R}$, an integer $n\geq 0$, and a closed discrete set $E\subseteq\mathbb{R}$, any $C^n$ function $f:\mathbb{R}\to\mathbb{R}$ can be…

Let $U$ be a bounded open subset of the complex plane and let $A_{\alpha}(U)$ denote the set of functions analytic on $U$ that also belong to the little Lipschitz class with Lipschitz exponent $\alpha$. It is shown that if $A_{\alpha}(U)$…

The purpose of this paper is to define semi- and subanalytic subsets and maps in the context of real analytic orbifolds and to study their basic properties. We prove results analogous to some well-known results in the manifold case. For…

We present the class of semi-admissible subsets of an open Riemann surface on which Carleman approximation by non-critical holomorphic functions is possible. In particular we characterize closed sets with empty interior on which continuous…

Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In…

We prove that if $f:(a,b)\to\mathbb{R}$ is convex, then for any $\varepsilon>0$ there is a convex function $g\in C^2(a,b)$ such that $|\{f\neq g\}|<\varepsilon$ and $\Vert f-g\Vert_\infty<\varepsilon$.

We prove two main results on Denjoy-Carleman classes: (1) a composite function theorem which asserts that a function f(x) in a quasianalytic Denjoy-Carleman class Q, which is formally composite with a generically submersive mapping y=h(x)…

The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, $C^\infty(\Bbb{R}^n) \twoheadrightarrow…

\emph{Approximation Theory} uses nicely-behaved subcategories to understand entire categories, just as projective modules are used to approximate arbitrary modules in classical homological algebra. We use set-theoretic \emph{elementary…

For a compact subset $K$ of the complex plane $\mathbb C,$ let $C(K)$ denote the algebra of continuous functions on $K$. For an open subset $U \subset K,$ let $A(K,U) \subset C(K)$ be the algebra of functions that are analytic in $U.$ We…

We show how Lasry-Lions's result on regularization of functions defined on $\mathbb{R}^n$ or on Hilbert spaces by sup-inf convolutions with squares of distances can be extended to (finite or infinite dimensional) Riemannian manifolds $M$ of…

If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The…

Building upon previous works of Andr{\'e} and Chudnovsky, we prove a general result concerning the approximations of values at rational points a/b of any G-function F with rational Taylor coefficients by fractions of the form n/(B…

Let $M$ be an $n$-dimensional complex manifold. A holomorphic function $f:M\to \mathbb C$ is said to be semi-Bloch if for every $\lambda\in \mathbb C$ the function $g_\lambda=\exp(\lambda f(z))$ is normal on $M$. We characterise Semi-Bloch…

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…

Let $\Omega$ be a bounded pseudoconvex domain in $\mathbb{C}^N$. Given a continuous plurisubharmonic function $u$ on $\Omega$, we construct a sequence of Gaussian analytic functions $f_n$ on $\Omega$ associated with $u$ such that…

We show that on separable Banach spaces admitting a separating polynomial, any uniformly continuous, bounded, real-valued function can be uniformly approximated by Lipschitz, analytic maps on bounded sets.

The universal approximation theorem asserts that a single hidden layer neural network approximates continuous functions with any desired precision on compact sets. As an existential result, the universal approximation theorem supports the…

Let $D$ be a bounded domain in $\mathbb C^n$. We study approximation of (not necessarily bounded from above) $m-$subharmonic function $D$ by continuous $m-$subharmonic ones defined on neighborhoods of $\overline{D}$. We also consider the…

Given a porous compact $K \subset \mathbb{R}^d$ and a continuity modulus $\omega$, we prove a quantitative Jackson-Bernstein type theorem on harmonic approximation. That is, a function $f$ belongs to the class $\mathrm{Lip}_{\omega}(K)$ if…