Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f{\in }_m$ and f̂ be its Taylor series at $0\in {ℝ}^m$. Split the set ${\mathbb{N}}^m$ of exponents into two disjoint subsets A and B, ${\mathbb{N}}^m=A\cup B$, and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g,h{\in }_m$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

Let ${\beta \left(n\right)}_{n=0}^{\infty }$ be a sequence of positive numbers and 1 ≤ p < ∞. We consider the space ${\ell }^p\left(\beta \right)$ of all power series $f\left(z\right)={\sum }_{n=0}^{\infty }f̂\left(n\right)zⁿ$ such that ${\sum }_{n=0}^{\infty }{\left|f̂\left(n\right)\right|}^p{\left|\beta \left(n\right)\right|}^p<\infty$. We give some sufficient conditions for the multiplication operator, $M_z$, to be unicellular on the Banach space ${\ell }^p\left(\beta \right)$. This generalizes the main results obtained by Lu Fang [1].

We consider the behavior of the power series ${}_0\left(z\right)={\sum }_{n=1}^{\infty }{\mu }^2\left(n\right)z^n$ as z tends to $e\left(\beta \right)=e^{2\pi i\beta }$ along a radius of the unit circle. If β is irrational with irrationality exponent 2 then ${}_0\left(e\left(\beta \right)r\right)=O\left({(1-r)}^{-1/2-\epsilon }\right)$. Also we consider the cases of higher irrationality exponent. We prove that for each δ there exist irrational numbers β such that ${}_0\left(e\left(\beta \right)r\right)=\Omega \left({(1-r)}^{-1+\delta }\right)$.

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.

CONTENTSIntroduction................................................................................................................................... 5 Notations.......................................................................................................................... 5§ 1. Preliminaries........................................................................................................................ 6 1. Right invertible operators.....................................................................................................

For each n ≥ 1, let $v_{n,k},k\ge 1$ and $u_{n,k},k\ge 1$ be mutually independent sequences of nonnegative random variables and let each of them consist of mutually independent and identically distributed random variables with means v̅ₙ and u̅̅ₙ, respectively. Let $X{ₙ}^B\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(v_{n,j}-v̅ₙ)$, $X{ₙ}^A\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(u_{n,j}-u̅̅ₙ)$, t ≥ 0, and $Xₙ=X{ₙ}^B-X{ₙ}^A$. The main result gives conditions under which the weak convergence $Xₙ\stackrel{}{\to }X$, where X is a Lévy process, implies $X{ₙ}^B\stackrel{}{\to }{X}^B$ and $X{ₙ}^A\stackrel{}{\to }{X}^A$, where $X^B$ and $X^A$ are mutually independent Lévy processes and $X=X^B-X^A$.

Let $\sum _{n=1}^{\infty }{a}_n$ be a convergent series of positive real numbers. L. Olivier proved that if the sequence $\left(a_n\right)$ is non-increasing, then $\underset{n\to \infty }{lim}n{a}_n=0$. In the present paper: (a) We formulate and prove a necessary and sufficient condition for having $\underset{n\to \infty }{lim}n{a}_n=0$; Olivier’s theorem is a consequence of our Theorem . (b) We prove properties analogous to Olivier’s property when the usual convergence is replaced by the $ℐ$-convergence, that is a convergence according to an ideal $ℐ$ of subsets of $\mathbb{N}$. Again, Olivier’s theorem is a consequence...

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

We characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

Given d ≥ 2 consider the family of polynomials $P_c\left(z\right)=z^d+c$ for c ∈ ℂ. Denote by $J_c$ the Julia set of $P_c$ and let ${ℳ}_d=c|J_{c}isconnected$ be the connectedness locus; for d = 2 it is called the Mandelbrot set. We study semihyperbolic parameters $c₀\in \partial {ℳ}_d$: those for which the critical point 0 is not recurrent by $P_{c₀}$ and without parabolic cycles. The Hausdorff dimension of $J_c$, denoted by $HD\left(J_c\right)$, does not depend continuously on c at such $c₀\in \partial {ℳ}_d$; on the other hand the function $c\mapsto HD\left(J_c\right)$ is analytic in $ℂ-{ℳ}_d$. Our first result asserts that there is still some...

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO ${\Sigma }_1$, ${\Sigma }_2$, ${\Sigma }_3$, ${\Sigma }_4$ INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

We prove that any divisor $Y$ of a global analytic set $X\subset {ℝ}^n$ has a generic equation, that is, there is an analytic function vanishing on $Y$ with multiplicity one along each irreducible component of $Y$. We also prove that there are functions with arbitrary multiplicities along $Y$. The main result states that if $X$ is pure dimensional, $Y$ is locally principal, $X/Y$ is not connected and $Y$ represents the zero class in $H_{q-1}^{\infty }(X,{\mathbb{Z}}_2)$ then the divisor $Y$ is globally principal.