On the Radial Behavior of Universal Taylor Series

In this work we deal with universal Taylor series in the open unit disk, in the sense of Nestoridis; see [12]. Such series are not (C,k) summable at every boundary point for every k; see [7], [11]. In the opposite direction, using approximation theorems of Arakeljan and Nersesjan we prove that universal Taylor series can be Abel summable at some points of the unit circle; these points can form any closed nowhere dense subset of the unit circle.     

The ¯∂-problem for multipliers of the Sobolev space

For , let and be the spaces of multipliers of , the Sobolev space on the unit circle, and , the Dirichlet type space on the open unit disk, respectively. In fact, and are obtained from and by analytic extension. In this paper, we show that if is an -Carleson measure on the open unit disk, then there exists a function f defined on the closed unit disk such that the equation holds on the open unit disk, and such that the boundary value function f belongs to . For applications, we first establish the corona theorem for , which, in the case , gives the answer to a question of L. Brown and A. L. Shields. Secondly, we obtain a geometric characterization of the interpolating sequences for with that extends a theorem of D. E. Marshall and C. Sundberg. Received: 20 October 1997 / Revised version: 7 May 1998     

解在QK 型及Dirichlet 型空间中的线性微分方程

对于单位圆盘上系数函数是解析函数的复微分方程
f⁽ⁿ⁾+A_n-1(z)f^(n-1)+…+A₁(z)f''+A₀(z)f=0,
给出了方程的系数函数和解函数之间的关系, 即当系数函数A_j 满足给定的条件时, 方程的所有解属于Q_K型空间和Dirichlet 型空间.     

A verified method for bounding clusters of zeros of analytic functions

In this paper, we propose a verified method for bounding clusters of zeros of analytic functions. Our method gives a disk that contains a cluster of m   zeros of an analytic function f(z)$f(z)$. Complex circular arithmetic is used to perform a validated computation of n  -degree Taylor polynomial p(z)$p(z)$ of f(z)$f(z)$. Some well known formulae for bounding zeros of a polynomial are used to compute a disk containing a cluster of zeros of p(z)$p(z)$. A validated computation of an upper bound for Taylor remainder series of f(z)$f(z)$ and a lower bound of p(z)$p(z)$ on a circle are performed. Based on these results, Rouché's theorem is used to verify that the disk contains the cluster of zeros of f(z)$f(z)$. This method is efficient in computation of the initial disk of a method for finding validated polynomial factor of an analytic function. Numerical examples are presented to illustrate the efficiency of the proposed method.     

A Universality Property of Gaussian Analytic Functions

