Related papers: Checking real analyticity on surfaces

It is a well-known and elementary fact that a holomorphic function on a compact complex manifold without boundary is necessarily constant. The purpose of the present article is to investigate whether, or to what extent, a similar property…

Function (linear) spaces on which an arbitrary function operates (i.e. the space is stable w.r.t. the pointwise unary operation defined by the function) were investigated, for continuous real or complex operations, by deLeeuw-Katznelson,…

We give a simplified proof of analyticity of pluripolar multifunctions

We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…

A function $f$ is arc-smooth if the composite $f\circ c$ with every smooth curve $c$ in its domain of definition is smooth. On open sets in smooth manifolds the arc-smooth functions are precisely the smooth functions by a classical theorem…

Let X be a complex analytic space. A short analytic arc is a holomorphic map of the closed unit disc to X such that only the origin is mapped to a singular point. In contrast with the space of formal arcs studied by Nash, the moduli space…

Let $U$ be an open relatively compact subanalytic subset of a real analytic manifold. We show that there exists a finite linear covering (in the sense of Guillermou and Schapira) of $U$ by subanalytic open subsets of $U$ homeomorphic to a…

The purpose of this paper is to prove a new general result about rings of complex analytic functions. Let $\Omega$ be an arbitrary nonempty open subset of the complex plane $\mathbb C$, $\mathcal{A}(\Omega)$ be the set of holomorphic…

The notion of supershift (in itself a generalization of the notion of superoscillation arising in quantum mechanics) expresses the fact that the sampling of a function in an interval allows to compute the values of the function far from the…

We define the algebra of Colombeau generalized functions on a subset A of the space of d-dimensional generalized points. If the domain A is open, such generalized functions can be identified with pointwise maps from A into the ring of…

We study the Gauss map and the dual variety of a real-analytic immersion of a connected compact real-analytic manifold into a sphere or into a hyperbolic space. The dual variety is defined to be the set of all normal directions of the…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We define and study rational discrete analytic functions and prove the existence of a coisometric realization for discrete analytic Schur multipliers.

Let $\mathbb{B}^2$ denote the open unit ball in $\mathbb{C}^2$, and let $p\in \mathbb{C}^2\setminus\overline{\mathbb{B}^2}$. We prove that if $f$ is an analytic function on the sphere $\partial\mathbb{B}^2$ that extends holomorphically in…

By the classical result of E. Bedford, a real-analytic non-generic manifold is pluripolar. We extend this result for manifolds of the Gevrey class. This also gives a generalization of the recent result of D. Coman, N. Levenberg and E.…

In this article we introduce the structure of an analytic Banach manifold in the set of stationary flows without stagnation points of the ideal incompressible fluid in a periodic 2-d channel bounded by the curves $y=f(x)$ and $y=g(x)$ where…

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $\alpha$, with $0<\alpha<1$, in the vicinity of an exceptional boundary point where all such functions…

A continuous complex-valued function $F$ in a domain $D\subseteq\mathbf{C}$ is Poly-analytic of order $\alpha$ if it satisfies $\partial^{\alpha}_{\overline{z}}F=0.$ One can show that $F$ has the form…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…