Related papers: Arc-smooth functions on closed sets

We call a local homeomorphism $f: (R^n,0)\to(R^n,0)$ blow-analytic if it becomes real analytic after composing with a finite number blowings-up with smooth nowhere dense centers. If the graph of $f$ is semi-algebraic then, by a theorem of…

The classical ``$H=W$" theorem establishes the identity between two function spaces on an arbitrary nonempty open set in the Euclidean spaces: the space $W$ defined via weak derivatives, and the space $H$ defined as the closure of smooth…

A function that is analytic on a domain of $\mathbb{C}^n$ is holonomic if it is the solution to a holonomic system of linear homogeneous differential equations with polynomial coefficients. We define and study the Bernstein-Sato polynomial…

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…

Fix integers a_1,...,a_d satisfying a_1 + ... + a_d = 0. Suppose that f : Z_N -> [0,1], where N is prime. We show that if f is ``smooth enough'' then we can bound from below the sum of f(x_1)...f(x_d) over all solutions (x_1,...,x_d) in Z_N…

We present the analytic foundation of a unified B-D-F extension functor $\operatorname{Ext}_\tau$ on the category of noncommutative smooth algebras, for any Fr\'echet operator ideal $\Cal K_\tau$. Combining the techniques devised by Arveson…

Let $f$ be a generically finite polynomial map $f: \mathbb{C}^n\to \mathbb{C}^m$ of algebraic degree $d$. Motivated by the study of the Jacobian Conjecture, we prove that the set $S_f$ of non-properness of $f$ is covered by parametric…

This article is devoted to studying multiplicity and regularity of real analytic sets. We present an equivalence for real analytic sets, named blow-spherical equivalence, which generalizes differential equivalence and subanalytic…

In the first half of twentieth century the theory of complex analytic functions and of their zerosets was fully developed. The definition of holomorphic function has a local nature. Germs of holomorphic functions form a distinguished…

Let $\mathcal{G} = \{G_1 = (V, E_1), \dots, G_m = (V, E_m)\}$ be a collection of $m$ graphs defined on a common set of vertices $V$ but with different edge sets $E_1, \dots, E_m$. Informally, a function $f :V \rightarrow \mathbb{R}$ is…

Let $K$ be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring $R$. Let $f\colon Y\to X$ be a map of $K$-affinoid varieties. In this paper we study the analytic structure of the image $f(Y)\subset…

For a smooth expanding map $f$ of the circle, its (unmarked) length spectrum is defined as the set of logarithms of multipliers of periodic orbits of $f$. This spectrum is analogous to the set of lengths of all closed geodesics on…

Let $D$ be the open unit disc in the complex plane. We denote by $\mathbb{C}$ the set of complex numbers and consider any compact set $K$ which is disjoint from $D$ and which also has connected complement. Let $A(K)$ denote all the…

Let $(M^{n+1},g,e^{-f}d\mu)$ be a complete smooth metric measure space with $2\leq n\leq 6$ and Bakry-\'{E}mery Ricci curvature bounded below by a positive constant. We prove a smooth compactness theorem for the space of complete embedded…

Let $U$ be an open set in $\mathbb{R}^d$. A continuous function $f\colon U \to \mathbb{R}$ is strongly nowhere differentiable if and only if for each $\gamma\in(0,1]$ and for each unit speed $C^{1,\gamma}$ curve $c\colon [a,b] \to U$, the…

We characterize the model spaces $K_\Theta$ in which functions with smooth boundary extensions are dense. It is shown that such approximations are possible if and only if the singular measure associated to the singular inner factor of…

The purpose of this paper is to generalize in a geometric setting theorems of Severi, Brown and Bochner about analytic continuation of real analytic functions which are holomorphic or harmonic with respect to one of its variables. We prove…

We prove the following new characterization of $C^p$ (Lipschitz) smoothness in Banach spaces. An infinite-dimensional Banach space $X$ has a $C^p$ smooth (Lipschitz) bump function if and only if it has another $C^p$ smooth (Lipschitz) bump…

Let $\mathcal{A}$ be the class of all analytic functions $f$ defined on the open unit disk $\mathbb{D}$ with the normalization $f(0)=0=f^{\prime}(0)-1$. This paper examines the radius of concavity for various subclasses of $\mathcal{A}$,…

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…