We consider random analytic functions defined on the unit disk of the complex plane f(z) = ?_n=0^￥ a_n X_n zⁿf(z) = \sum_{n=0}^{\infty} a_{n} X_{n} z^{n}, where the X _n ’s are i.i.d., complex-valued random variables with mean zero and unit variance. The coefficients a _n are chosen so that f(z) is defined on a domain of ℂ carrying a planar or hyperbolic geometry, and Ef(z)[`(f(w))]\mathbf{E}f(z)\overline{f(w)} is covariant with respect to the isometry group. The corresponding Gaussian analytic functions have been much studied, and their zero sets have been considered in detail in a monograph by Hough, Krishnapur, Peres, and Virág. We show that for non-Gaussian coefficients, the zero set converges in distribution to that of the Gaussian analytic functions as one transports isometrically to the boundary of the domain. The proof is elementary and general.     

Near-circularity of the error curve in complex Chebyshev approximation

Let f(z) be analytic on the unit disk, and let p^*(z) be the best (Chebyshev) polynomial approximation to f(z) on the disk of degree at most n. It is observed that in typical problems the “error curve,” the image of the unit circle under (f − p^*)(z), often approximates to a startling degree a perfect circle with winding number n + 1. This phenomenon is approached by consideration of related problems whose error curves are exactly circular, making use of a classical theorem of Carathéodory and Fejér. This leads to a technique for calculating approximations in one step that are roughly as close to best as the best approximation error curve is close to circular, and hence to strong theorems on near-circularity as the radius of the domain shrinks to 0 or as n increases to ∞. As a computational example, very tight bounds are given for approximation of e^z on the unit disk. The generality of the near-circularity phenomenon (more general domains, rational approximation) is discussed.     

Beurling algebra analogues of the classical theorems of Wiener and Lévy on absolutely convergent fourier series

Letf be a continuous function on the unit circle Γ, whose Fourier series is ω-absolutely convergent for some weight ω on the set of integersZ. If f is nowhere vanishing on Γ, then there exists a weightv onZ such that 1/f hadv-absolutely convergent Fourier series. This includes Wiener’s classical theorem. As a corollary, it follows that if φ is holomorphic on a neighbourhood of the range off, then there exists a weight Χ on Z such that φ ◯f has Χ-absolutely convergent Fourier series. This is a weighted analogue of Lévy’s generalization of Wiener’s theorem. In the theorems,v and Χ are non-constant if and only if ω is non-constant. In general, the results fail ifv or Χ is required to be the same weight ω.     

限定Borel点的亚纯函数

设E是任意一个非空的闭实数集(mod 2π),ρ(θ)是E上一个上半连续的有界正值函数(0<ρ(θ)相似文献   

A topological invariant for pairs of maps

In this paper we develop the notion of contact orders for pairs of continuous self-maps (f, g) from ℝⁿ, showing that the set Con(f, g) of all possible contact orders between f and g is a topological invariant (we remark that Con(f, id) = Per(f)). As an interesting application of this concept, we give sufficient conditions for the graphs of two continuous self-maps from ℝ intersect each other. We also determine the ordering of the sets Con(f, 0) and Con(f, h), for h ∈ Hom(ℝ) such that f ∘ h = h ∘ f. For this latter set we obtain a generalization of Sharkovsky’s theorem.     

On functions convex in the direction of the real axis with a fixed second coefficient

In the paper we consider the class Γ of analytic and univalent functions f in the unit disk Δ, normalized by f(0) = f′(0) − 1 = 0, having real coefficients and such that f(Δ) is convex in the direction of the real axis. We are especially interested in some subclasses of Γ. The most important of them is Γ(c) consisting of those functions which have the second coefficients of the Taylor expansion fixed and equal to c. We obtain the Koebe set for this class as well as for the classes Γ⁺(c) and Γ⁻(c) of functions which are in some sense convex in the direction of positive and negative axes respectively.     

On the Behavior of a Power Series with Completely Multiplicative Coefficients near the Unit Circle

Power series whose coefficients are values of completely multiplicative functions from a general class determined by a small number of constraints are studied. The paper contains proofs of asymptotic estimates as such a power series tends to the roots of 1 along the radii of the unit circle, whence, in particular, it follows that these series cannot be extended beyond the unit disk.     

Asymptotics for polynomials orthogonal over the unit disk with respect to a positive polynomial weight

We derive asymptotics for polynomials orthogonal over the complex unit disk with respect to a weight of the form ²|h(z)|, with h(z) a polynomial without zeros in |z|<1. The behavior of the polynomials is established at every point of the complex plane. The proofs are based on adapting to the unit disk a technique of J. Szabados for the asymptotic analysis of polynomials orthogonal over the unit circle with respect to the same type of weight.     

Multiple recurrence and nilsequences

Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tⁿx)f(T²ⁿx)? f(T^knx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d^*(E)>0 and for all {n ? \mathbbZ\colon d^*(E?(E+n)?(E+2n)?(E+3n)) > d^*(E)⁴-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}     

Geometric structure in stochastic approximation

1. IntroductionLet f: Re -- R be a differelltiable fUnction. f reaChes its extremes on the setJ = {x E R"lfx(x) = 0}, (1.1)where,x(X) = (V,..., V)". (1.2)If jx can be observed exactly at any x e R", then there are various numerical methods toconstruct {xh}, xk E Re such that the distance d(xk, J) between uk and J tends to zero ask -- co. However, in many application problems jx can only be observed with noise, i.e.,the observation at time k 1 isYk 1 = fi(~k) (k 1, (1'3)where xk is …     

Normal functions and a class of associated boundary functions

Letμ′ be the family of non-empty closed subsets of the Riemann sphere and Λ the family of continuous curves λ with values in the unit disk and lim _t→1 |λ(t)|=1. A meromorphic functionf in |z|<1 induces a mapping\(\hat f\) from Λ intoμ′ by setting\(\hat f\left( \lambda \right)\) equal to the cluster set off on λ. The authors show that if\(\hat f\) is continuous then existence of an asymptotic value ate ^iθ implies the existence of an angular limit. Further if the spherical derivative off iso(1/(1?|z|)) then\(\hat f\) is constant on every open disk in the space Λ.     

The zeros of functions in Nevanlinna’s area class

Let {Z_n=1{( _n ^∓ ) bea sequence of points in the unit open disk, and letNϕ(U) denote the class of functionsf analytic in the unit disk U such that |f|∈L ( _ϕ ¹ )(U). For ϕ ≡ 1, the necessary and sufficient conditions for the existence off εN(U) and vanishing atz _n is Σ( _n=1 ^∓ ) (1–|Z_n|)² ∞. Also we estimate a large family of canonical products. These results are extended to ϕ(z)=(1-|z|)^ϕ. This represents a part of a Ph.D. thesis conducted at the Technion — Israel Institute of Technology, Department of Mathematics, by Dr. C. A. Horowitz. His help during the preparation of this paper is gratefully acknowledged.     

Universal Padé approximants and their behaviour on the boundary

There are several kinds of universal Taylor series. In one such kind the universal approximation is required at every boundary point of the domain of definition \({\varOmega }\) of the universal function f. In another kind the universal approximation is not required at any point of \(\partial {\varOmega }\) but in this case the universal function f can be taken smooth on \(\overline{\varOmega }\) and, moreover, it can be approximated by its Taylor partial sums on every compact subset of \(\overline{\varOmega }\). Similar generic phenomena hold when the partial sums of the Taylor expansion of the universal function are replaced by some Padé approximants of it. In the present paper we show that in the case of Padé approximants, if \({\varOmega }\) is an open set and S, T are two subsets of \(\partial {\varOmega }\) that satisfy some conditions, then there exists a universal function \(f\in H({\varOmega })\) which is smooth on \({\varOmega }\cup S\) and has some Padé approximants that approximate f on each compact subset of \({\varOmega }\cup S\) and simultaneously obtain universal approximation on each compact subset of \((\mathbb {C}{\backslash }\overline{\varOmega })\cup T\). A sufficient condition for the above to happen is \(\overline{S}\cap \overline{T}=\emptyset \), while a necessary and sufficient condition is not known.     

Characterization and the pre-Schwarzian norm estimate for concave univalent functions

Let Co(α) denote the class of concave univalent functions in the unit disk \mathbbD{\mathbb{D}}. Each function f ? Co(a){f\in Co(\alpha)} maps the unit disk \mathbbD{\mathbb{D}} onto the complement of an unbounded convex set. In this paper we find the exact disk of variability for the functional (1-|z|²)( f^￠￠(z)/f^￠(z)), f ? Co(a){(1-|z|^2)\left ( f^{\prime\prime}(z)/f^{\prime}(z)\right), f\in Co(\alpha)}. In particular, this gives sharp upper and lower estimates for the pre-Schwarzian norm of concave univalent functions. Next we obtain the set of variability of the functional (1-|z|²)(f^￠￠(z)/f^￠(z)), f ? Co(a){(1-|z|^2)\left(f^{\prime\prime}(z)/f^{\prime}(z)\right), f\in Co(\alpha)} whenever f′′(0) is fixed. We also give a characterization for concave functions in terms of Hadamard convolution. In addition to sharp coefficient inequalities, we prove that functions in Co(α) belong to the H ^p space for p < 1/α.     

Compact Operators that Commute with a Contraction

Let T be a C₀–contraction on a separable Hilbert space. We assume that I_H − T*T is compact. For a function f holomorphic in the unit disk \mathbbD{\mathbb{D}} and continuous on [`(\mathbbD)]\overline{{\mathbb{D}}}, we show that f(T) is compact if and only if f vanishes on s(T)?\mathbbT\sigma(T)\cap{\mathbb{T}}, where σ(T) is the spectrum of T and \mathbbT{\mathbb{T}} the unit circle. If f is just a bounded holomorphic function on \mathbbD{\mathbb{D}}, we prove that f(T) is compact if and only if lim_{n? ￥}||Tⁿf(T)|| = 0\lim\limits_{n\rightarrow \infty}\|T^{n}f(T)\| = 0.