Related papers: Fr\'echet-valued formal power series

The (projective) convergence set of a divergent formal power series $f(x_{1},...,x_{n})$ is defined to be the image in $\PP^{n-1}$ of the set of all $x\in \mathbb{C}^{n}$ such that $f(x_{1}t,...,x_{n}t)$, as a series in $t$, converges…

We consider convergence sets of formal power series of the form $f(z,t)=\sum_{n=0}^{\infty} f_n(z)t^n$, where $f_n(z)$ are holomorphic functions on a domain $\Omega$ in $\mathbb{C}$. A subset $E$ of $\Omega$ is said to be a convergence set…

Let $C$ be an algebraically closed field containing the finite field $F_q$ and complete with respect to an absolute value $|\;|$. We prove that under suitable constraints on the coefficients, the series $f(z) = \sum_{n \in \Z} a_n z^{q^n}$…

We investigate polynomial sets {P n } n$\ge$0 with generating power series of the form F (xt -- R(t)) and satisfying, for n $\ge$ 0, the (d + 1)-order recursion xP\_ n (x) = P\_{ n+1 }(x) +\sum\_{ l=0}^{d} \gamma^{l}\_{n} P\_{ n--l} (x),…

In this article, we study the properties of the autonomous superposition operator on the space of formal power series, including those with nonzero constant term. We prove its continuity and smoothness with respect to the topology of…

We propose a sufficient condition of the convergence of a power-log series that formally satisfies an algebraic ordinary differential equation (ODE) of arbitrary order. A general form and properties of the functional coefficients of such a…

Let $X$ be a (real or complex) infinite dimensional linear space. We establish conditions on a homogeneous polynomial $P$ on $X$ so that, if $W$ is any finite dimensional subspace of $X$ on which $P$ vanishes, then $P$ vanishes on an…

We call shifted power a polynomial of the form $(x-a)^e$. The main goal of this paper is to obtain broadly applicable criteria ensuring that the elements of a finite family $F$ of shifted powers are linearly independent or, failing that, to…

A sufficient condition for the convergence of a generalized formal power series solution to an algebraic $q$-difference equation is provided. The main result leans on a geometric property related to the semi-group of (complex) power…

Let $\mathcal F$ be either the set of all bounded holomorphic functions or the set of all $m$-homogeneous polynomials on the unit ball of $\ell\_r$. We give a systematic study of the sets of all $u\in\ell\_r$ for which the monomial…

Let $E$ be a compact set in $\mathbb C$ with connected complement, and let $A(E)$ be the class of all complex continuous function on $E$ that are analytic in the interior $E^0$ of $E$. Let $f \in A(E)$ be zero free on $E^0$. By Mergelyan's…

Let $E$ be a compact set of positive logarithmic capacity in the complex plane and let $\{P_n(z)\}_{1}^{\infty}$ be a sequence of asymptotically extremal monic polynomials for $E$ in the sense that \begin{equation*}%\label{}…

Let $a=(a_n)_{n\ge 1}$ be a periodic sequence, $F_a(s)$ the meromorphic continuation of $\sum_{n\ge 1} a_n/n^s$, and $N_a(\sigma_1, \sigma_2, T)$ the number of zeros of $F_a(s)$, counted with their multiplicities, in the rectangle $\sigma_1…

We propose a sufficient condition of the convergence of a generalized power series formally satisfying an algebraic (polynomial) ordinary differential equation. The proof is based on the majorant method.

A nonlinear generalization of convergence sets of formal power series, in the sense of Abhyankar-Moh, is introduced. Given a family y=\phi_{s}(t,x)=sb_{1}(x)t+b_{2}(x)t^{2}+... of analytic curves in C\timesC^{n} passing through the origin,…

We consider a family of holomorphic PDEs whose singular locus is given by the zero set of an analytic map $P$ with $P(0)=0$. Our goal is to establish conditions for the existence and uniqueness of formal power series solutions and to…

Extending a result of Mashreghi and Ransford, we prove that every complex separable infinite dimensional Fr\'echet space with a continuous norm is isomorphic to a space continuously included in a space of holomorphic functions on the unit…

We formulate and prove a necessary condition for a sequence of analytic trigonometric polynomials with real non-negative coefficients to be flat a.e.

Let E be a compact set of C of positive logarithmic capacity. Let us suppose that for every polynomial $P\not=id$ we have $P^{-1}(E)\not=E$. Then for all no constant polynomials f and g such that $f^{-1}(E)=g^{-1}(E)$ we have f=g.

The pluripolar hull of a pluripolar set E in $\mathbb{P}^n$ is the intersection of all complete pluripolar sets in $\mathbb{P}^n$ that contain $E$. We prove that the pluripolar hull of each compact pluripolar set in $\mathbb{P}^n$ is…